"Michael McKay"@cs .