| 2003 |
|---|
| 10 | EE | Yichen Xie,
Andy Chou,
Dawson R. Engler:
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.
ESEC / SIGSOFT FSE 2003: 327-336 |
| 2002 |
|---|
| 9 | EE | Madanlal Musuvathi,
Andy Chou,
David L. Dill,
Dawson R. Engler:
Model checking system software with CMC.
ACM SIGOPS European Workshop 2002: 219-222 |
| 8 | EE | Madanlal Musuvathi,
David Y. W. Park,
Andy Chou,
Dawson R. Engler,
David L. Dill:
CMC: A Pragmatic Approach to Model Checking Real Code.
OSDI 2002 |
| 2001 |
|---|
| 7 | EE | David Lie,
Andy Chou,
Dawson R. Engler,
David L. Dill:
A simple method for extracting models for protocol code.
ISCA 2001: 192-203 |
| 6 | EE | Dawson R. Engler,
David Yu Chen,
Andy Chou:
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.
SOSP 2001: 57-72 |
| 5 | EE | Andy Chou,
Junfeng Yang,
Benjamin Chelf,
Seth Hallem,
Dawson R. Engler:
An Empirical Study of Operating System Errors.
SOSP 2001: 73-88 |
| 2000 |
|---|
| 4 | EE | Andy Chou,
Benjamin Chelf,
Dawson R. Engler,
Mark Heinrich:
Using Meta-level Compilation to Check FLASH Protocol Code.
ASPLOS 2000: 59-70 |
| 3 | | Dawson R. Engler,
Benjamin Chelf,
Andy Chou,
Seth Hallem:
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
OSDI 2000: 1-16 |
| 1999 |
|---|
| 2 | EE | Vijayshankar Raman,
Andy Chou,
Joseph M. Hellerstein:
Scalable Spreadsheets for Interactive Data Analysis.
1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 1999 |
| 1 | | Joseph M. Hellerstein,
Ron Avnur,
Andy Chou,
Christian Hidber,
Chris Olston,
Vijayshankar Raman,
Tali Roth,
Peter J. Haas:
Interactive data Analysis: The Control Project.
IEEE Computer 32(8): 51-59 (1999) |
