Searching for authors named "Andy Chou" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Path Sensitive Program Analysis Using Boolean Satisfiability
- … Laboratory Stanford University Stanford, CA 94305, U.S.A. yxie@(email omitted); Andy Chou Computer Systems…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Meta-level Compilation to Check FLASH Protocol Code
- …Using Meta-level Compilation to Check FLASH Protocol Code Andy Chou, Benjamin Chelf, Dawson Engler…
- Cited by 16 (4 self) – Add To MetaCart
-
ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors
- … Chou, and Dawson Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U…
- Cited by 38 (0 self) – Add To MetaCart
-
Checking system rules using system-specific, programmer-written compiler extensions
- … Engler, Benjamin Chelf, Andy Chou, and Seth Hallem\Lambda Computer Systems Laboratory Stanford…
- Cited by 244 (16 self) – Add To MetaCart
-
Scalable Spreadsheets for Interactive Data Analysis
- …Scalable Spreadsheets for Interactive Data Analysis Vijayshankar Raman Andy Chou Joseph M…
- Cited by 7 (5 self) – Add To MetaCart
-
An Empirical Study of Operating System Errors
- …An Empirical Study of Operating Systems Errors Andy Chou, Junfeng Yang, Benjamin Chelf, Seth…
- Cited by 137 (4 self) – Add To MetaCart
-
A Simple Method for Extracting Models from Protocol Code
- …A Simple Method for Extracting Models from Protocol Code David Lie Andy Chou Dawson Engler David L…
- Cited by 18 (5 self) – Add To MetaCart
-
A Simple Method for Extracting Models from Protocol Code
- …A Simple Method for Extracting Models from Protocol Code David Lie Andy Chou Dawson Engler David L…
- Add To MetaCart
-
Bugs as deviant behavior: A general approach to inferring errors in systems code
- …, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf Computer Systems Laboratory Stanford…
- Cited by 183 (10 self) – Add To MetaCart
-
Cmc: A pragmatic approach to model checking real code
- … Code Abstract Madanlal Musuvathi ∗ , David Y.W. Park † , Andy Chou, Dawson R. Engler, David L. Dill…
- Cited by 113 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
