Share this page
  • Share this page on Twitter Share this page on Facebook Share this page on Digg Share this page on Del.icio.us Read the Inside Microsoft Research blog
  • E-mail this page Print this page
  • RSS feeds
Home > People > Sebastian Burckhardt
Sebastian Burckhardt

Researcher

Concurrency Research
Software Reliability Research

Phone: (425) 707-8850

My research interests address the problem of programming concurrent or parallel systems conveniently, efficiently, and correctly.

I am particularly interested in the following topics:

  • Multicore Programming Models
    (see the Revisions project)
  • Verification and Debugging Tools for Concurrent Programs
    (see the Cuzz and CHESS projects)
  • Relaxed Memory Models and Compiler Validation
    (see the TRAVER project)
Publications

    2012

    • Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Benjamin P. Wood, Cloud Types for Eventual Consistency, in Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP), Springer, 15 June 2012
    • Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Mooly Sagiv, Eventually Consistent Transactions, in Proceedings of the 22n European Symposium on Programming (ESOP), Springer, 24 March 2012

    2011

    2010

    2009

    2008