Research Talks

• The Real Value of Testing, Keynote Talk, International Symposium on Software Testing and Analysis (ISSTA), July 2008.
• Singularity: Designing Better Software, Invited Talk, Conference on Computer-Aided Verification (CAV), July 2008.
• Spending Moore's Dividend, Invited Talk, Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2), July 2008.
• Singularity: Rethinking the Software Stack, Distinguished Lecture, University of Pennsylvania, November 2006.
• What do Bell Bottoms, Peace Signs, and Computer Architecture Have in Common?, ASPLOS 2006 Wild and Crazy Ideas Presentation, October 2006.
• Is Architecture the Solution?, Keynote at First Workshop on Architecture and System Support for Improving Software Dependability, October 2006.
• Abolish Runtime Systems: Operating Systems Should Control the Execution Environment, 2006 ACM Conference on Virtual Execution Environments (VEE), June 2006.
• Software Challenges in Nanoscale Technologies, Software Challenges in Nanoscale Technologies, December 2005.
• Building Dependable Software, ASPLOS XI Keynote, October 2004.
• Righting Software, SE Software Engineering Conference Keynote (PowerPoint), March 2004.
• A New Generation of Systematic Programming Tools, (PowerPoint) March 2002.
• Using Cohort Scheduling to Enhance Server Performance, (PowerPoint) March 2000.
•   Using Cohort Scheduling ... 2002 Usenix Annual Technical Conference Presentation (PowerPoint).
• Cache Conscious Compilation: Can Compilers Hack It?, (PowerPoint) Dagstuhl Seminar, September 2000.
• The Gap Between Software Research and Practice, (PowerPoint) Dagstuhl 10th Anniversary Celebration, August 2000.
• Whole Program Paths, PLDI '99, May 1999.