Marc Shapiro

Proceedings of the Networked Systems - 10th International Conference, 2022

2021

A coordination-free, convergent, and safe replicated tree.

[BibT_eX]

[DOI]

CoRR, 2021

Highly-available and consistent group collaboration at the edge with colony.

[BibT_eX]

[DOI]

Ilyas Toumlilt

Proceedings of the Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6, 2021

CRDTs for truly concurrent file systems.

[BibT_eX]

[DOI]

Proceedings of the HotStorage '21: 13th ACM Workshop on Hot Topics in Storage and File Systems, 2021

2020

Towards application-specific query processing systems.

[BibT_eX]

[DOI]

CoRR, 2020

MemOpLight: Leveraging application feedback to improve container memory consolidation.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

Data Consistency in the 5G Specification.

[BibT_eX]

[DOI]

Proceedings of the 23rd Conference on Innovation in Clouds, 2020

Proving the Safety of Highly-Available Distributed Objects.

[BibT_eX]

[DOI]

Sreeja S. Nair

Gustavo Petri

Proceedings of the Programming Languages and Systems, 2020

2019

Conflict-Free Replicated Data Types CRDTs.

[BibT_eX]

[DOI]

Carlos Baquero

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Database Consistency Models.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Highlighting the Container Memory Consolidation Problems in Linux.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019

Invariant Safety for Distributed Applications.

[BibT_eX]

[DOI]

Sreeja S. Nair

Gustavo Petri

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018

Causal Consistency.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Eventual Consistency.

[BibT_eX]

[DOI]

Bettina Kemme

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Replicated Data Types.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Optimistic Replication and Resolution.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2018

Improving the "Correct Eventual Consistency" Tool.

[BibT_eX]

[DOI]

Sreeja Nair

CoRR, 2018

Conflict-free Replicated Data Types (CRDTs).

[BibT_eX]

[DOI]

Carlos Baquero

CoRR, 2018

Database Consistency Models.

[BibT_eX]

[DOI]

CoRR, 2018

A Modular Design for Geo-Distributed Querying.

[BibT_eX]

[DOI]

Dimitrios Vasilas

Bradley King

CoRR, 2018

Just-Right Consistency: reconciling availability and safety.

[BibT_eX]

[DOI]

Christopher Meiklejohn

CoRR, 2018

Co-Design and Verification of an Available File System.

[BibT_eX]

[DOI]

Mahsa Najafzadeh

Patrick Eugster

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Distributed transactional reads: the strong, the quick, the fresh & the impossible.

[BibT_eX]

[DOI]

Manuel Bravo

Proceedings of the 19th International Middleware Conference, 2018

A modular design for geo-distributed querying: work in progress report.

[BibT_eX]

[DOI]

Dimitrios Vasilas

Bradley King

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

Ensuring referential integrity under causal consistency.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

2017

Persistent Memory Programming Abstractions in Context of Concurrent Applications.

[BibT_eX]

[DOI]

Ajay Singh

Gaël Thomas

CoRR, 2017

Technical Perspective: Unexpected connections.

[BibT_eX]

[DOI]

Commun. ACM, 2017

2016

Geo-Replication: Fast If Possible, Consistent If Necessary.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2016

'Cause I'm strong enough: reasoning about consistency choices in distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Cure: Strong Semantics Meets High Availability and Low Latency.

[BibT_eX]

[DOI]

Deepthi Devaki Akkoorath

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

High Responsiveness for Group Editing CRDTs.

[BibT_eX]

[DOI]

Loïck Briot

Pascal Urso

Proceedings of the 19th International Conference on Supporting Group Work, Sanibel Island, FL, USA, November 13, 2016

Eventually consistent register revisited.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

The CISE tool: proving weakly-consistent applications correct.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Consistency in 3D.

[BibT_eX]

[DOI]

Gustavo Petri

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Towards Fast Invariant Preservation in Geo-replicated Systems.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.

[BibT_eX]

[DOI]

CoRR, 2015

Merging semantics for conflict updates in geo-distributed file systems.

[BibT_eX]

[DOI]

Vinh Tao

Vianney Rancurel

Proceedings of the 8th ACM International Systems and Storage Conference, 2015

Scaling Geo-replicated Databases to the MEC Environment.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Write Fast, Read in the Past: Causal Consistency for Client-Side Applications.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

An empirical perspective on causal consistency.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Designing a causally consistent protocol for geo-distributed partial replication.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Putting consistency back into eventual consistency.

[BibT_eX]

[DOI]

Proceedings of the Tenth European Conference on Computer Systems, 2015

NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Dagstuhl seminar review: consistency in distributed systems.

[BibT_eX]

[DOI]

SIGACT News, 2014

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

The Case for Fast and Invariant-Preserving Geo-Replication.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Scality's experience with a geo-distributed file system.

[BibT_eX]

[DOI]

Proceedings of the Middleware '14 Posters & Demos Session, 2014

