Scalable Spreadsheets for Interactive Data Analysis. - Vijayshankar Raman; Andy Chou; Joseph M. Hellerstein (1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999)

Interactive data Analysis: The Control Project. - Joseph M. Hellerstein; Ron Avnur; Andy Chou; Christian Hidber; Chris Olston; Vijayshankar Raman; Tali Roth; Peter J. Haas (Computer, 1999)

Using Meta-level Compilation to Check FLASH Protocol Code. - Andy Chou; Benjamin Chelf; Dawson R. Engler; Mark A. Heinrich (ASPLOS, 2000)

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. - Dawson R. Engler; Benjamin Chelf; Andy Chou; Seth Hallem (OSDI, 2000)

A simple method for extracting models for protocol code. - David Lie; Andy Chou; Dawson R. Engler; David L. Dill (ISCA, 2001)

An Empirical Study of Operating System Errors. - Andy Chou; Junfeng Yang; Benjamin Chelf; Seth Hallem; Dawson R. Engler (SOSP, 2001)

Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. - Dawson R. Engler; David Yu Chen; Andy Chou (SOSP, 2001)

CMC: A Pragmatic Approach to Model Checking Real Code. - Madanlal Musuvathi; David Y. W. Park; Andy Chou; Dawson R. Engler; David L. Dill (OSDI, 2002)

Model checking system software with CMC. - Madanlal Musuvathi; Andy Chou; David L. Dill; Dawson R. Engler (ACM SIGOPS European Workshop, 2002)

ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. - Yichen Xie 001; Andy Chou; Dawson R. Engler (ESEC / SIGSOFT FSE, 2003)

Static analysis for bug finding in systems software. - Andy Chou (2003)

A few billion lines of code later: using static analysis to find bugs in the real world. - Al Bessey; Ken Block; Benjamin Chelf; Andy Chou; Bryan Fulton; Seth Hallem; Charles-Henri Gros; Asya Kamsky; Scott McPeak; Dawson R. Engler (Commun. ACM, 2010)

The Evaluation of Two-Stage Mobile Learning Guidance of Math in an Elementary School. - Ah-Fur Lai; Horng-Yih Lai; Victor R. L. Shen; I Chang Tsai; Andy Chou (WMUTE, 2012)