"Gregory Plotkin"@cs .