October 10, 2024
Alvin Cheung wins Dahl-Nygaard Junior Prize
CS Associate Professor Alvin Cheung has been awarded the Dahl-Nygaard Junior Prize. Cheung was cited for his groundbreaking work on “verified lifting,” applying ideas from program synthesis to dramatically improve the end-to-end performance of database-backed applications. The Dahl-Nygaard Prizes, founded in 2004 by the Association Internationale Pour les Technologies Objets (AITO),…