Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. Seth Hallem, David Park, Dawson R. Engler
   Uprooting Software Defects at the Source. [Citation Graph (0, 0)][DBLP]
   ACM Queue, 2003, v:1, n:8, pp:64-71 [Journal]
   
6. 
   A few billion lines of code later: using static analysis to find bugs in the real world. [Citation Graph (, )][DBLP]