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

Seth Hallem Vis

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

*2003
5EESeth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003)
2002
4EEBenjamin Chelf, Dawson R. Engler, Seth Hallem: How to write system-specific, static checkers in metal. PASTE 2002: 51-60
3EESeth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler: A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82
2001
2EEAndy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88
2000
1 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

1Benjamin Chelf [1] [2] [3] [4]
2Andy Chou [1] [2]
3Dawson R. Engler [1] [2] [3] [4] [5]
4David Y. W. Park [5]
5Yichen Xie [3]
6Junfeng Yang [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)