Folgen
Andy Chou
Andy Chou
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei alumni.stanford.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
11242001
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
11142001
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
8612010
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
DR Engler, B Chelf, A Chou, S Hallem
OSDI, 1-16, 2000
8562000
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
5662002
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
3452003
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
2801999
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
642001
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
Methods for selectively pruning false paths in graphs that use high-precision state information
C Andy, SJ Kowshik
US Patent 8,359,583, 2013
302013
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20