Andy Chou

	2012
12		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: 282-286
	2010
11		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): 66-75 (2010)
	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	Al Bessey	[11]
3	Ken Block	[11]
4	Benjamin Chelf	[3] [4] [5] [11]
5	David Yu Chen	[6]
6	David L. Dill	[7] [8] [9]
7	Dawson R. Engler	[3] [4] [5] [6] [7] [8] [9] [10] [11]
8	Bryan Fulton	[11]
9	Peter J. Haas	[1]
10	Seth Hallem	[3] [5] [11]
11	Mark Heinrich	[4]
12	Joseph M. Hellerstein	[1] [2]
13	Charles Henri-Gros	[11]
14	Christian Hidber	[1]
15	Asya Kamsky	[11]
16	Ah-Fur Lai	[12]
17	Horng-Yih Lai	[12]
18	David Lie	[7]
19	Scott McPeak	[11]
20	Madanlal Musuvathi	[8] [9]
21	Christopher Olston (Chris Olston)	[1]
22	David Y. W. Park	[8]
23	Vijayshankar Raman	[1] [2]
24	Tali Roth	[1]
25	Victor R. L. Shen	[12]
26	I. Chang Tsai	[12]
27	Yichen Xie	[10]
28	Junfeng Yang	[5]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page