"Olin Shivers"@cs .