Sebastian Burckhardt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
19
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CIDR | Serverless State Management Systems. | Tianyu Li, Badrish Chandramouli, Sebastian Burckhardt, Samuel Madden |
| 2023 | NSDI | Doing More with Less: Orchestrating Serverless Applications without an Orchestrator. | David H. Liu, Amit Levy, Shadi A. Noghabi, Sebastian Burckhardt |
| 2016 | EuroSys | Serializable eventual consistency: consistency through object method replay. | Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt |
| 2016 | PODC | Specification and Complexity of Collaborative Text Editing. | Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski |
| 2015 | ECOOP | Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. | Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fhndrich |
| 2015 | ICSE | Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann |
| 2015 | OOPSLA | Implementing real-time collaboration in TouchDevelop using AST merges. | Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg |
| 2014 | ICSE | Refactoring local to cloud data types for mobile apps. | Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann |
| 2014 | ICSE | TouchDevelop: create rich mobile apps on touch devices (tutorial). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop |
| 2014 | POPL | Replicated data types: specification, verification, optimality. | Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski |
| 2013 | PLDI | It's alive! continuous feedback in UI programming. | Sebastian Burckhardt, Manuel Fhndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato |
| 2012 | ECOOP | Cloud Types for Eventual Consistency. | Sebastian Burckhardt, Manuel Fhndrich, Daan Leijen, Benjamin P. Wood |
| 2012 | ESOP | What's Decidable about Weak Memory Models? | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2012 | ESOP | Concurrent Library Correctness on the TSO Memory Model. | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
| 2012 | ESOP | Eventually Consistent Transactions. | Sebastian Burckhardt, Daan Leijen, Manuel Fhndrich, Mooly Sagiv |
| 2012 | PLDI | Multicore acceleration of priority-based schedulers for concurrency bug detection. | Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi |
| 2011 | ESOP | Semantics of Concurrent Revisions. | Sebastian Burckhardt, Daan Leijen |
| 2011 | HASKELL | Prettier concurrency: purely functional concurrent revisions. | Daan Leijen, Manuel Fhndrich, Sebastian Burckhardt |
| 2011 | OOPSLA | Two for the price of one: a model for parallel and incremental computation. | Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball |
| 2011 | OOPSLA | 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 |
| 2011 | SIGCSE | Practical parallel and concurrent programming. | Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub |
| 2010 | ASPLOS | A randomized scheduler with probabilistic guarantees of finding bugs. | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte |
| 2010 | CC | Verifying Local Transformations on Relaxed Memory Models. | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
| 2010 | OOPSLA | Concurrent programming with revisions and isolation types. | Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen |
| 2010 | OSDI | Effective Data-Race Detection for the Kernel. | John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk |
| 2010 | PLDI | Line-up: a complete and automatic linearizability checker. | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
| 2010 | POPL | On the verification problem for weak memory models. | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2010 | PPoPP | GAMBIT: effective unit testing for concurrency libraries. | Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi |
| 2010 | TACAS | Preemption Sealing for Efficient Concurrency Testing. | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | ICSE | Deconstructing concurrency heisenbugs. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | OOPSLA | The design of a task parallel library. | Daan Leijen, Wolfram Schulte, Sebastian Burckhardt |
| 2008 | CAV | Effective Program Verification for Relaxed Memory Models. | Sebastian Burckhardt, Madanlal Musuvathi |
| 2007 | PLDI | CheckFence: checking consistency of concurrent data types on relaxed memory models. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2006 | CAV | Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2005 | VMCAI | Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |