A new class of bugs: How compiler optimizations harm our systems through undefined behavior
02-26-2014
CS Department Colloquium Series
Program Synthesis for the Masses
02-25-2014
Do not blame users for misconfigurations
12-09-2013
Pedagogy behind CS50
12-03-2013
Reclaiming Security for Web Programmers
11-21-2013