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
3 × USA
Collaborated with:
D.R.Engler S.Hallem A.Chou Y.Xie M.Heinrich J.Yang
Talks about:
system (6) specif (3) static (2) compil (2) check (2) use (2) protocol (1) programm (1) written (1) languag (1)

Person: Benjamin Chelf

DBLP DBLP: Chelf:Benjamin

Contributed to:

PASTE 20022002
PLDI 20022002
SOSP 20012001
ASPLOS 20002000
OSDI 20002000

Wrote 5 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.
ASPLOS-2000-ChouCEH #compilation #protocol #using
Using Meta-level Compilation to Check FLASH Protocol Code (AC, BC, DRE, MH), pp. 59–70.
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.