"Devin Lawrence"@cs .