-
Program Committees: PaPoC ’17 (PC), ECOOP’17 (PC), PLDI’17 (ERC), PLMDC’16 (PC), OOPSLA ’15 (PC), PaPoC ’15 (PC), ECOOP ’14 (ERC), POPL ’13 (PC), PLDI ’13 (ERC), ASPLOS ’13 (ERC), OOPSLA ’11 (PC)
-
Invited talks
Workshop at ECOOP PC meeting in Zurich. See the slides.Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) 2015. See the slides.
Workshop on Highly Scalable Distributed Systems (Paris, Jan 2015). See the slides.
Princeton University, University of Pennsylvania (Nov. 2014). See the slides.
Workshop on Principles and Practice of Eventual Consistency (PaPEC) 2014. See the slides.
SPLASH-I talk in Indianapolis, 2013. See the slides. -
Summer School Lectures
UPMARC 2016 in Uppsala, see the slides.
METIS 2015 in Agadir, see the slides.
LASER summer school in Elba, 2013, see the slides, see the LNCS Lecture Notes.
Summer School on Concurrency in St. Petersburg, 2012, see the slides. -
Dagstuhl seminars
Programming Language Techniques for Incremental and Reactive Computing (Oct. 2016)
Concurrent computing in the many-core era (Jan. 2015), see the slides.
Consistency in Distributed Systems (Feb. 2013), see the slides.
Multi-Core Memory Models and Concurrency Theory (Jan. 2010), see the slides. - NSF panelist
About
My research interest are programming models to program distributed, parallel, or concurrent or systems conveniently, efficiently, and correctly.
I am particularly interested in the following topics (from more recent to less recent):
- Programming Elastic Services using Virtual Actors
(see the Orleans project) - Eventual Consistency, and Consistency in Distributed Systems
Check out my book! (free download on publisher site) - Touch-enabled scripting languages for mobile+cloud
(see the TouchDevelop project) - Programming with Concurrent Revisions
(see the Revisions project) - Verification and Debugging Tools for Concurrent Programs
(see the Cuzz and CHESS projects)
Publications
2017
2016
Specification and Complexity of Collaborative Text Editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski, ACM – Association for Computing Machinery, July 1, 2016, View abstract, Download PDF2015
Consistency in Distributed Systems
Sebastian Burckhardt, in Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures, Springer, November 1, 2015, View abstract, Download PDF, View external linkBeyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Tom Ball, Peli de Halleux, in ACM Digital Library, In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft), ACM – Association for Computing Machinery, May 1, 2015, View abstract, Download PDFTowards AST-based Collaborative Editing
Sebastian Burckhardt, Michal Moskal, Microsoft Research, February 1, 2015, View abstract, Download PDFGlobal Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich, Microsoft Research, January 1, 2015, View abstract, Download PDFImplementing real-time collaboration in TouchDevelop using AST merges
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, in Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015, ACM, January 1, 2015, View abstract, View external link2014
Principles of Eventual Consistency
Sebastian Burckhardt, in Principles of Eventual Consistency, now publishers, October 9, 2014, View abstract, Download PDFTutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Tom Ball, Judith Bishop, in Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT), ACM – Association for Computing Machinery, June 1, 2014, View abstract, Download PDFBeyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Tom Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann, Microsoft Research, May 12, 2014, View abstract, Download PDFCloud Types: Robust Abstractions for Replicated Shared State
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, March 1, 2014, View abstract, Download PDFReplicated Data Types: Specification, Verification, Optimality
Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt, in 41st Symposium on Principles of Programming Languages (POPL), ACM SIGPLAN, January 22, 2014, View abstract, Download PDF2013
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, in PLDI, ACM SIGPLAN, June 1, 2013, View abstract, Download PDFUnderstanding Eventual Consistency
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, March 1, 2013, View abstract, Download PDF2012
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux, in Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration, ACM, November 1, 2012, View abstract, Download PDF, View external linkMulticore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi, in Programming Languages Design and Implementation, ACM SIGPLAN, July 1, 2012, View abstract, Download PDFCloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich, in Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP), Springer, June 15, 2012, View abstract, Download PDFConcurrent Library Correctness on the TSO Memory Model
Sebastian Burckhardt, Alexey Gotsman, Madan Musuvathi, Hongseok Yang, in 21st European Symposium on Programming (ESOP 2012), Springer, March 26, 2012, View abstract, Download PDFWhat’s Decidable About Weak Memory Models?
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi, in 21st European Symposium on Programming (ESOP 2012), Springer, March 26, 2012, View abstract, Download PDFEventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv, in Proceedings of the 22n European Symposium on Programming (ESOP), Springer, March 24, 2012, View abstract, Download PDF2011
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Tom Ball, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11), ACM SIGPLAN, October 22, 2011, View abstract, Download PDFEventually Consistent Transactions (full version)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv, October 1, 2011, View abstract, Download PDFPrettier Concurrency: Purely Functional Concurrent Revisions
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich, in Haskell Symposium 2011 (Haskell'11), ACM SIGPLAN, July 7, 2011, View abstract, Download PDFPredictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Tom Ball, in IEEE Software, May 1, 2011, View abstract, View external linkRoll Forward, Not Back: A Case for Deterministic Conflict Resolution
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, in The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11), March 1, 2011, View abstract, Download PDFSemantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen, in European Symposium on Programming (ESOP'11), Springer Verlag, March 1, 2011, View abstract, Download PDF2010
Concurrent Programming with Revisions and Isolation Types
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), ACM SIGPLAN, October 1, 2010, View abstract, Download PDFEffective Data-Race Detection for the Kernel
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk, in Operating System Design and Implementation (OSDI'10), USENIX, October 1, 2010, View abstract, Download PDFSemantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen, July 15, 2010, View abstract, Download PDFLine-Up: A Complete and Automatic Linearizability Checker
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan, in Programming Language Design and Implementation (PLDI), Association for Computing Machinery, Inc., June 5, 2010, View abstract, Download PDFPreemption Sealing for Efficient Concurrency Testing
Tom Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer, in Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, April 1, 2010, View abstract, Download PDFVerifying Local Transformations of Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi, in CC 2010: International Conference on Compiler Construction, Springer Verlag, March 25, 2010, View abstract, Download PDFA Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari, , in Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010), Association for Computing Machinery, Inc., March 16, 2010, View abstract, Download PDFOn the Verification Problem for Weak Memory Models
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madan Musuvathi, in Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, Inc., January 20, 2010, View abstract, Download PDFGAMBIT: Effective Unit Testing for Concurrency Libraries
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt, in Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, Inc., January 11, 2010, View abstract, Download PDF2009
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt, in Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09), ACM SIGPLAN, September 1, 2009, View abstract, Download PDFLightweight Software Transactions for Games
Alexandro Baldassin, Sebastian Burckhardt, in First USENIX Workshop on Hot Topics in Parallelism, USENIX, March 31, 2009, View abstract, Download PDF2008
Verifying Compiler Transformations for Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi, November 1, 2008, View abstract, Download PDFEffective Program Verification for Relaxed Memory Models
Sebastian Burckhardt, Madan Musuvathi, in Computer-Aided Verification (CAV), Springer Verlag, July 1, 2008, View abstract, Download PDFMemory Model Safety of Programs
Sebastian Burckhardt, Madan Musuvathi, in Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2), July 1, 2008, View abstract, Download PDF2007
Memory Model Sensitive Analysis of Concurrent Data Types
Sebastian Burckhardt, in Memory Model Sensitive Analysis of Concurrent Data Types, August 8, 2007, View abstract, Download PDFCheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models
Sebastian Burckhardt, Rajeev Alur, Milo Martin, in Programming Language Design and Implementation (PLDI), January 1, 2007, View abstract, Download PDF2006
Bounded Verification of Concurrent Data Types on Relaxed Memory Models: A Case Study
Rajeev Alur, Sebastian Burckhardt, Milo Martin, in Computer-Aided Verification (CAV), Springer, January 1, 2006, View abstract, Download PDFOther
Brief Publication List
For a quicker overview, here a slightly shorter list of my publications.
- [TechReport] Geo-Distribution of Actor-Based Services
- [PODC’16] Specification and Complexity of Collaborative Text Editing
- [ECOOP’15] Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
- [Foundations and Trends® in Programming Languages 1, 1-2 (Oct. 2014)]
Principles of Eventual Consistency, available as a free pdf download on publisher site - [POPL’14] Replicated Data Types: Specification, Verification, Optimality (complete version w/ proofs)
- [PLDI’13] It’s Alive! Continuous Feedback in UI Programming
- [TechReport 2013-39] Understanding Eventual Consistency
- [PLDI’12] Multicore Acceleration of Priority-Based Scheduler for Concurrency Bug Detection
- [ECOOP’12] Cloud Types for Eventual Consistency
-
[ESOP’12] Eventually Consistent Transactions, full version available here
-
[OOPSLA’11] (Distinguished Paper Award) Two for the Price of One: A Model for Parallel and Incremental Computation
-
[ESOP’11] Semantics of Concurrent Revisions, extended version available here
-
[OOPSLA’09] The Design of a Task-Parallel Library
-
[HotPar’09] Lightweight Software Transactions for Games