James Larus Selected Talks
(For full list of talks, see my CV.)
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, March 2004.
A New Generation of Systematic Programming Tools, March 2002.
Using Cohort Scheduling to Enhance Server Performance, March 2000.
Using Cohort Scheduling ... 2002 Usenix Annual Technical Conference Presentation.
Cache Conscious Compilation: Can Compilers Hack It?, Dagstuhl Seminar, September 2000.
The Gap Between Software Research and Practice, Dagstuhl 10th Anniversary Celebration, August 2000.
Whole Program Paths, PLDI '99, May 1999.
