Current Research

• Improving Program Robustness via Static Analysis and Dynamic Instrumentation.
• The Collective: The System Architecture of a Computing Utility

People

Released Software

• Checklipse Eclipse plugin: plugin for finding errors in Eclipse source code using lightweight static analysis. 2005.
• KeepResident Eclipse plugin: plugin for Eclipse on Windows that keeps Eclipse from being swapped out, greatly reducing pause times. 2004.
• bddbddb: BDD-Based Deductive DataBase. 2004.
• Dynamic Bounds Checking: The CRED dynamic bounds checking techniques have been integrated into a GCC release maintained by Herman ten Brugge. 2004.
• MetaVNC MetaVNC mixes windows from multiple operating systems into one desktop through a straightforward extension to the VNC protocol. 2004.
• DIDUCE: an error detection and diagnosis tool. 2002.
• The Joeq Compiler and Virtual Machine Infrastructure . 2001.
• The SUIF2 Compiler Infrastructure. 1999.
• The SUIF1 Compiler Infrastructure. 1994.
• The SAM Distributed Shared Memory System. 1994-1995.
• The Jade Parallel Programming Language. 1994.

Publications

Previous research

• Speculative Multi-Threading Computer Architecture
• Affine Transformations for Optimizing Parallelism and Locality

stanford.edu / cs.stanford.edu / ee.stanford.edu