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 × Finland
3 × USA
Collaborated with:
D.R.Engler B.Chelf S.Hallem Y.Xie D.Y.Chen M.Heinrich M.Musuvathi D.Y.W.Park D.L.Dill J.Yang
Talks about:
system (4) error (3) check (3) code (3) use (3) approach (2) compil (2) inconsist (1) protocol (1) programm (1)

♂ Person: Andy Chou

DBLP DBLP: Chou:Andy

Facilitated 1 volumes:

MSR 2013PrCo

Contributed to:

ESEC/FSE 20032003
OSDI 20022002
SOSP 20012001
ASPLOS 20002000
OSDI 20002000

Wrote 6 papers:

ESEC-FSE-2003-XieCE #analysis #detection #fault #memory management #named #using
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors (YX, AC, DRE), pp. 327–336.
OSDI-2002-MusuvathiPCED #approach #model checking #named
CMC: A Pragmatic Approach to Model Checking Real Code (MM, DYWP, AC, DRE, DLD), pp. 75–88.
SOSP-2001-ChouYCHE #empirical #fault #operating system
An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
SOSP-2001-EnglerCC #approach #behaviour #consistency #debugging #fault
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.
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.