"Pascal Speck"@cs .