"Linus Strasser"@cs .