Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Benjamin Chelf, Dawson R. Engler, Seth Hallem
   How to write system-specific, static checkers in metal. [Citation Graph (0, 0)][DBLP]
   PASTE, 2002, pp:51-60 [Conf]
   
4. Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler
   A System and Language for Building System-Specific, Static Analyses. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:69-82 [Conf]
   
5. 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]
   
6. 
   A few billion lines of code later: using static analysis to find bugs in the real world. [Citation Graph (, )][DBLP]