"Jan Lattner"@cs . "Lattner"@cs .