출판 Qex: Symbolic SQL Query Explorer Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Jonathan "Peli" de Halleux MSR-TR-2009-2015 | October 2009 Updated January 2010 프로젝트
출판 Bound Analysis using Backward Symbolic Execution Sumit Gulwani, Sudeep Juvekar MSR-TR-2009-156 | October 2009
출판 Mining Quantified Temporal Rules: Formalism, Algorithms and Evaluation David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani Proceedings of the Working Conference on Reverse Engineering (WCRE) | October 2009
출판 Coordination in Large-Scale Software Development: Helpful and Unhelpful Behaviors Andrew Begel, Nachi Nagappan MSR-TR-2009-135 | September 2009 프로젝트 프로젝트
출판 Verification of Concurrent Object-Oriented Programs Rustan Leino, Peter Müller, (ETH Zurich) September 2009
출판 Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner MSR-TR-2009-121 | September 2009 A conference version of this report appears in the proceedings of FMCAD 2009.
출판 A Compositional Theory for STM Haskell Johannes Borgström, Karthik Bhargavan, Andy Gordon MSR-TR-2009-66 | September 2009 ISBN: 978-1-60558-508-6 Haskell '09 Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
출판 Parallel Performance Tuning for Haskell Don Jones Jr., Simon Marlow, Satnam Singh ACM SIGPLAN 2009 Haskell Symposium | September 2009 (to appear) 프로젝트
출판 A Foundation for Verifying Concurrent Programs (Lecture 1) Rustan Leino, Peter Müller, Jan Smans FOSAD 2009, Bertinoro, Italy | September 2009 프로젝트