"Michael Devaney"@cs .