"David Nelson"@cs . "Davidem"@cs .