Sebastian Burckhardt

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 15

Top Topics

Efficient Execution

Collaborative Editing

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

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