Andy Chou

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Elementary School

Mobile Learning

Handheld Devices

Learning Content

Top Venues

Publications

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