Andy Chou

According to our database1, Andy Chou authored at least 12 papers between 1999 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
The Evaluation of Two-Stage Mobile Learning Guidance of Math in an Elementary School.
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.
Commun. ACM, 2010

2003
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.
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.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

CMC: A Pragmatic Approach to Model Checking Real Code.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

2001
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

An Empirical Study of Operating System Errors.
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

A simple method for extracting models for protocol code.
Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Using Meta-level Compilation to Check FLASH Protocol Code.
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.
IEEE Computer, 1999

Scalable Spreadsheets for Interactive Data Analysis.
Proceedings of the 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999


  Loading...