Biblio

Export 3 results:
Filters: Author is Andy Chou  [Clear All Filters]
2008
Engler D, Chelf B, Chou A, Hallem S.  2008.  A Couple Billion Lines of Code Later: Static Checking in the Real World. 17th USENIX Security Symposium (USENIX Security 08).
2002
Musuvathi M, Park DYW, Chou A, Engler DR, Dill DL.  2002.  CMC: A Pragmatic Approach to Model Checking Real Code. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
2000
Chelf B, Chou A, Hallem S, Engler DR.  2000.  Systems as Languages. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).