公開日 Removal of unnecessary read-to-update upgrades in software transactional memory Avraham Shinnar, Tim Harris, David Tarditi, Mark Plesko March 2006 March 2006
公開日 Reducing unnecessary software transactional memory operations on newly-allocated data David Tarditi, Mark Plesko March 2006 March 2006 U.S. Patent Number 7,861,237
公開日 Compiler support for optimizing decomposed software transactional memory operations David Tarditi, Tim Harris, Mark Plesko, Avraham Shinnar March 2006 March 2006
公開日 Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme Proceedings of the ACM-SIGPLAN Workshop on ML (2005) | March 2006 プロジェクト
動画 Building Quantitative Models in Software Engineering: Understanding, Predicting, and controlling Software Quality March 6, 2006 | Lionel Briand Carleton University, Canada / Simula Research Labs, Norway 01:02:04
公開日 POSH: A TLS Compiler that Exploits Program Structure Wei Liu, James Tuck, Luís Ceze, Wonsun Ahn, Karin Strauss, José Renau, Josep Torrellas PPoPP 2006 (Principles and Practice of Parallel Programming) | March 2006
公開日 Counterexample Driven Refinement for Abstract Interpretation Bhargav Gulavani, Sriram Rajamani Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2006
公開日 Discovering Likely Method Specifications Nikolai Tillmann, Feng Chen, Wolfram Schulte MSR-TR-2005-146 | March 2006 プロジェクト プロジェクト
公開日 Guessing Attacks and the Computational Soundness of Static Equivalence Martin Abadi, Mathieu Baudet, Bogdan Warinschi Foundations of Software Science and Computation Structures (FOSSACS) 2006 | March 2006 ISBN: 3-540-33045-3
公開日 SWISH: Semantic Analysis of Window Titles and Switching History Greg Smith, Nuria Oliver, Arun C. Surendran, chintan thakkar MSR-TR-2006-32 | March 2006