Sebastian Burckhardt

53 papers A* 11A 13B 3C 1Misc 1Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Netherite: efficient execution of serverless workflows.
VLDB J.
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
2024 J jnl
Cloud Actor-Oriented Database Transactions in Orleans.
Proc. VLDB Endow.
Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Philip A. Bernstein
2024 A conf
Serverless State Management Systems.
CIDR
Tianyu Li, Badrish Chandramouli, Sebastian Burckhardt, Samuel Madden
2023 J jnl
DARQ Matter Binds Everything: Performant and Composable Cloud Programming via Resilient Steps.
Proc. ACM Manag. Data
Tianyu Li, Badrish Chandramouli, Sebastian Burckhardt, Samuel Madden
2023 Misc conf
Doing More with Less: Orchestrating Serverless Applications without an Orchestrator.
NSDI
David H. Liu, Amit Levy, Shadi A. Noghabi, Sebastian Burckhardt
2022 J jnl
Netherite: Efficient Execution of Serverless Workflows.
Proc. VLDB Endow.
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher Meiklejohn, Xiangfeng Zhu
2021 J jnl
Durable functions: semantics for stateful serverless.
Proc. ACM Program. Lang.
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
2021 J jnl
Serverless Workflows with Durable Functions and Netherite.
CoRR
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
2021 J jnl
Specification and space complexity of collaborative text editing.
Theor. Comput. Sci.
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
2020 J jnl
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.
Proc. VLDB Endow.
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
2018 — ed.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018
PaPoC@EuroSys
Sebastian Burckhardt, Marko Vukolic
2018 J jnl
Reactive caching for composed services: polling at the speed of push.
Proc. ACM Program. Lang.
Sebastian Burckhardt, Tim Coppieters
2017 A conf
Consistency Models with Global Operation Sequencing and their Composition.
DISC
Alexey Gotsman, Sebastian Burckhardt
2017 J jnl
Consistency models with global operation sequencing and their composition (extended version).
CoRR
Alexey Gotsman, Sebastian Burckhardt
2017 J jnl
Geo-distribution of actor-based services.
Proc. ACM Program. Lang.
Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Gautam Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
2016 J jnl
Abstract Specifications for Weakly Consistent Data.
IEEE Data Eng. Bull.
Sebastian Burckhardt, Jonathan Protzenko
2016 — conf
Serializable eventual consistency: consistency through object method replay.
PaPoC@EuroSys
Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt
2016 A* conf
Specification and Complexity of Collaborative Text Editing.
PODC
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
2015 — conf
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.
MOBILESoft
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
2015 A conf
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.
ECOOP
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich
2015 — conf
Implementing real-time collaboration in TouchDevelop using AST merges.
MobileDeLi
Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg
2014 — conf
Consistency in Distributed Systems.
LASER Summer School
Sebastian Burckhardt
2014 J jnl
Principles of Eventual Consistency.
Found. Trends Program. Lang.
Sebastian Burckhardt
2014 — conf
Refactoring local to cloud data types for mobile apps.
MOBILESoft
Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann
2014 A* conf
Replicated data types: specification, verification, optimality.
POPL
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski
2014 — conf
TouchDevelop: create rich mobile apps on touch devices (tutorial).
MOBILESoft
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
2013 A* conf
It's alive! continuous feedback in UI programming.
PLDI
Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
2012 A conf
Cloud Types for Eventual Consistency.
ECOOP
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood
2012 A conf
Concurrent Library Correctness on the TSO Memory Model.
ESOP
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
2012 A conf
Eventually Consistent Transactions.
ESOP
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv
2012 A* conf
Multicore acceleration of priority-based schedulers for concurrency bug detection.
PLDI
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
2012 — conf
TouchDevelop: app development on mobile devices.
SIGSOFT FSE
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
2012 A conf
What's Decidable about Weak Memory Models?
ESOP
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
2011 — conf
Multicore, manycore, and cloud computing: is a new programming language paradigm required?
OOPSLA Companion
S. Tucker Taft, Joshua J. Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David M. Ungar
2011 A conf
Practical parallel and concurrent programming.
SIGCSE
Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub
2011 J jnl
Predictable and Progressive Testing of Multithreaded Code.
IEEE Softw.
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
2011 C conf
Prettier concurrency: purely functional concurrent revisions.
Haskell
Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt
2011 A conf
Semantics of Concurrent Revisions.
ESOP
Sebastian Burckhardt, Daan Leijen
2011 A conf
Two for the price of one: a model for parallel and incremental computation.
OOPSLA
Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball
2010 A* conf
A randomized scheduler with probabilistic guarantees of finding bugs.
ASPLOS
Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte
2010 A conf
Concurrent programming with revisions and isolation types.
OOPSLA
Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen
2010 A* conf
Effective Data-Race Detection for the Kernel.
OSDI
John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk
2010 B conf
GAMBIT: effective unit testing for concurrency libraries.
PPoPP
Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi
2010 A* conf
Line-up: a complete and automatic linearizability checker.
PLDI
Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan
2010 A* conf
On the verification problem for weak memory models.
POPL
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
2010 A conf
Preemption Sealing for Efficient Concurrency Testing.
TACAS
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
2010 B conf
Verifying Local Transformations on Relaxed Memory Models.
CC
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh
2009 — conf
Deconstructing concurrency heisenbugs.
ICSE Companion
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
2009 A conf
The design of a task parallel library.
OOPSLA
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
2008 A* conf
Effective Program Verification for Relaxed Memory Models.
CAV
Sebastian Burckhardt, Madanlal Musuvathi
2007 A* conf
CheckFence: checking consistency of concurrent data types on relaxed memory models.
PLDI
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2006 A* conf
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.
CAV
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2005 B conf
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.
VMCAI
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin