September 5, 2014 @ 2:30 pm Towards Pervasive Assistance: The Intel Science and Technology Center for Pervasive Computing 3202
November 19, 2014 @ 4:00 pm Communication, Co-design and the Making of Modern Database Storage Engines 3290
April 25, 2016 @ 12:00 pm Fixes, Proofs and Humans: Results and Lessons from Transforming Programs 3894