"Ben Cramer"@cs .