Sebastian Burckhardt
Senior Principal Researcher
About
My research interests 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):
Serverless Orchestrations
- See our latest publication on Netherite (opens in new tab), an execution engine for Durable Functions. It appears in the VLDB journal special issue “Best of VLDB 2022” and adds newly collected data to our original VLDB paper.
- Durable Task Scheduler (opens in new tab) is in public preview! It is a new fully managed backend provider by the Azure Durable Functions (opens in new tab) team which includes some Netherite-inspired “backend-tech” from MSR.
- Netherite (opens in new tab) was built by MSR in collaboration with the Azure Durable Functions (opens in new tab) team and is generally available (opens in new tab).
- See the slides (opens in new tab) for my talk at the Sky PL Seminar.
- Check out our OOPSLA semantics paper on Durable Functions.
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 (opens in new tab), or just the pdf)
Touch-enabled scripting languages for mobile+cloud
(see the TouchDevelop (opens in new tab) project)
Programming with Concurrent Revisions
(see the Revisions project)
Verification and Debugging Tools for Concurrent Programs
(see the Cuzz and CHESS projects)