Andy Chou Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

10EEYichen Xie, Andy Chou, Dawson R. Engler: ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. ESEC / SIGSOFT FSE 2003: 327-336
9EEMadanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler: Model checking system software with CMC. ACM SIGOPS European Workshop 2002: 219-222
8EEMadanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill: CMC: A Pragmatic Approach to Model Checking Real Code. OSDI 2002
7EEDavid Lie, Andy Chou, Dawson R. Engler, David L. Dill: A simple method for extracting models for protocol code. ISCA 2001: 192-203
6EEDawson R. Engler, David Yu Chen, Andy Chou: Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. SOSP 2001: 57-72
5EEAndy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88
4EEAndy 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
2EEVijayshankar 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)