Multi-site Gargamel: optimistic synchronization for reliable geo-replicated databases.

[BibT_eX]

[DOI]

Pierpaolo Cincilla

Sébastien Monnet

Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, 2014

G-DUR: a middleware for assembling, analyzing, and improving transactional protocols.

[BibT_eX]

[DOI]

Proceedings of the 15th International Middleware Conference, 2014

2013

Consistency in Distributed Systems (Dagstuhl Seminar 13081).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Non-Monotonic Snapshot Isolation.

[BibT_eX]

[DOI]

CoRR, 2013

Improving the Scalability of Geo-replication with Reservations.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Incremental stream processing using computational conflict-free replicated data types.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Cloud Data and Platforms, 2013

On the Scalability of Snapshot Isolation.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

A study of the scalability of stop-the-world garbage collectors on multicores.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

An optimized conflict-free replicated set

[BibT_eX]

[DOI]

CoRR, 2012

Brief Announcement: Semantics of Eventually Consistent Replicated Sets.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Gargamel: Boosting DBMS Performance by Parallelising Write Transactions.

[BibT_eX]

[DOI]

Pierpaolo Cincilla

Sébastien Monnet

Rafael Viana Lopes Araújo

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

A Grid Based Distributed Cooperative Environment for Health Care Research.

[BibT_eX]

[DOI]

Felipe Maia

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

The space complexity of transactional interactive reads.

[BibT_eX]

[DOI]

Marek Zawirski

Proceedings of the 1st International Workshop on Hot Topics in Cloud Data Processing, 2012

2011

Assessing the scalability of garbage collectors on many cores.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2011

Convergent and Commutative Replicated Data Types.

[BibT_eX]

[DOI]

Bull. EATCS, 2011

A Principled Approach to Eventual Consistency.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Conflict-Free Replicated Data Types.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Fast Genuine Generalized Consensus.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

A semantically rich approach for collaborative model edition.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Consistency without concurrency control in large, dynamic systems.

[BibT_eX]

[DOI]

Mihai Letia

ACM SIGOPS Oper. Syst. Rev., 2010

2009

Eventual Consistency.

[BibT_eX]

[DOI]

Bettina Kemme

Proceedings of the Encyclopedia of Database Systems, 2009

Optimistic Replication and Resolution.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

CRDTs: Consistency without concurrency control

[BibT_eX]

[DOI]

Mihai Letia

CoRR, 2009

A Commutative Replicated Data Type for Cooperative Editing.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008

Telex: Principled System Support for Write-Sharing in Collaborative Applications.

[BibT_eX]

[DOI]

CoRR, 2008

Fault-Tolerant Partial Replication in Large-Scale Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2008, 2008

Topic 8: Distributed Systems and Algorithms.

[BibT_eX]

[DOI]

Elsa María Macías López

Proceedings of the Euro-Par 2008, 2008

2007

Designing a commutative replicated data type

[BibT_eX]

[DOI]

CoRR, 2007

Decentralised Commitment for Optimistic Semantic Replication.

[BibT_eX]

[DOI]

João Pedro Barreto

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Exploiting Our Computational Surroundings for Better Mobile Collaboration.

[BibT_eX]

[DOI]

João Pedro Barreto

Proceedings of the 8th International Conference on Mobile Data Management (MDM 2007), 2007

A comparison of optimistic approaches to collaborative editing of Wiki pages.

[BibT_eX]

[DOI]

Claudia-Lavinia Ignat

Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

Comparing Optimistic Database Replication Techniques.

[BibT_eX]

Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

2006

Distributed Wisdom: What's Wrong with Us?

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2006

An asynchronous, decentralised commitment protocol for semantic optimistic replication

[BibT_eX]

[DOI]

João Pedro Barreto

CoRR, 2006

Proving correctness of highly-concurrent linearisable objects.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Practical proofs of concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

An Application Framework for Nomadic, Collaborative Applications.

[BibT_eX]

[DOI]

James O'Brien

Proceedings of the Distributed Applications and Interoperable Systems, 2006

2005

Pushing Log-Based Reconciliation.

[BibT_eX]

[DOI]

Youssef Hamadi

Int. J. Artif. Intell. Tools, 2005

Optimistic replication.

[BibT_eX]

[DOI]

Yasushi Saito

ACM Comput. Surv., 2005

Brief announcement: exploring the consistency problem space.

[BibT_eX]

[DOI]

Nishith Krishna

Karthikeyan Bhargavan

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Topic 8 - Distributed Systems and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004

Undo for anyone, anywhere, anytime.

[BibT_eX]

[DOI]

James O'Brien

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

A Constraint-Based Formalism for Consistency in Replicated Systems.

[BibT_eX]

[DOI]

Karthikeyan Bhargavan

Nishith Krishna

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Rufis: Mobile Data Sharing Using a Generic Constraint-Oriented Reconciler.

[BibT_eX]

[DOI]

James O'Brien

Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

2003

Semantics-Based Reconciliation for Collaborative and Mobile Environments.

