Concurrent Revisions

Established: September 15, 2010

Publications

View by:

- Understanding Eventual Consistency
  
  Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
  
  MSR-TR-2013-39 | March 2013
  
  This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
  
  Publication
- Cloud Types for Eventual Consistency
  
  Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
  
  Publication Publication Project
- Eventually Consistent Transactions
  
  Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
  
  Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
  
  Proceedings of the 22n European Symposium on Programming (ESOP)
  
  Publication Publication
- Two for the Price of One: A Model for Parallel and Incremental Computation
  
  Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
  
  Publication Publication
- Eventually Consistent Transactions (full version)
  
  Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
  
  MSR-TR-2011-117 | October 2011
  
  This is the full version with proofs of our ESOP 2012 paper.
  
  Publication Project
- Prettier Concurrency: Purely Functional Concurrent Revisions
  
  Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
  
  Haskell Symposium 2011 (Haskell'11) | July 2011
  
  Haskell Symposium 2011 (Haskell'11)
  
  Publication Publication
- Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
  
  Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
  
  The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
  
  (no formal proceedings)
  
  Publication
- Semantics of Concurrent Revisions
  
  Sebastian Burckhardt, Daan Leijen
  
  European Symposium on Programming (ESOP'11) | March 2011
  
  Publication
- Concurrent Programming with Revisions and Isolation Types
  
  Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
  
  Publication Publication Publication
- Semantics of Concurrent Revisions
  
  Sebastian Burckhardt, Daan Leijen
  
  MSR-TR-2010-94 | July 2010
  
  Publication
- Lightweight Software Transactions for Games
  
  Alexandro Baldassin, Sebastian Burckhardt
  
  First USENIX Workshop on Hot Topics in Parallelism | March 2009
  
  Publication

- Understanding Eventual Consistency
  
  Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
  
  MSR-TR-2013-39 | March 2013
  
  This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
  
  Publication
- Cloud Types for Eventual Consistency
  
  Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
  
  Publication Publication Project
- Eventually Consistent Transactions
  
  Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
  
  Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
  
  Proceedings of the 22n European Symposium on Programming (ESOP)
  
  Publication Publication
- Two for the Price of One: A Model for Parallel and Incremental Computation
  
  Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
  
  Publication Publication
- Eventually Consistent Transactions (full version)
  
  Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
  
  MSR-TR-2011-117 | October 2011
  
  This is the full version with proofs of our ESOP 2012 paper.
  
  Publication Project
- Prettier Concurrency: Purely Functional Concurrent Revisions
  
  Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
  
  Haskell Symposium 2011 (Haskell'11) | July 2011
  
  Haskell Symposium 2011 (Haskell'11)
  
  Publication Publication
- Semantics of Concurrent Revisions
  
  Sebastian Burckhardt, Daan Leijen
  
  European Symposium on Programming (ESOP'11) | March 2011
  
  Publication
- Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
  
  Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
  
  The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
  
  (no formal proceedings)
  
  Publication
- Concurrent Programming with Revisions and Isolation Types
  
  Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
  
  Publication Publication Publication
- Semantics of Concurrent Revisions
  
  Sebastian Burckhardt, Daan Leijen
  
  MSR-TR-2010-94 | July 2010
  
  Publication
- Lightweight Software Transactions for Games
  
  Alexandro Baldassin, Sebastian Burckhardt
  
  First USENIX Workshop on Hot Topics in Parallelism | March 2009
  
  Publication
- Cloud Types for Eventual Consistency
  
  Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
  
  Publication Publication Project
- Eventually Consistent Transactions
  
  Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
  
  Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
  
  Proceedings of the 22n European Symposium on Programming (ESOP)
  
  Publication Publication

- Understanding Eventual Consistency
  
  Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
  
  MSR-TR-2013-39 | March 2013
  
  This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
  
  Publication
- Eventually Consistent Transactions (full version)
  
  Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
  
  MSR-TR-2011-117 | October 2011
  
  This is the full version with proofs of our ESOP 2012 paper.
  
  Publication Project
- Semantics of Concurrent Revisions
  
  Sebastian Burckhardt, Daan Leijen
  
  MSR-TR-2010-94 | July 2010
  
  Publication
- Cloud Types for Eventual Consistency
  
  Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
  
  Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
  
  Publication Publication Project
- Eventually Consistent Transactions
  
  Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
  
  Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
  
  Proceedings of the 22n European Symposium on Programming (ESOP)
  
  Publication Publication
- Two for the Price of One: A Model for Parallel and Incremental Computation
  
  Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
  
  Publication Publication
- Prettier Concurrency: Purely Functional Concurrent Revisions
  
  Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
  
  Haskell Symposium 2011 (Haskell'11) | July 2011
  
  Haskell Symposium 2011 (Haskell'11)
  
  Publication Publication
- Semantics of Concurrent Revisions
  
  Sebastian Burckhardt, Daan Leijen
  
  European Symposium on Programming (ESOP'11) | March 2011
  
  Publication
- Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
  
  Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
  
  The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
  
  (no formal proceedings)
  
  Publication
- Concurrent Programming with Revisions and Isolation Types
  
  Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
  
  Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
  
  Publication Publication Publication
- Lightweight Software Transactions for Games
  
  Alexandro Baldassin, Sebastian Burckhardt
  
  First USENIX Workshop on Hot Topics in Parallelism | March 2009
  
  Publication

People

Daan Leijen

Senior Principal Researcher

Learn more

Sebastian Burckhardt

Senior Principal Researcher

Learn more