Programming Language Technology for the Sciences (Distinguished Lecture at UCSD)
PBS interview: cyber-terrorism
PBS interview: Internet hackery
DieHarder: Securing the Heap
Microsoft Research, Redmond, WA, August 2011
streaming video with presentation slides, project page
Sheriff: Detecting and Eliminating False Sharing Microsoft Research, Redmond, WA, September 2010 streaming video with presentation slides, paper. |
Grace: Safe Multithreaded Programming for C/C++ Microsoft Research, Redmond, WA, December 2009 streaming video with presentation slides, paper. |
Exploiting Multiple Cores Now: Scalability and Reliability for Off-the-Shelf Software Microsoft Research, Redmond, WA; August 2006 streaming video with presentation slides, Flux and DieHard papers. |
Garbage Collection Without Paging Microsoft Research, Redmond, WA; August 2005 streaming video, paper. |
Memory Management for High-Performance Applications UPC (Universitat Politecnica de Catalunya) Barcelona, Spain; April 2005 downloadable video (AVI), Hoard, Heap Layers, and Reconsidering Custom Memory Allocation papers. |