公開日 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