Andy Chou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2000–2002
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | OSDI | CMC: A Pragmatic Approach to Model Checking Real Code. | Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill |
| 2001 | ISCA | A simple method for extracting models for protocol code. | David Lie, Andy Chou, Dawson R. Engler, David L. Dill |
| 2001 | SOSP | An Empirical Study of Operating System Errors. | Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler |
| 2001 | SOSP | Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. | Dawson R. Engler, David Yu Chen, Andy Chou |
| 2000 | ASPLOS | Using Meta-level Compilation to Check FLASH Protocol Code. | Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich |
| 2000 | OSDI | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. | Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem |