"Michael Markman"@cs .