"Roy S. Geiger"@cs .