BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
2 × USA
Collaborated with:
B.Chelf D.R.Engler A.Chou Y.Xie J.Yang
Talks about:
system (6) specif (3) static (2) programm (1) written (1) languag (1) checker (1) extens (1) compil (1) analys (1)

Person: Seth Hallem

DBLP DBLP: Hallem:Seth

Contributed to:

PASTE 20022002
PLDI 20022002
SOSP 20012001
OSDI 20002000

Wrote 4 papers:

PASTE-2002-ChelfEH #how #static analysis
How to write system-specific, static checkers in metal (BC, DRE, SH), pp. 51–60.
PLDI-2002-HallemCXE #analysis
A System and Language for Building System-Specific, Static Analyses (SH, BC, YX, DRE), pp. 69–82.
SOSP-2001-ChouYCHE #empirical #fault #operating system
An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
OSDI-2000-EnglerCCH #compilation #using
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.