"David Doubilet"@cs .