Communities of Computing
Thomas J. Misa
A Framework for Scientific Discovery through Video Games
Seth Cooper
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Bryan Jeffrey Parno
Embracing Interference in Wireless Systems
Shyamnath Gollakota
Edmund Berkeley and the Social Responsibility of Computer Professionals
Bernadette Longo
Candidate Multilinear Maps
Sanjam Garg
Verified Functional Programming in Agda
Aaron Stump
Reactive Internet Programming
Franck Barbier
Smarter Than Their Machines
John Cullinane
Text Data Management and Analysis
ChengXiang Zhai & Sean Massung