Marc Shapiro

According to our database1, Marc Shapiro authored at least 112 papers between 1982 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Conflict-Free Replicated Data Types CRDTs.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Database Consistency Models.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

2018
Causal Consistency.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Eventual Consistency.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Replicated Data Types.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Optimistic Replication and Resolution.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

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

Co-Design and Verification of an Available File System.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Distributed transactional reads: the strong, the quick, the fresh & the impossible.
Proceedings of the 19th International Middleware Conference, 2018

A modular design for geo-distributed querying: work in progress report.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

Ensuring referential integrity under causal consistency.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

2017
Technical Perspective: Unexpected connections.
Commun. ACM, 2017

2016
Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull., 2016

'Cause I'm strong enough: reasoning about consistency choices in distributed systems.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Cure: Strong Semantics Meets High Availability and Low Latency.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

High Responsiveness for Group Editing CRDTs.
Proceedings of the 19th International Conference on Supporting Group Work, Sanibel Island, FL, USA, November 13, 2016

Eventually consistent register revisited.
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.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

The CISE tool: proving weakly-consistent applications correct.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Consistency in 3D.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Towards Fast Invariant Preservation in Geo-replicated Systems.
Operating Systems Review, 2015

Merging semantics for conflict updates in geo-distributed file systems.
Proceedings of the 8th ACM International Systems and Storage Conference, 2015

Scaling Geo-replicated Databases to the MEC Environment.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Write Fast, Read in the Past: Causal Consistency for Client-Side Applications.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

An empirical perspective on causal consistency.
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.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Putting consistency back into eventual consistency.
Proceedings of the Tenth European Conference on Computer Systems, 2015

NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Dagstuhl seminar review: consistency in distributed systems.
SIGACT News, 2014

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

The Case for Fast and Invariant-Preserving Geo-Replication.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Scality's experience with a geo-distributed file system.
Proceedings of the Middleware '14 Posters & Demos Session, 2014

Multi-site Gargamel: optimistic synchronization for reliable geo-replicated databases.
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, 2014

G-DUR: a middleware for assembling, analyzing, and improving transactional protocols.
Proceedings of the 15th International Middleware Conference, 2014

2013
Consistency in Distributed Systems (Dagstuhl Seminar 13081).
Dagstuhl Reports, 2013

Improving the Scalability of Geo-replication with Reservations.
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.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Incremental stream processing using computational conflict-free replicated data types.
Proceedings of the 3rd International Workshop on Cloud Data and Platforms, 2013

On the Scalability of Snapshot Isolation.
Proceedings of the Euro-Par 2013 Parallel Processing, 2013

A study of the scalability of stop-the-world garbage collectors on multicores.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

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

Brief Announcement: Semantics of Eventually Consistent Replicated Sets.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Gargamel: Boosting DBMS Performance by Parallelising Write Transactions.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

A Grid Based Distributed Cooperative Environment for Health Care Research.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

2011
Convergent and Commutative Replicated Data Types.
Bulletin of the EATCS, 2011

A Principled Approach to Eventual Consistency.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Conflict-Free Replicated Data Types.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Fast Genuine Generalized Consensus.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Assessing the scalability of garbage collectors on many cores.
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

A semantically rich approach for collaborative model edition.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010
Consistency without concurrency control in large, dynamic systems.
Operating Systems Review, 2010

2009
Eventual Consistency.
Proceedings of the Encyclopedia of Database Systems, 2009

Optimistic Replication and Resolution.
Proceedings of the Encyclopedia of Database Systems, 2009

A Commutative Replicated Data Type for Cooperative Editing.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008
Fault-Tolerant Partial Replication in Large-Scale Database Systems.
Proceedings of the Euro-Par 2008, 2008

Topic 8: Distributed Systems and Algorithms.
Proceedings of the Euro-Par 2008, 2008

