Sebastian Burckhardt

According to our database1, Sebastian Burckhardt authored at least 44 papers between 2005 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Specification and space complexity of collaborative text editing.
Theor. Comput. Sci., 2021

2020
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.
Proc. VLDB Endow., 2020

2018
Reactive caching for composed services: polling at the speed of push.
Proc. ACM Program. Lang., 2018

2017
Geo-distribution of actor-based services.
Proc. ACM Program. Lang., 2017

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

Consistency Models with Global Operation Sequencing and their Composition.
Proceedings of the 31st International Symposium on Distributed Computing, 2017

2016
Abstract Specifications for Weakly Consistent Data.
IEEE Data Eng. Bull., 2016

Specification and Complexity of Collaborative Text Editing.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Serializable eventual consistency: consistency through object method replay.
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.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.
Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Principles of Eventual Consistency.
Found. Trends Program. Lang., 2014

Replicated data types: specification, verification, optimality.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Consistency in Distributed Systems.
Proceedings of the Software Engineering - International Summer Schools, 2014

TouchDevelop: create rich mobile apps on touch devices (tutorial).
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Refactoring local to cloud data types for mobile apps.
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

2013
It's alive! continuous feedback in UI programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
TouchDevelop: app development on mobile devices.
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.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Eventually Consistent Transactions.
Proceedings of the Programming Languages and Systems, 2012

Concurrent Library Correctness on the TSO Memory Model.
Proceedings of the Programming Languages and Systems, 2012

What's Decidable about Weak Memory Models?
Proceedings of the Programming Languages and Systems, 2012

Cloud Types for Eventual Consistency.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Predictable and Progressive Testing of Multithreaded Code.
IEEE Softw., 2011

Practical parallel and concurrent programming.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Multicore, manycore, and cloud computing: is a new programming language paradigm required?
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.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Prettier concurrency: purely functional concurrent revisions.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Semantics of Concurrent Revisions.
Proceedings of the Programming Languages and Systems, 2011

2010
Preemption Sealing for Efficient Concurrency Testing.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

GAMBIT: effective unit testing for concurrency libraries.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

On the verification problem for weak memory models.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Line-up: a complete and automatic linearizability checker.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Effective Data-Race Detection for the Kernel.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Concurrent programming with revisions and isolation types.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Verifying Local Transformations on Relaxed Memory Models.
Proceedings of the Compiler Construction, 19th International Conference, 2010

A randomized scheduler with probabilistic guarantees of finding bugs.
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009
The design of a task parallel library.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Deconstructing concurrency heisenbugs.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Effective Program Verification for Relaxed Memory Models.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
CheckFence: checking consistency of concurrent data types on relaxed memory models.
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.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.
Proceedings of the Verification, 2005


  Loading...