"James Lawrence Irvin"@cs .