Seth Hallem

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler
A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53 (2) (2010)
Seth Hallem, David Y. W. Park, Dawson R. Engler
Uprooting Software Defects at the Source. ACM Queue 1 (8) (2003)
Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler
A System and Language for Building System-Specific, Static Analyses. PLDI (2002)
Benjamin Chelf, Dawson R. Engler, Seth Hallem
How to write system-specific, static checkers in metal. PASTE (2002)
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler
An Empirical Study of Operating System Errors. SOSP (2001)
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI (2000)