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
10962001
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
10552001
Checking system rules using system-specific, programmer-written compiler extensions
D Engler, B Chelf, A Chou, S Hallem
STANFORD UNIV CA COMPUTER SYSTEMS LAB, 2000
8552000
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
7812010
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
5452002
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
3352003
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
2691999
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
632001
Systems and methods for performing static analysis on source code
BE Chelf, SA Hallem, AC Chou
US Patent 7,340,726, 2008
572008
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
352000
Static tainting anasystem and method for taint analysis of computer program codelysis
RH Scott, AC Chou
US Patent App. 13/570,024, 2014
302014
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
301999
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
282016
Static analysis for bug finding in systems software
AC Chou
Stanford University, 2003
182003
Threat assessment of software-configured system based upon architecture model and as-built code
AC Chou
US Patent 8,413,249, 2013
142013
Load-time instrumentation of virtual machine program code
C Andy, J Kodumal
US Patent 8,863,093, 2014
112014
Security remediation
AC Chou, J Passki, R Gaucher
US Patent 9,141,807, 2015
102015
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
62002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20