Andy Chou

Bugs as deviant behavior

Dawson Engler, David Yu Chen, Seth Hallem et al. · 2001 · 740 citations

Program Checking, Engineering, Entomology +21

An empirical study of operating systems errors

Andy Chou, Junfeng Yang, Benjamin Chelf et al. · 2001 · 706 citations

Software Maintenance, Compiler Analysis, Engineering +24

A few billion lines of code later

Al Bessey, Ken Block, Ben Chelf et al. · Communications of the ACM · 2010 · 612 citations

Software Maintenance, Engineering, Software Systems +20

Checking system rules using system-specific, programmer-written compiler extensions

Dawson Engler, Benjamin Chelf, Andy Chou et al. · Operating Systems Design and Implementation · 2000 · 537 citations

Program Checking, Engineering, Compiler Technology +23

CMC

Madanlal Musuvathi, David Y. W. Park, Andy Chou et al. · ACM SIGOPS Operating Systems Review · 2002 · 360 citations

Program Checking, Engineering, Many System Errors +16