"Paul Gaustad"@cs . "Gaustad"@cs .