Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Seth Hallem

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/BesseyBCCFHHKME10
- ask others
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): 66-75 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2003
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/queue/HallemPE03
- ask others
Seth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003)
2002
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/paste/ChelfEH02
- ask others
Benjamin Chelf, Dawson R. Engler, Seth Hallem: How to write system-specific, static checkers in metal. PASTE 2002: 51-60
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pldi/HallemCXE02
- ask others
Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler: A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82
2001
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sosp/ChouYCHE01
- ask others
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88
2000
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/osdi/EnglerCCH00
- ask others
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI 2000: 1-16

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?