"Benjamin Ipaver"@cs .