"Rusty Russel"@cs .