The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Andy Chou" ( http://dblp.L3S.de/Authors/Andy_Chou )

  Author page on DBLP  Author page in RDF  Community of Andy Chou in ASPL-2

Publication years (Num. hits)
1999-2012 (12)
Publication types (Num. hits)
article(2) inproceedings(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ah-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. Search on Bibsonomy WMUTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Al 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. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yichen Xie, Andy Chou, Dawson R. Engler ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
1Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill CMC: A Pragmatic Approach to Model Checking Real Code. Search on Bibsonomy OSDI The full citation details ... 2002 DBLP  BibTeX  RDF
1Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler Model checking system software with CMC. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Lie, Andy Chou, Dawson R. Engler, David L. Dill A simple method for extracting models for protocol code. Search on Bibsonomy ISCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, David Yu Chen, Andy Chou Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. Search on Bibsonomy SOSP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler An Empirical Study of Operating System Errors. Search on Bibsonomy SOSP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Linux
1Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. Search on Bibsonomy OSDI The full citation details ... 2000 DBLP  BibTeX  RDF
1Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark Heinrich Using Meta-level Compilation to Check FLASH Protocol Code. Search on Bibsonomy ASPLOS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joseph M. Hellerstein, Ron Avnur, Andy Chou, Christian Hidber, Chris Olston, Vijayshankar Raman, Tali Roth, Peter J. Haas Interactive data Analysis: The Control Project. Search on Bibsonomy IEEE Computer The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vijayshankar Raman, Andy Chou, Joseph M. Hellerstein Scalable Spreadsheets for Interactive Data Analysis. Search on Bibsonomy 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license