论文与出版物 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 2006年3月6日 | 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
论文与出版物 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
论文与出版物 Discovering Likely Method Specifications Nikolai Tillmann, Feng Chen, Wolfram Schulte MSR-TR-2005-146 | March 2006 项目 项目