"Alina Proctor"@cs .