Andy Chou

	2003
10		Yichen Xie, Andy Chou, Dawson R. Engler: ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. ESEC / SIGSOFT FSE 2003: 327-336
	2002
9		Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler: Model checking system software with CMC. ACM SIGOPS European Workshop 2002: 219-222
8		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
	2001
7		David Lie, Andy Chou, Dawson R. Engler, David L. Dill: A simple method for extracting models for protocol code. ISCA 2001: 192-203
6		Dawson R. Engler, David Yu Chen, Andy Chou: Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. SOSP 2001: 57-72
5		Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88
	2000
4		Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark Heinrich: Using Meta-level Compilation to Check FLASH Protocol Code. ASPLOS 2000: 59-70
3		Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI 2000: 1-16
	1999
2		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
1		Joseph M. Hellerstein, Ron Avnur, Andy Chou, Christian Hidber, Chris Olston, Vijayshankar Raman, Tali Roth, Peter J. Haas: Interactive data Analysis: The Control Project. IEEE Computer 32(8): 51-59 (1999)

Coauthor Index

1	Ron Avnur	[1]
2	Benjamin Chelf	[3] [4] [5]
3	David Yu Chen	[6]
4	David L. Dill	[7] [8] [9]
5	Dawson R. Engler	[3] [4] [5] [6] [7] [8] [9] [10]
6	Peter J. Haas	[1]
7	Seth Hallem	[3] [5]
8	Mark Heinrich	[4]
9	Joseph M. Hellerstein	[1] [2]
10	Christian Hidber	[1]
11	David Lie	[7]
12	Madanlal Musuvathi	[8] [9]
13	Christopher Olston (Chris Olston)	[1]
14	David Y. W. Park	[8]
15	Vijayshankar Raman	[1] [2]
16	Tali Roth	[1]
17	Yichen Xie	[10]
18	Junfeng Yang	[5]

Colors in the list of coauthors