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