| An empirical study of operating systems errors A Chou, J Yang, B Chelf, S Hallem, D Engler Proceedings of the eighteenth ACM symposium on Operating systems principles …, 2001 | 1125 | 2001 |
| Bugs as deviant behavior: A general approach to inferring errors in systems code D Engler, DY Chen, S Hallem, A Chou, B Chelf ACM SIGOPS Operating Systems Review 35 (5), 57-72, 2001 | 1117 | 2001 |
| A few billion lines of code later: using static analysis to find bugs in the real world A Bessey, K Block, B Chelf, A Chou, B Fulton, S Hallem, C Henri-Gros, ... Communications of the ACM 53 (2), 66-75, 2010 | 863 | 2010 |
| Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. DR Engler, B Chelf, A Chou, S Hallem OSDI, 1-16, 2000 | 856 | 2000 |
| CMC: A pragmatic approach to model checking real code M Musuvathi, DYW Park, A Chou, DR Engler, DL Dill ACM SIGOPS Operating Systems Review 36 (SI), 75-88, 2002 | 567 | 2002 |
| Archer: using symbolic, path-sensitive analysis to detect memory access errors Y Xie, A Chou, D Engler Proceedings of the 9th European software engineering conference held jointly …, 2003 | 348 | 2003 |
| Interactive data analysis: The control project JM Hellerstein, R Avnur, A Chou, C Hidber, C Olston, V Raman, T Roth, ... Computer 32 (8), 51-59, 1999 | 281 | 1999 |
| A simple method for extracting models for protocol code D Lie, A Chou, D Engler, DL Dill Proceedings of the 28th Annual International Symposium on Computer …, 2001 | 64 | 2001 |
| Systems and methods for performing static analysis on source code BE Chelf, SA Hallem, AC Chou US Patent 7,340,726, 2008 | 59 | 2008 |
| Using meta-level compilation to check FLASH protocol code A Chou, B Chelf, D Engler, M Heinrich ACM SIGARCH Computer Architecture News 28 (5), 59-70, 2000 | 37 | 2000 |
| Policy evaluation based upon dynamic observation, static analysis and code change history M Boshernitsan, S McPeak, A Kuehlmann, RH Scott, AC Chou, K Transue US Patent 9,317,399, 2016 | 36 | 2016 |
| Static tainting anasystem and method for taint analysis of computer program codelysis RH Scott, AC Chou US Patent App. 13/570,024, 2014 | 33 | 2014 |
| Scalable Spreadsheets for Interactive Data Analysis. V Raman, A Chou, JM Hellerstein 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge …, 1999 | 32 | 1999 |
| Methods for selectively pruning false paths in graphs that use high-precision state information C Andy, SJ Kowshik US Patent 8,359,583, 2013 | 30 | 2013 |
| Static analysis for bug finding in systems software AC Chou Stanford University, 2003 | 19 | 2003 |
| Threat assessment of software-configured system based upon architecture model and as-built code AC Chou US Patent 8,413,249, 2013 | 16 | 2013 |
| Security remediation AC Chou, J Passki, R Gaucher US Patent 9,141,807, 2015 | 13 | 2015 |
| Load-time instrumentation of virtual machine program code C Andy, J Kodumal US Patent 8,863,093, 2014 | 11 | 2014 |
| Path sensitive program analysis using boolean satisfiability Y Xie, A Chou Technical report, 2002 | 9 | 2002 |
| Model checking system software with CMC M Musuvathi, A Chou, DL Dill, D Engler Proceedings of the 10th workshop on ACM SIGOPS European workshop, 219-222, 2002 | 7 | 2002 |