2007
Decentralised Commitment for Optimistic Semantic Replication.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Exploiting Our Computational Surroundings for Better Mobile Collaboration.
Proceedings of the 8th International Conference on Mobile Data Management (MDM 2007), 2007

A comparison of optimistic approaches to collaborative editing of Wiki pages.
Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

Comparing Optimistic Database Replication Techniques.
Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

2006
Distributed Wisdom: What's Wrong with Us?
IEEE Distributed Systems Online, 2006

Proving correctness of highly-concurrent linearisable objects.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Practical proofs of concurrent programs.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

An Application Framework for Nomadic, Collaborative Applications.
Proceedings of the Distributed Applications and Interoperable Systems, 2006

2005
Pushing Log-Based Reconciliation.
International Journal on Artificial Intelligence Tools, 2005

Optimistic replication.
ACM Comput. Surv., 2005

Brief announcement: exploring the consistency problem space.
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Topic 8 - Distributed Systems and Algorithms.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004
Undo for anyone, anywhere, anytime.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

A Constraint-Based Formalism for Consistency in Replicated Systems.
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Rufis: Mobile Data Sharing Using a Generic Constraint-Oriented Reconciler.
Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

2003
Semantics-Based Reconciliation for Collaborative and Mobile Environments.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Scaling Optimistic Replication.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
Réplication: les approches optimistes (conf. invitée).
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).
, 2002

2001
The IceCube approach to the reconciliation of divergent replicas.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

2000
Application-independent reconciliation for nomadic applications.
Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, 2000

Experience with the PerDiS Large-Scale Data-Sharing Middleware.
Proceedings of the Persistent Object Systems, 9th International Workshop, 2000

The Memory Behavior of the WWW, or The WWW Considered as a Persistent Store.
Proceedings of the Persistent Object Systems, 9th International Workshop, 2000

1999
Recent Advances in Distributed Garbage Collection.
Proceedings of the Advances in Distributed Systems, 1999

PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store.
Proceedings of the Advances in Distributed Systems, 1999

1998
Implementing Garbage Collection in the PerDiS System.
Proceedings of the Advances in Persistent Object Systems, 1998

An Implementation for Complete, Asynchronous, Distributed Garbage Collection.
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.
Proceedings of the ECOOP'98, 1998

1996
Larchant: Persistence by Reachability in Distributed Shared Memory Through Garbage Collection.
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.
Operating Systems Review, 1995

Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector.
Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

A Survey of Distributed Garbage Collection Techniques
Proceedings of the Memory Management, 1995

Garbage Collection in the Larchant Persistent Distributed Shared Store.
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.
Proceedings of the Persistent Object Systems, 1994

Garbage Collection and DSM Consistency.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

A Binding Protocol for Distributed Shared Objects.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1993
Objects in Distributed Systems.
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.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Robust, Distributed References and Acyclic Garbage Collection.
Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

Operating System Support for Distributed and Persistent Objects.
Proceedings of the Distributed Object Management, 1992

Distributed Abstractions, Lightweight References.
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

Experience with a Fault-Tolerant Garbage Collector in a Distributed List System.
Proceedings of the Memory Management, 1992

1991
A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol.
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Soul: An Object-Oriented OS Framework for Object Support.
Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990
FOG/C++: A Fragmented Object Generator.
Proceedings of the C++ Conference. San Francisco, 1990

1989
SOS: An Object-Oriented Operating System - Assessment and Perspectives.
Computing Systems, 1989

Generic Virtual Memory Management for Operating System Kernels.
Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

A Simple Object Storage System.
Proceedings of the Persistent Object Systems, 1989

Persistence and Migration for C++ Objects.
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.
Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

The SOS object-oriented communication service.
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.
Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1986
SOS: a distributed object-oriented operating system.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

Structure and Encapsulation in Distributed Systems: The Proxy Principle.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1982
An Experiment in Distributed Program Design, Using Control Enrichment.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982


  Loading...