Search the dblp DataBase

Publications of Author

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. [Citation Graph (3, 0)][DBLP]
   IEEE Computer, 1999, v:32, n:8, pp:51-59 [Journal]
   
2. Vijayshankar Raman, Andy Chou, Joseph M. Hellerstein
   Scalable Spreadsheets for Interactive Data Analysis. [Citation Graph (1, 0)][DBLP]
   1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999, pp:- [Conf]
   
3. Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark Heinrich
   Using Meta-level Compilation to Check FLASH Protocol Code. [Citation Graph (0, 0)][DBLP]
   ASPLOS, 2000, pp:59-70 [Conf]
   
4. David Lie, Andy Chou, Dawson R. Engler, David L. Dill
   A simple method for extracting models for protocol code. [Citation Graph (0, 0)][DBLP]
   ISCA, 2001, pp:192-203 [Conf]
   
5. Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
   CMC: A Pragmatic Approach to Model Checking Real Code. [Citation Graph (0, 0)][DBLP]
   OSDI, 2002, pp:- [Conf]
   
6. Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
   Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. [Citation Graph (0, 0)][DBLP]
   OSDI, 2000, pp:1-16 [Conf]
   
7. Yichen Xie, Andy Chou, Dawson R. Engler
   ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 2003, pp:327-336 [Conf]
   
8. Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler
   An Empirical Study of Operating System Errors. [Citation Graph (0, 0)][DBLP]
   SOSP, 2001, pp:73-88 [Conf]
   
9. Dawson R. Engler, David Yu Chen, Andy Chou
   Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. [Citation Graph (0, 0)][DBLP]
   SOSP, 2001, pp:57-72 [Conf]
   
10. 
    Model checking system software with CMC. [Citation Graph (, )][DBLP]
    
    
11. 
    A few billion lines of code later: using static analysis to find bugs in the real world. [Citation Graph (, )][DBLP]