Sebastian Burckhardt

Researcher
Concurrency Research
Software Reliability Research
Phone: (425) 707-8850
My research interests address the problem of programming concurrent systems conveniently, efficiently, and correctly.
I am particularly interested in the following topics:
Publications
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



