"Michael Hayes"@cs .