- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j2 |      | Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2): 66-75 (2010) |
| 2003 | ||
| j1 | | Seth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003) |
| 2002 | ||
| c4 | | Benjamin Chelf, Dawson R. Engler, Seth Hallem: How to write system-specific, static checkers in metal. PASTE 2002: 51-60 |
| c3 | | Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler: A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82 |
| 2001 | ||
| c2 | | Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88 |
| 2000 | ||
| c1 | | Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI 2000: 1-16 |
| 1 | Al Bessey | |
| 2 | Ken Block | |
| 3 | Benjamin Chelf | |
| 4 | Andy Chou | |
| 5 | Dawson R. Engler | |
| 6 | Bryan Fulton | |
| 7 | Charles Henri-Gros | |
| 8 | Asya Kamsky | |
| 9 | Scott McPeak | |
| 10 | David Y. W. Park | |
| 11 | Yichen Xie | |
| 12 | Junfeng Yang |
Data released under the ODC-BY 1.0 license — See also our legal information page