The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andy Chou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002