Follow
Andy Chou
Andy Chou
Unknown affiliation
Verified email at alumni.stanford.edu - Homepage
Title
Cited by
Cited by
Year
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
11292001
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
11132001
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
DR Engler, B Chelf, A Chou, S Hallem
OSDI, 1-16, 2000
8642000
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
8512010
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
5612002
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
3432003
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
2771999
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
652001
Systems and methods for performing static analysis on source code
BE Chelf, SA Hallem, AC Chou
US Patent 7,340,726, 2008
592008
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
372000
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
362016
Static tainting anasystem and method for taint analysis of computer program codelysis
RH Scott, AC Chou
US Patent App. 13/570,024, 2014
332014
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
321999
Static analysis for bug finding in systems software
AC Chou
Stanford University, 2003
192003
Threat assessment of software-configured system based upon architecture model and as-built code
AC Chou
US Patent 8,413,249, 2013
162013
Security remediation
AC Chou, J Passki, R Gaucher
US Patent 9,141,807, 2015
132015
Load-time instrumentation of virtual machine program code
C Andy, J Kodumal
US Patent 8,863,093, 2014
112014
Methods for selectively pruning false paths in graphs that use high-precision state information
C Andy, SJ Kowshik
US Patent 8,359,583, 2013
102013
Path sensitive program analysis using boolean satisfiability
Y Xie, A Chou
Technical report, 2002
92002
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
72002
The system can't perform the operation now. Try again later.
Articles 1–20