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: Chou:Andy
Facilitated 1 volumes:
PrCoContributed to:
2003
2002
2001
20002000Wrote 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.