"Keith Karlson"@cs .