"David Lauser"@cs .