[BibT_eX]

[DOI]

Caroline Matheson

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Scaling Optimistic Replication.

[BibT_eX]

[DOI]

Yasushi Saito

Proceedings of the Future Directions in Distributed Computing, 2003

2002

Réplication: les approches optimistes (conf. invitée).

[BibT_eX]

Proceedings of the 18èmes Journées Bases de Données Avancées, 2002

Object management in large-scale distributed systems. (La gestion des objets dans les systèmes répartis de grande échelle).

[BibT_eX]

[DOI]

, 2002

2001

The IceCube approach to the reconciliation of divergent replicas.

[BibT_eX]

[DOI]

Anne-Marie Kermarrec

Antony I. T. Rowstron

Peter Druschel

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

2000

Application-independent reconciliation for nomadic applications.

[BibT_eX]

[DOI]

Antony I. T. Rowstron

Anne-Marie Kermarrec

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Experience with the PerDiS Large-Scale Data-Sharing Middleware.

[BibT_eX]

[DOI]

Nicolas Richer

Proceedings of the Persistent Object Systems, 9th International Workshop, 2000

The Memory Behavior of the WWW, or The WWW Considered as a Persistent Store.

[BibT_eX]

[DOI]

Nicolas Richer

Proceedings of the Persistent Object Systems, 9th International Workshop, 2000

1999

Recent Advances in Distributed Garbage Collection.

[BibT_eX]

[DOI]

Fabrice Le Fessant

Proceedings of the Advances in Distributed Systems, 1999

PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

1998

Implementing Garbage Collection in the PerDiS System.

[BibT_eX]

Xavier Blondel

Proceedings of the Advances in Persistent Object Systems, 1998

An Implementation for Complete, Asynchronous, Distributed Garbage Collection.

[BibT_eX]

[DOI]

Fabrice Le Fessant

Ian Piumarta

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'98, 1998

1996

Larchant: Persistence by Reachability in Distributed Shared Memory Through Garbage Collection.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

Summary of the Sixth SIGOPS European Workshop on "Matching Operating Systems to Application Needs", Dagstuhl Castle, September 1994.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1995

Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

A Survey of Distributed Garbage Collection Techniques

[BibT_eX]

[DOI]

David Plainfossé

Proceedings of the Memory Management, 1995

Garbage Collection in the Larchant Persistent Distributed Shared Store.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

Garbage Collection of Persistent Objects in Distributed Shared Memory.

[BibT_eX]

[DOI]

Proceedings of the Persistent Object Systems, 1994

Garbage Collection and DSM Consistency.

[BibT_eX]

[DOI]

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

A Binding Protocol for Distributed Shared Objects.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1993

Objects in Distributed Systems.

[BibT_eX]

Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993

1992

Contrasting fragmented objects with uniform transparent object references for distributed programming.

[BibT_eX]

[DOI]

Peter Dickman

Mesaac Makpangou

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Robust, Distributed References and Acyclic Garbage Collection.

[BibT_eX]

[DOI]

Peter Dickman

David Plainfossé

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

Operating System Support for Distributed and Persistent Objects.

[BibT_eX]

Proceedings of the Distributed Object Management, 1992

Distributed Abstractions, Lightweight References.

[BibT_eX]

Mesaac Makpangou

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

Experience with a Fault-Tolerant Garbage Collector in a Distributed List System.

[BibT_eX]

[DOI]

David Plainfossé

Proceedings of the Memory Management, 1992

1991

A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol.

[BibT_eX]

[DOI]

Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Soul: An Object-Oriented OS Framework for Object Support.

[BibT_eX]

[DOI]

Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990

Object-orientation in operating systems (workshop session).

[BibT_eX]

[DOI]

Vincent F. Russo

Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990

FOG/C++: A Fragmented Object Generator.

[BibT_eX]

Yvon Gourbant

Proceedings of the C++ Conference. San Francisco, 1990

1989

SOS: An Object-Oriented Operating System - Assessment and Perspectives.

[BibT_eX]

[DOI]

Comput. Syst., 1989

Generic Virtual Memory Management for Operating System Kernels.

[BibT_eX]

[DOI]

Vadim Abrossimov

Marc Rozier

Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

A Simple Object Storage System.

[BibT_eX]

Laurence Mosseri

Proceedings of the Persistent Object Systems, 1989

Persistence and Migration for C++ Objects.

[BibT_eX]

Philippe Gautron

Laurence Mosseri

Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

1988

Domains and dynamic loading: reconciling autonomy and integration.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

The SOS object-oriented communication service.

[BibT_eX]

Mesaac Makpangou

Proceedings of the Computer Communication Technologies for the 90's, Proceedings of the Ninth International Conference on Computer Communication, Tel Aviv, Israel, October 30, 1988

1987

Two Extensions to C++: A Dynamic Link Editor and Inner Data.

[BibT_eX]

Philippe Gautron

Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1986

SOS: a distributed object-oriented operating system.

[BibT_eX]

[DOI]