Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. - Sebastian Burckhardt; Rajeev Alur; Milo M. K. Martin (VMCAI, 2005)

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. - Sebastian Burckhardt; Rajeev Alur; Milo M. K. Martin (CAV, 2006)

CheckFence: checking consistency of concurrent data types on relaxed memory models. - Sebastian Burckhardt; Rajeev Alur; Milo M. K. Martin (PLDI, 2007)

Effective Program Verification for Relaxed Memory Models. - Sebastian Burckhardt; Madanlal Musuvathi (CAV, 2008)

Deconstructing concurrency heisenbugs. - Thomas Ball 001; Sebastian Burckhardt; Jonathan de Halleux; Madanlal Musuvathi; Shaz Qadeer (ICSE Companion, 2009)

The design of a task parallel library. - Daan Leijen; Wolfram Schulte; Sebastian Burckhardt (OOPSLA, 2009)

A randomized scheduler with probabilistic guarantees of finding bugs. - Sebastian Burckhardt; Pravesh Kothari; Madanlal Musuvathi; Santosh Nagarakatte (ASPLOS, 2010)

Verifying Local Transformations on Relaxed Memory Models. - Sebastian Burckhardt; Madanlal Musuvathi; Vasu Singh (CC, 2010)

Concurrent programming with revisions and isolation types. - Sebastian Burckhardt; Alexandro Baldassin; Daan Leijen (OOPSLA, 2010)

Effective Data-Race Detection for the Kernel. - John Erickson; Madanlal Musuvathi; Sebastian Burckhardt; Kirk Olynyk (OSDI, 2010)

Line-up: a complete and automatic linearizability checker. - Sebastian Burckhardt; Chris Dern; Madanlal Musuvathi; Roy Tan (PLDI, 2010)

On the verification problem for weak memory models. - Mohamed Faouzi Atig; Ahmed Bouajjani; Sebastian Burckhardt; Madanlal Musuvathi (POPL, 2010)

GAMBIT: effective unit testing for concurrency libraries. - Katherine E. Coons; Sebastian Burckhardt; Madanlal Musuvathi (PPoPP, 2010)

Preemption Sealing for Efficient Concurrency Testing. - Thomas Ball 001; Sebastian Burckhardt; Katherine E. Coons; Madanlal Musuvathi; Shaz Qadeer (TACAS, 2010)

Semantics of Concurrent Revisions. - Sebastian Burckhardt; Daan Leijen (ESOP, 2011)

Prettier concurrency: purely functional concurrent revisions. - Daan Leijen; Manuel Fähndrich; Sebastian Burckhardt (Haskell, 2011)

Two for the price of one: a model for parallel and incremental computation. - Sebastian Burckhardt; Daan Leijen; Caitlin Sadowski; Jaeheon Yi; Thomas Ball 001 (OOPSLA, 2011)

Multicore, manycore, and cloud computing: is a new programming language paradigm required? - S. Tucker Taft; Joshua J. Bloch; Robert Bocchino; Sebastian Burckhardt; Hassan Chafi; Russ Cox; Benedict R. Gaster; Guy L. Steele Jr.; David M. Ungar (OOPSLA Companion, 2011)

Practical parallel and concurrent programming. - Caitlin Sadowski; Thomas Ball 001; Judith Bishop; Sebastian Burckhardt; Ganesh Gopalakrishnan; Joseph Mayo; Madanlal Musuvathi; Shaz Qadeer; Stephen Toub (SIGCSE, 2011)

Predictable and Progressive Testing of Multithreaded Code. - Thomas Ball 001; Sebastian Burckhardt; Peli de Halleux; Madan Musuvathi; Shaz Qadeer (IEEE Softw., 2011)

Cloud Types for Eventual Consistency. - Sebastian Burckhardt; Manuel Fähndrich; Daan Leijen; Benjamin P. Wood (ECOOP, 2012)

What's Decidable about Weak Memory Models? - Mohamed Faouzi Atig; Ahmed Bouajjani; Sebastian Burckhardt; Madanlal Musuvathi (ESOP, 2012)

Concurrent Library Correctness on the TSO Memory Model. - Sebastian Burckhardt; Alexey Gotsman; Madanlal Musuvathi; Hongseok Yang (ESOP, 2012)

Eventually Consistent Transactions. - Sebastian Burckhardt; Daan Leijen; Manuel Fähndrich; Mooly Sagiv (ESOP, 2012)

Multicore acceleration of priority-based schedulers for concurrency bug detection. - Santosh Nagarakatte; Sebastian Burckhardt; Milo M. K. Martin; Madanlal Musuvathi (PLDI, 2012)

TouchDevelop: app development on mobile devices. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Sebastian Burckhardt (SIGSOFT FSE, 2012)

It's alive! continuous feedback in UI programming. - Sebastian Burckhardt; Manuel Fähndrich; Peli de Halleux; Sean McDirmid; Michal Moskal; Nikolai Tillmann; Jun Kato 001 (PLDI, 2013)

