Video

Programming Language Technology for the Sciences (Distinguished Lecture at UCSD)

PBS interview: cyber-security

PBS interview: cyber-terrorism

PBS interview: Internet hackery

Get Microsoft Silverlight
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
.