Andy Chou

According to our database, Andy Chou authored at least 13 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

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

Proceedings of the Seventh IEEE International Conference on Wireless, 2012

2010

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

2003

Static analysis for bug finding in systems software.

Andy Chou

PhD thesis, 2003

ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.

Yichen Xie, Andy Chou, Dawson R. Engler

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2002

Model checking system software with CMC.

Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

CMC: A Pragmatic Approach to Model Checking Real Code.

Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

2001

Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.

Dawson R. Engler, David Yu Chen, Andy Chou

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

An Empirical Study of Operating System Errors.

Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

A simple method for extracting models for protocol code.

David Lie, Andy Chou, Dawson R. Engler, David L. Dill

Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.

Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Using Meta-level Compilation to Check FLASH Protocol Code.

Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

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

Scalable Spreadsheets for Interactive Data Analysis.

Vijayshankar Raman, Andy Chou, Joseph M. Hellerstein

Proceedings of the 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999