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

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