dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Seth Hallem (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAl 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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Chelf, Dawson R. Engler, Seth Hallem: How to write system-specific, static checkers in metal. PASTE 2002: 51-60
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler: A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI 2000: 1-16

Selection of 6 from 6 records - Seth Hallem has 12 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page