2010

• Sebastian Burckhardt, Madanlal Musuvathi, and Vasu Singh, Verifying Local Transformations of Concurrent Programs, in CC 2010: International Conference on Compiler Construction, Springer Verlag, 25 March 2010
• Madanlal Musuvathi, Sebastian Burckhardt, Pravesh Kothari, and Santosh Nagarakatte, A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs, in Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010), Association for Computing Machinery, Inc., 16 March 2010
• Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi, On the Verification Problem for Weak Memory Models, in Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, Inc., 20 January 2010
• Katherine E. Coons, Madanlal Musuvathi, and Sebastian Burckhardt, GAMBIT: Effective Unit Testing for Concurrency Libraries, in Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, Inc., 11 January 2010

2009

• Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madanlal Musuvathi, and Shaz Qadeer, Preemption Sealing for Efficient Concurrency Testing, no. MSR-TR-2009-143, 13 October 2009
• Alexandro Baldassin and Sebastian Burckhardt, Lightweight Software Transactions for Games, in First USENIX Workshop on Hot Topics in Parallelism, USENIX, 31 March 2009
• Daan Leijen, Wolfram Schulte, and Sebastian Burkhardt, The Design of a Task Parallel Library, in Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, Association for Computing Machinery, Inc., 2009

2008

• Sebastian Burckhardt, Madanlal Musuvathi, and Vasu singh, Verifying Compiler Transformations for Concurrent Programs, no. MSR-TR-2008-171, November 2008
• Sebastian Burckhardt and Alexandro Baldassin, Lightweight Software Transactions for Games, no. MSR-TR-2008-152, October 2008
• S. Burckhardt and M. Musuvathi, Effective Program Verification for Relaxed Memory Models, in Computer-Aided Verification (CAV), Springer Verlag, July 2008
• Sebastian Burckhardt and Madanlal Musuvathi, Memory Model Safety of Programs, July 2008
• Sebastian Burckhardt and Madanlal Musuvathi, Effective Program Verification for Relaxed Memory Models, no. MSR-TR-2008-12, January 2008