论文与出版物 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