Sebastian Burckhardt

According to our database, Sebastian Burckhardt authored at least 51 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Cloud Actor-Oriented Database Transactions in Orleans.

Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Philip A. Bernstein

Proc. VLDB Endow., August, 2024

Serverless State Management Systems.

Tianyu Li, Badrish Chandramouli, Sebastian Burckhardt, Samuel Madden

Proceedings of the 14th Conference on Innovative Data Systems Research, 2024

2023

DARQ Matter Binds Everything: Performant and Composable Cloud Programming via Resilient Steps.

Tianyu Li, Badrish Chandramouli, Sebastian Burckhardt, Samuel Madden

Proc. ACM Manag. Data, 2023

Doing More with Less: Orchestrating Serverless Applications without an Orchestrator.

David H. Liu, Amit Levy, Shadi A. Noghabi, Sebastian Burckhardt

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2022

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

2021

Specification and space complexity of collaborative text editing.

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski

Theor. Comput. Sci., 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

Serverless Workflows with Durable Functions and Netherite.

Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn

CoRR, 2021

2020

A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.

Jonathan Goldstein, Ahmed S. Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Peshawaria, Tal Zaccai, Irene Zhang

Proc. VLDB Endow., 2020

2018

Reactive caching for composed services: polling at the speed of push.

Sebastian Burckhardt, Tim Coppieters

Proc. ACM Program. Lang., 2018

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, Adriana Szekeres, Jorgen Thelin

Proc. ACM Program. Lang., 2017

Consistency models with global operation sequencing and their composition (extended version).

Alexey Gotsman, Sebastian Burckhardt

CoRR, 2017

Consistency Models with Global Operation Sequencing and their Composition.

Alexey Gotsman, Sebastian Burckhardt

Proceedings of the 31st International Symposium on Distributed Computing, 2017

2016

Abstract Specifications for Weakly Consistent Data.

Sebastian Burckhardt, Jonathan Protzenko

IEEE Data Eng. Bull., 2016

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, 2016

Serializable eventual consistency: consistency through object method replay.

Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

2015

Implementing real-time collaboration in TouchDevelop using AST merges.

Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.

Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Principles of Eventual Consistency.

Sebastian Burckhardt

Found. Trends Program. Lang., 2014

Replicated data types: specification, verification, optimality.

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Consistency in Distributed Systems.

Sebastian Burckhardt

Proceedings of the Software Engineering - International Summer Schools, 2014

TouchDevelop: create rich mobile apps on touch devices (tutorial).

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Refactoring local to cloud data types for mobile apps.

Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

2013

It's alive! continuous feedback in UI programming.

Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

TouchDevelop: app development on mobile devices.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Multicore acceleration of priority-based schedulers for concurrency bug detection.

Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Eventually Consistent Transactions.

Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2012

Concurrent Library Correctness on the TSO Memory Model.

Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2012

What's Decidable about Weak Memory Models?

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the Programming Languages and Systems, 2012

Cloud Types for Eventual Consistency.

Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Predictable and Progressive Testing of Multithreaded Code.

Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer

IEEE Softw., 2011

Practical parallel and concurrent programming.

Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub

Proceedings of the 42nd ACM technical symposium on Computer science education, 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

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Two for the price of one: a model for parallel and incremental computation.

Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Prettier concurrency: purely functional concurrent revisions.

Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Semantics of Concurrent Revisions.

Sebastian Burckhardt, Daan Leijen

Proceedings of the Programming Languages and Systems, 2011

2010

Preemption Sealing for Efficient Concurrency Testing.

Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

GAMBIT: effective unit testing for concurrency libraries.

Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

On the verification problem for weak memory models.

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Line-up: a complete and automatic linearizability checker.

Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Effective Data-Race Detection for the Kernel.

John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Concurrent programming with revisions and isolation types.

Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Verifying Local Transformations on Relaxed Memory Models.

Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh

Proceedings of the Compiler Construction, 19th International Conference, 2010

A randomized scheduler with probabilistic guarantees of finding bugs.

Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

The design of a task parallel library.

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Deconstructing concurrency heisenbugs.

Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Effective Program Verification for Relaxed Memory Models.

Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

CheckFence: checking consistency of concurrent data types on relaxed memory models.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Proceedings of the Verification, 2005