Andy Chou

13 papers A* 6Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2012 — conf
The Evaluation of Two-Stage Mobile Learning Guidance of Math in an Elementary School.
WMUTE
Ah-Fur Lai, Horng-Yih Lai, Victor R. L. Shen, I Chang Tsai, Andy Chou
2010 J jnl
A few billion lines of code later: using static analysis to find bugs in the real world.
Commun. ACM
Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler
2003 — conf
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.
ESEC / SIGSOFT FSE
Yichen Xie, Andy Chou, Dawson R. Engler
2003 — —
Static analysis for bug finding in systems software.
Andy Chou
2002 A* conf
CMC: A Pragmatic Approach to Model Checking Real Code.
OSDI
Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
2002 — conf
Model checking system software with CMC.
ACM SIGOPS European Workshop
Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler
2001 A* conf
A simple method for extracting models for protocol code.
ISCA
David Lie, Andy Chou, Dawson R. Engler, David L. Dill
2001 A* conf
An Empirical Study of Operating System Errors.
SOSP
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler
2001 A* conf
Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.
SOSP
Dawson R. Engler, David Yu Chen, Andy Chou
2000 A* conf
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
OSDI
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
2000 A* conf
Using Meta-level Compilation to Check FLASH Protocol Code.
ASPLOS
Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich
1999 J jnl
Interactive data Analysis: The Control Project.
Computer
Joseph M. Hellerstein, Ron Avnur, Andy Chou, Christian Hidber, Chris Olston, Vijayshankar Raman, Tali Roth, Peter J. Haas
1999 — conf
Scalable Spreadsheets for Interactive Data Analysis.
1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery
Vijayshankar Raman, Andy Chou, Joseph M. Hellerstein