"Alec Lindsay"@cs .