출판 Towards Understanding Programs Through Wear-Based Filtering Robert DeLIne, Amir Khella, Mary Czerwinski, George Robertson SoftVis ’05 Proceedings of the 2005 ACM symposium on Software visualization | May 2005 ISBN: 1-59593-073-6
출판 Inferring Object Invariants Bor-Yuh Evan Chang, Rustan Leino Electronic Notes in Theoretical Computer Science (ENTCS) | May 2005, 제 131 권: pp. 63-74 프로젝트
출판 Robust Locality-Aware Lookup Networks Ittai Abraham, Dahlia Malkhi Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations | May 2005
출판 Static Analysis Tools as Early Indicators of Pre-Release Defect Density Nachi Nagappan, Thomas Ball May 2005 프로젝트
출판 Techniques for Efficient DCT/IDCT Implementation on Generic GPU Bo Fang, Guobin Shen, Shipeng Li, Huifang Chen May 2005
출판 Dependent types for program understanding Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
출판 Temporal Logic for Scenario-Based Specifications Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps April 2005
출판 The efficiency and fairness of a fixed budget resource allocation game Li Zhang Proceedings of 32nd International Colloquium on Automata, Languages and Programming | April 2005
출판 Exploiting purity for atomicity Cormac Flanagan, Shaz Qadeer Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004). | April 2005