Andy Chou

Andy Chou

Stanford University - Stanford / United States
Others
AD Scientific Index ID: 1650944
person_outline Andy Chou's MOST POPULAR ARTICLES
1-) An empirical study of operating systems errorsA Chou, J Yang, B Chelf, S Hallem, D EnglerProceedings of the eighteenth ACM symposium on Operating systems principles …, 200111432001
2-) Bugs as deviant behavior: A general approach to inferring errors in systems codeD Engler, DY Chen, S Hallem, A Chou, B ChelfACM SIGOPS Operating Systems Review 35 (5), 57-72, 200111392001
3-) A few billion lines of code later: using static analysis to find bugs in the real worldA Bessey, K Block, B Chelf, A Chou, B Fulton, S Hallem, C Henri-Gros, ...Communications of the ACM 53 (2), 66-75, 20108622010
4-) Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.DR Engler, B Chelf, A Chou, S HallemOSDI, 1-16, 20008652000
5-) CMC: A pragmatic approach to model checking real codeM Musuvathi, DYW Park, A Chou, DR Engler, DL DillACM SIGOPS Operating Systems Review 36 (SI), 75-88, 20025622002