Sebastian Burckhardt


Phone: (425) 707-8850

My research interest is the use of the shared memory programming paradigm to program distributed, parallel, or concurrent or systems conveniently, efficiently, and correctly.

I am particularly interested in the following topics:

  • Eventual Consistency, and Consistency in Distributed Systems, and Relaxed Memory Models
  • Touch-enabled scripting languages for mobile+cloud
    (see the TouchDevelop project)
  • Concurrent, Parallel, and Distributed Programming Models
    (see the Revisions project)
  • Verification and Debugging Tools for Concurrent Programs
    (see the Cuzz and CHESS projects)

Recent Publications

(A more verbose list showing all my coauthors is available here.)

Professional Activities