Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Sebastian Burckhardt
Senior Principal Researcher
Publications
Publications by Year
-
-
Netherite: Efficient Execution of Serverless Workflows
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
-
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Serverless Workflows with Durable Functions and Netherite
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
February 2021
Specification and space complexity of collaborative text editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Theoretical Computer Science | February 2021, Vol 855: pp. 141-160
-
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Published by Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Reactive Caching for Composed Services
Sebastian Burckhardt, Tim Coppieters
OOPSLA | November 2018
-
Geo-Distribution of Actor-Based Services
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Consistency Models with Global Operation Sequencing and their Composition
Alexey Gotsman, Sebastian Burckhardt
Leibniz International Proceedings in Informatics (LIPIcs); 31st International Symposium on Distributed Computing (DISC 2017) | October 2017
Geo-Distribution of Actor-Based Services (Preliminary TechReport)
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Published by Microsoft
-
Specification and Complexity of Collaborative Text Editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
Abstract Specifications for Weakly Consistent Data
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
-
Consistency in Distributed Systems
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Towards AST-based Collaborative Editing
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Implementing real-time collaboration in TouchDevelop using AST merges
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
-
Principles of Eventual Consistency
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Cloud Types: Robust Abstractions for Replicated Shared State
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
Replicated Data Types: Specification, Verification, Optimality
Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
41st Symposium on Principles of Programming Languages (POPL) | January 2014
-
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Understanding Eventual Consistency
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
MSR-TR-2013-39 | March 2013
This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
-
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Concurrent Library Correctness on the TSO Memory Model
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
What’s Decidable About Weak Memory Models?
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
-
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Eventually Consistent Transactions (full version)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Prettier Concurrency: Purely Functional Concurrent Revisions
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
-
Concurrent Programming with Revisions and Isolation Types
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Effective Data-Race Detection for the Kernel
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Line-Up: A Complete and Automatic Linearizability Checker
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Verifying Local Transformations of Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
On the Verification Problem for Weak Memory Models
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
GAMBIT: Effective Unit Testing for Concurrency Libraries
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
-
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
Lightweight Software Transactions for Games
Alexandro Baldassin, Sebastian Burckhardt
First USENIX Workshop on Hot Topics in Parallelism | March 2009
-
Verifying Compiler Transformations for Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Lightweight Software Transactions for Games
Alexandro Baldassin, Sebastian Burckhardt
MSR-TR-2008-152 | October 2008
Effective Program Verification for Relaxed Memory Models
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
Memory Model Safety of Programs
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Effective Program Verification for Relaxed Memory Models
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
-
Memory Model Sensitive Analysis of Concurrent Data Types
August 2007
August 2007
Doctoral Dissertation
CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models
S. Burckhardt, R. Alur, M. Martin, Sebastian Burckhardt
Programming Language Design and Implementation (PLDI) | January 2007
Programming Language Design and Implementation (PLDI)
-
Bounded Verification of Concurrent Data Types on Relaxed Memory Models: A Case Study
Rajeev Alur, Sebastian Burckhardt, Milo Martin
Computer-Aided Verification (CAV) | January 2006
Publications by Research Area
-
Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Netherite: Efficient Execution of Serverless Workflows
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Serverless Workflows with Durable Functions and Netherite
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
February 2021
Specification and space complexity of collaborative text editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Theoretical Computer Science | February 2021, Vol 855: pp. 141-160
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Published by Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Reactive Caching for Composed Services
Sebastian Burckhardt, Tim Coppieters
OOPSLA | November 2018
Geo-Distribution of Actor-Based Services
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Consistency Models with Global Operation Sequencing and their Composition
Alexey Gotsman, Sebastian Burckhardt
Leibniz International Proceedings in Informatics (LIPIcs); 31st International Symposium on Distributed Computing (DISC 2017) | October 2017
Geo-Distribution of Actor-Based Services (Preliminary TechReport)
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Published by Microsoft
Specification and Complexity of Collaborative Text Editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
Abstract Specifications for Weakly Consistent Data
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
Consistency in Distributed Systems
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Towards AST-based Collaborative Editing
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Implementing real-time collaboration in TouchDevelop using AST merges
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Principles of Eventual Consistency
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Cloud Types: Robust Abstractions for Replicated Shared State
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
Replicated Data Types: Specification, Verification, Optimality
Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
41st Symposium on Principles of Programming Languages (POPL) | January 2014
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Understanding Eventual Consistency
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
MSR-TR-2013-39 | March 2013
This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Concurrent Library Correctness on the TSO Memory Model
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
What’s Decidable About Weak Memory Models?
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Eventually Consistent Transactions (full version)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Prettier Concurrency: Purely Functional Concurrent Revisions
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
Effective Data-Race Detection for the Kernel
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Concurrent Programming with Revisions and Isolation Types
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Line-Up: A Complete and Automatic Linearizability Checker
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Verifying Local Transformations of Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
On the Verification Problem for Weak Memory Models
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
GAMBIT: Effective Unit Testing for Concurrency Libraries
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
Lightweight Software Transactions for Games
Alexandro Baldassin, Sebastian Burckhardt
First USENIX Workshop on Hot Topics in Parallelism | March 2009
Verifying Compiler Transformations for Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Lightweight Software Transactions for Games
Alexandro Baldassin, Sebastian Burckhardt
MSR-TR-2008-152 | October 2008
Memory Model Safety of Programs
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Effective Program Verification for Relaxed Memory Models
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
Effective Program Verification for Relaxed Memory Models
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
Memory Model Sensitive Analysis of Concurrent Data Types
August 2007
August 2007
Doctoral Dissertation
-
Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Netherite: Efficient Execution of Serverless Workflows
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Published by Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Geo-Distribution of Actor-Based Services
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Geo-Distribution of Actor-Based Services (Preliminary TechReport)
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Published by Microsoft
Abstract Specifications for Weakly Consistent Data
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
Consistency in Distributed Systems
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Principles of Eventual Consistency
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
-
Netherite: Efficient Execution of Serverless Workflows
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Published by Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
-
Specification and Complexity of Collaborative Text Editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
On the Verification Problem for Weak Memory Models
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Bounded Verification of Concurrent Data Types on Relaxed Memory Models: A Case Study
Rajeev Alur, Sebastian Burckhardt, Milo Martin
Computer-Aided Verification (CAV) | January 2006
-
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
-
CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models
S. Burckhardt, R. Alur, M. Martin, Sebastian Burckhardt
Programming Language Design and Implementation (PLDI) | January 2007
Programming Language Design and Implementation (PLDI)
Publications by Type
-
Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Netherite: Efficient Execution of Serverless Workflows
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Reactive Caching for Composed Services
Sebastian Burckhardt, Tim Coppieters
OOPSLA | November 2018
Geo-Distribution of Actor-Based Services
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Consistency Models with Global Operation Sequencing and their Composition
Alexey Gotsman, Sebastian Burckhardt
Leibniz International Proceedings in Informatics (LIPIcs); 31st International Symposium on Distributed Computing (DISC 2017) | October 2017
Specification and Complexity of Collaborative Text Editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
Consistency in Distributed Systems
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Implementing real-time collaboration in TouchDevelop using AST merges
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Replicated Data Types: Specification, Verification, Optimality
Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
41st Symposium on Principles of Programming Languages (POPL) | January 2014
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Concurrent Library Correctness on the TSO Memory Model
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
What’s Decidable About Weak Memory Models?
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Prettier Concurrency: Purely Functional Concurrent Revisions
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
Effective Data-Race Detection for the Kernel
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Concurrent Programming with Revisions and Isolation Types
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Line-Up: A Complete and Automatic Linearizability Checker
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Verifying Local Transformations of Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
On the Verification Problem for Weak Memory Models
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
GAMBIT: Effective Unit Testing for Concurrency Libraries
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
Lightweight Software Transactions for Games
Alexandro Baldassin, Sebastian Burckhardt
First USENIX Workshop on Hot Topics in Parallelism | March 2009
Effective Program Verification for Relaxed Memory Models
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models
S. Burckhardt, R. Alur, M. Martin, Sebastian Burckhardt
Programming Language Design and Implementation (PLDI) | January 2007
Programming Language Design and Implementation (PLDI)
Bounded Verification of Concurrent Data Types on Relaxed Memory Models: A Case Study
Rajeev Alur, Sebastian Burckhardt, Milo Martin
Computer-Aided Verification (CAV) | January 2006
-
Specification and space complexity of collaborative text editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Theoretical Computer Science | February 2021, Vol 855: pp. 141-160
Abstract Specifications for Weakly Consistent Data
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
-
Serverless Workflows with Durable Functions and Netherite
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
February 2021
Memory Model Safety of Programs
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
-
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Published by Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Geo-Distribution of Actor-Based Services (Preliminary TechReport)
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Published by Microsoft
Towards AST-based Collaborative Editing
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Cloud Types: Robust Abstractions for Replicated Shared State
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
Understanding Eventual Consistency
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
MSR-TR-2013-39 | March 2013
This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
Eventually Consistent Transactions (full version)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Verifying Compiler Transformations for Concurrent Programs
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Lightweight Software Transactions for Games
Alexandro Baldassin, Sebastian Burckhardt
MSR-TR-2008-152 | October 2008
Effective Program Verification for Relaxed Memory Models
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
-
Principles of Eventual Consistency
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
-
Memory Model Sensitive Analysis of Concurrent Data Types
August 2007
August 2007
Doctoral Dissertation