Refactoring local to cloud data types for mobile apps. - Michael Hilton; Arpit Christi; Danny Dig; Michal Moskal; Sebastian Burckhardt; Nikolai Tillmann (MOBILESoft, 2014)

TouchDevelop: create rich mobile apps on touch devices (tutorial). - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Sebastian Burckhardt; Thomas Ball 001; Judith Bishop (MOBILESoft, 2014)

Consistency in Distributed Systems. - Sebastian Burckhardt (LASER Summer School, 2014)

Replicated data types: specification, verification, optimality. - Sebastian Burckhardt; Alexey Gotsman; Hongseok Yang; Marek Zawirski (POPL, 2014)

Principles of Eventual Consistency. - Sebastian Burckhardt (Found. Trends Program. Lang., 2014)

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. - Sebastian Burckhardt; Daan Leijen; Jonathan Protzenko; Manuel Fähndrich (ECOOP, 2015)

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. - Thomas Ball 001; Sebastian Burckhardt; Jonathan de Halleux; Michal Moskal; Jonathan Protzenko; Nikolai Tillmann (MOBILESoft, 2015)

Implementing real-time collaboration in TouchDevelop using AST merges. - Jonathan Protzenko; Sebastian Burckhardt; Michal Moskal; Jedidiah McClurg (MobileDeLi, 2015)

Serializable eventual consistency: consistency through object method replay. - Tim Coppieters; Wolfgang De Meuter; Sebastian Burckhardt (PaPoC@EuroSys, 2016)

Specification and Complexity of Collaborative Text Editing. - Hagit Attiya; Sebastian Burckhardt; Alexey Gotsman; Adam Morrison 001; Hongseok Yang; Marek Zawirski (PODC, 2016)

Abstract Specifications for Weakly Consistent Data. - Sebastian Burckhardt; Jonathan Protzenko (IEEE Data Eng. Bull., 2016)

Consistency Models with Global Operation Sequencing and their Composition. - Alexey Gotsman; Sebastian Burckhardt (DISC, 2017)

Consistency models with global operation sequencing and their composition (extended version). - Alexey Gotsman; Sebastian Burckhardt (CoRR, 2017)

Geo-distribution of actor-based services. - Philip A. Bernstein; Sebastian Burckhardt; Sergey Bykov; Natacha Crooks; Jose M. Faleiro; Gabriel Kliot; Alok Kumbhare; Muntasir Raihan Rahman; Vivek Shah 001; Adriana Szekeres; Jorgen Thelin (Proc. ACM Program. Lang., 2017)

Reactive caching for composed services: polling at the speed of push. - Sebastian Burckhardt; Tim Coppieters (Proc. ACM Program. Lang., 2018)

A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications. - Jonathan Goldstein; Ahmed S. Abdelhamid; Mike Barnett 001; Sebastian Burckhardt; Badrish Chandramouli; Darren Gehring; Niel Lebeck; Christopher Meiklejohn; Umar Farooq Minhas; Ryan Newton; Rahee Peshawaria; Tal Zaccai; et al. (Proc. VLDB Endow., 2020)

Serverless Workflows with Durable Functions and Netherite. - Sebastian Burckhardt; Chris Gillum; David Justo; Konstantinos Kallas; Connor McMahon; Christopher S. Meiklejohn (CoRR, 2021)

Durable functions: semantics for stateful serverless. - Sebastian Burckhardt; Chris Gillum; David Justo; Konstantinos Kallas; Connor McMahon; Christopher S. Meiklejohn (Proc. ACM Program. Lang., 2021)

Specification and space complexity of collaborative text editing. - Hagit Attiya; Sebastian Burckhardt; Alexey Gotsman; Adam Morrison 001; Hongseok Yang; Marek Zawirski (Theor. Comput. Sci., 2021)

Netherite: Efficient Execution of Serverless Workflows. - Sebastian Burckhardt; Badrish Chandramouli; Chris Gillum; David Justo; Konstantinos Kallas; Connor McMahon; Christopher Meiklejohn; Xiangfeng Zhu (Proc. VLDB Endow., 2022)

Doing More with Less: Orchestrating Serverless Applications without an Orchestrator. - David H. Liu; Amit Levy; Shadi A. Noghabi; Sebastian Burckhardt (NSDI, 2023)

DARQ Matter Binds Everything: Performant and Composable Cloud Programming via Resilient Steps. - Tianyu Li 001; Badrish Chandramouli; Sebastian Burckhardt; Samuel Madden 001 (Proc. ACM Manag. Data, 2023)

Serverless State Management Systems. - Tianyu Li 001; Badrish Chandramouli; Sebastian Burckhardt; Samuel Madden 001 (CIDR, 2024)

Cloud Actor-Oriented Database Transactions in Orleans. - Tamer Eldeeb; Sebastian Burckhardt; Reuben Bond; Asaf Cidon; Junfeng Yang; Philip A. Bernstein (Proc. VLDB Endow., 2024)