Publications of Marc Shapiro

• Twelve major publications
• Recent papers
• Recent presentations

• Conflict-free replicated data types
• Strong consistency
• Eventual consistency and geo-replication
• Reconciliation
• Provable fine-grain concurrency
• Persistent Distributed Store
• Garbage Collection for Cached Stores and Distributed Shared Memory
• Garbage Collection in a Classical Distributed System
• Distributed Objects
• Other research
• Systems research in Europe

• Marc Shapiro @ACM Digital Library
• Marc Shapiro @DBLP
• Marc Shapiro @Microsoft Academic Search
• Marc Shapiro @Google Scholar
• Citation impact without self-citation (as computed by cids.fc.ul.pt/, retrieved 15 August 2014).
• Comprehensive BibTeX file.

Key:

• bib: bibliographical citation record (BibTeX format)
• DL_0: free digital library (ACM via Authorizer, Usenix, arXiV, etc.)
• DL_€: paywall digital library (Springer, IEEE, etc.)
• preprint: local preprint.

Major publications

• 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems. A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro. Symp. on Principles of Programming Languages, Jan. 2016. St. Petersburg, Florida, USA. [ DL_0 | DL_€ | preprint | CISE tool demo | bib ]
• Write Fast, Read in the Past: Causal Consistency for Client-side Applications. M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro. Annual ACM/IFIP/USENIX Middleware conference, Dec. 2015. Vancouver, BC, Canada. [ DL_0 | DL_€ | Extended Tech Report, Inria RR-8729 | preprint | bib ]
• Putting Consistency back into Eventual Consistency. V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira, M. Najafzadeh, M. Shapiro. Euro. Conf. on Computing Systems (EuroSys), Bordeaux, France, 21–24 April 2015. [ DL_0 | DL_€ | preprint | bib ]
• NumaGiC: a garbage collector for big data on big NUMA machines. L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen. Int. Conf. on Archi. Support for Prog. Lang. and Systems (ASPLOS). Istanbul, Turkey, 13--18 March 2015. [ DL_0 | DL_€ | preprint | bib ]
• Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems. M. Saeida Ardekani, P. Sutra, M. Shapiro. Int. Symp. on Reliable Distributed Systems (SRDS), Oct. 2013, Braga, Portugal. [ DL_€ | preprint | bib ]
• Conflict-free Replicated Data Types. M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski. Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS). Grenoble, France, October 2011. [ DL_€ | preprint | Tech Report, with proofs | bib ]
• Proving Correctness of Highly-Concurrent Linearisable Objects. V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro. Principles and Practice of Parallel Programming (PPoPP). New York, USA, March 2006. [ DL_0 | DL_€ | preprint | bib ]
• Optimistic Replication. Y. Saito, M. Shapiro. Computing Surveys, vol. 37, n° 1, pp. 42-81, March 2005. [ DL_0 | DL_€ | preprint | bib ]
• The IceCube approach to the reconciliation of divergent replicas. A.-M. Kermarrec, A. Rowstron, M. Shapiro, P. Druschel. Symp. on Principles of Dist. Comp. (PODC), Newport RI (USA), Aug. 2001. [ DL_0 | DL_€ | preprint | bib ]
• An implementation of complete, asynchronous, distributed garbage collection . F. le Fessant, I. Piumarta, M. Shapiro. Programming Languages Design and Implementation (PLDI), June 1998. [ DL_0 | DL_€ | preprint | bib ]
• Garbage Collection and DSM Consistency. P. Ferreira, M. Shapiro. Symp. on Operating Systems Design and Implementation (OSDI), November 1994, Monterey, CA (USA). [ DL_0 | preprint | bib ]
• Generic Virtual Memory Management in Operating Systems Kernels. V. Abrossimov, M. Rozier, M. Shapiro. 12th ACM Symp. on Operating Systems Principles (SOSP), Phoenix, December 1989. [ DL_0 | DL_€ | preprint | bib ]
• Structure and Encapsulation in Distributed Systems: the Proxy Principle . M. Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Cambridge MA (USA), May 1986. [ preprint | bib ]

Recent papers

• Consistency in 3D. M. Shapiro, M. Saeida Ardekani, G. Petri. Invited talk, Int. Conf. on Concurrency Theory (CONCUR 2016), Québec, QC, Canada. August 2016. [ slides | paper DL_0 | preprint | bib ]
• High Responsiveness for Group Editing CRDTs. L. Briot, P. Urso, M. Shapiro. Int. Conf. on Supporting Group Work, Sanibel Island, Florida, USA, Nov. 2016. [ DL_0 | DL_€ | preprint | bib ]
• Cure: Strong semantics meets high availability and low latency. D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Nara, Japan, June 2016. [ DL_€ | preprint | bib ]
• Geo-Replication: Fast If Possible, Consistent If Necessary. V. Balegas, C. Li, M. Najafzadeh, D. Porto, A. Clement,, S. Duarte, C. Ferreira, J. Gehrke, J. Leitão, N. Preguiça, R. Rodrigues, M. Shapiro, V. Vafeiadis. Bulletin of the Technical Committee on Data Engineering 39(1), IEEE Computer Society, March 2016. [ DL_0 | preprint | bib ]
• The CISE Tool: Proving Weakly-Consistent Applications Correct M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro. W. on the Principles and Practice of Consistency for Distributed Data (PaPoC), London, UK, Apr. 2016. [ Inria Tech. Rep. n° RR-8870 | DL_0 | DL_€ | preprint | bib ]
• Eventually Consistent Register Revisited. M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro. arXiv.org Technical Report arXiv:1511.05010 [cs.DC]. [ DL_0 | preprint | bib ]
• 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems. A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro. Symp. on Principles of Programming Languages, Jan. 2016. St. Petersburg, Florida, USA. [ DL_0 | DL_€ | preprint | CISE tool demo | bib ]
• Write Fast, Read in the Past: Causal Consistency for Client-side Applications. . M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro. Annual ACM/IFIP/USENIX Middleware conference, Dec. 2015. Vancouver, BC, Canada. [ DL_0 | DL_€ | Extended Tech Report, Inria RR-8729 | preprint | bib ]
• Putting Consistency back into Eventual Consistency. V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira, M. Najafzadeh, M. Shapiro. Euro. Conf. on Computing Systems (EuroSys), Bordeaux, France, 21–24 April 2015. [ DL_0 | DL_€ | preprint | bib ]

Recent presentations

• Data consistency in 3D (It’s the invariants, stupid). Invited talk, Int. Conf. on Concurrency Theory (CONCUR 2016), Québec, QC, Canada. August 2016. [ Announcement | slides | paper DL_0 | preprint | bib ]
• Just-Right Consistency: Static analysis for minimal synchronisation. Keynote Speaches, Laboratoire d'Informatique de Grenoble, 3 March 2016. [ Announcement | Slides | Video ]
• Demo of CISE tool: Static verification whether a distributed program maintains its invariants. [ CISE tool demo | Paper “'Cause I'm Strong Enough” ]
• CRDTs in practice. Marc Shapiro and Nuno Preguiça. CodeMesh, London, November 2015. [ Video | Slides ]
• Encapsulating replication, high concurrency and consistency with CRDTs. Marc Shapiro. CurryOn, Prague, Czech Republic, July 2015. [ Video ]
• Performance vs. programmability in geo-replicated systems. Marc Shapiro. Invited talk at Technion Colloquium, June 2014. ACM Distinguished Speaker Program talk. [ Announcement | Slides ]
• Write Fast, Read in the Past: Scalable Consistency all the way to the client. Marc Shapiro. Invited talk at Technion TCE Systems Day. ACM Distinguished Speaker Program talk. [ TCE Systems Day | Slides ]
• From Strong to Eventual Consistency: Getting it Right. Nuno Preguiça, Marc Shapiro. Tutorial at OPODIS 2013, Nice (France), Dec. 2014. [ Slides ]
• Extending the cloud all the way to your machine, with Conflict-free Replicated Data Types. MAKI Distinguished Lecture Series, Darmstadt Tech. U., 20 June 2013. [ Lecture series | Slides ]

Concurrent algorithms in shared memory

• NumaGiC: a garbage collector for big data on big NUMA machines. L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen. Int. Conf. on Archi. Support for Prog. Lang. and Systems (ASPLOS). Istanbul, Turkey, 13--18 March 2015. [ DL_0 | DL_€ | preprint | bib ]
• A Study of the Scalability of Stop-the-world Garbage Collectors on Multicores. L. Gidra, G. Thomas, J. Sopena, M. Shapiro. Int. Conf. on Archi. Support for Prog. Lang. and Systems (ASPLOS), Houston, TX, USA, 16--20 March 2013. [ DL_0 | DL_€ | preprint | bib ]
• Assessing the Scalability of Garbage Collectors on Many Cores. L. Gidra, G. Thomas, J. Sopena, M. Shapiro. Best papers from SOSP Workshop on Programming Languages and Operating Systems (PLOS), Cascais, Portugal. October 2011. [ DL_0 | DL_€ | preprint | bib ]
• Proving Correctness of Highly-Concurrent Linearisable Objects. V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro. Principles and Practice of Parallel Programming (PPoPP). New York, USA, March 2006. [ DL_0 | DL_€ | preprint | bib ]
• Practical proofs of concurrent programs M. Shapiro. Invited paper, Int. Conf. on Functional Programming (ICFP), Portland OR, USA, 2006. [ DL_0 | DL_€ | bib ]

Conflict-free Replicated Data Types (CRDTs)

• High Responsiveness for Group Editing CRDTs. L. Briot, P. Urso, M. Shapiro. Int. Conf. on Supporting Group Work, Sanibel Island, Florida, USA, Nov. 2016. [ DL_0 | DL_€ | preprint | bib ]
• The CISE Tool: Proving Weakly-Consistent Applications Correct M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro. W. on the Principles and Practice of Consistency for Distributed Data (PaPoC), London, UK, Apr. 2016. [ Inria Tech. Rep. n° RR-8870 | DL_0 | DL_€ | preprint | bib ]
• 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems. A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro. Symp. on Principles of Programming Languages, Jan. 2016. St. Petersburg, Florida, USA. [ DL_0 | DL_€ | preprint | CISE tool demo | bib ]
• Eventually Consistent Register Revisited. M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro. arXiv.org Technical Report arXiv:1511.05010 [cs.DC]. [ DL_0 | preprint | bib ]
• Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants . V. Balegas, N. Preguiça, C. Ferreira, S. Duarte, R. Rodrigues, M. Shapiro, D. Serra. Symposium on Reliable Distributed Systems (SRDS), Montréal, Canada, Sept. 2015. [ preprint | bib ]
• Merging Semantics for Conflict Updates in Geo-Distributed File Systems. V. Tao, M. Shapiro, V. Rancurel ACM Int. Systems and Storage Conf. (Systor), Haifa, Israel, May 2015. [ DL_0 | DL_€ | preprint | bib ]
• Towards Fast Invariant Preservation in Geo-replicated Systems. V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro. Operating Systems Review 49(1), Special Topic: Selected Papers from LADIS 2014 Eighth Workshop on Large-Scale Distributed Systems and Middleware, Jan 2015. [ DL_0 | DL_€ | bib ]
• The Case for Fast and Invariant-Preserving Geo-Replication. V. Balegas, N. Preguiça, S. Duarte, C. Ferreira, R. Rodrigues, M. Najafzadeh, M. Shapiro. W. on Planetary-Scale Distributed Systems (W-PSDS). co-located with SRDS, Nara, Japan October 2014.
• SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. M. Zawirski, V. Balegas, A. Bieniusa, N. Preguiça, S. Duarte, M. Shapiro, C. Baquero. Rapport de recherche INRIA RR-8347, Aug. 2014. [ DL_0 | preprint | bib ]
• Improving the scalability of geo-replication with reservations. M. Najafzadeh, M. Shapiro, V. Balegas, N. Preguiça. Int. W. on Distributed Cloud Computing (DCC), Dresden, Germany, December 2013. [ preprint | DL_€ | bib ]
• Incremental Stream Processing using Computational Conflict-free Replicated Data Types. D. Navalho, S. Duarte, N. Preguiça, M. Shapiro. Int. W. on Cloud Data and Platforms (CloudDP'13). Prague, Czech Republic, April 2013. [ DL_0 | DL_€ | preprint | bib ]
• An Optimized Conflict-free Replicated Set. A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte. Rapport de Recherche INRIA RR-8083, October 2012. [ preprint | bib ]
• Brief Announcement: Semantics of Eventually Consistent Replicated Sets. A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero, V. Balegas, S. Duarte. Int. Symp. on Distributed Computing (DISC), Salvador, Bahia, Brazil, Oct 2012. [ DL_€ | preprint | bib ]
• Conflict-free Replicated Data Types. M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski. Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS), Grenoble, France, October 2011. [ DL_€ | preprint | Tech Report , with proofs | bib ]
• Convergent and Commutative Replicated Data Types. M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski. Bulletin of the European Association for Theoretical Computer Science (EATCS), Number 104, June 2011. [ DL_0 | preprint | Slides | Technical report (fuller version) | bib ]
• Asynchronous rebalancing of a replicated tree. M. Zawirski, M. Shapiro, N. Preguiça. Conf. Française de Systèmes d'Exploitation (CFSE), Saint-Malo, France, May 2011. [ preprint | Slides (PowerPoint) (animations essential) | bib ]
• A comprehensive study of Convergent and Commutative Replicated Data Types. M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski. INRIA Technical Report RR-7506, January 2011. [ DL_0 | preprint | Slides | Shorter paper | bib ]
• Consistency without concurrency control in large, dynamic systems. M. Leția, N. Preguiça, M. Shapiro. SOSP Workshop on Large Scale Distributed Systems and Middleware (LADIS), Big Sky, MT, USA, Oct. 2009. [ DL_0 | DL_€ | preprint | bib | Slides ]
• A commutative replicated data type for cooperative editing. N. Preguiça, J.-M. Marquès, M. Shapiro, M. Leția. Int. Conf. on Distributed Computing Systems (ICDCS), Montréal, Canada, June 2009. [ DL_€ | preprint | bib ]
• Designing a commutative replicated data type. M. Shapiro, N. Preguiça. Rapport de recherche INRIA RR-6320, oct. 2007. [ DL_0 | preprint | bib ]

Strong consistency

• Consistency in 3D. M. Shapiro, M. Saeida Ardekani, G. Petri. Invited talk, Int. Conf. on Concurrency Theory (CONCUR 2016), Québec, QC, Canada. August 2016. [ slides | paper DL_0 | preprint | bib ]
• Cure: Strong semantics meets high availability and low latency. D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Nara, Japan, June 2016. [ DL_€ | preprint | bib ]
• The CISE Tool: Proving Weakly-Consistent Applications Correct M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro. W. on the Principles and Practice of Consistency for Distributed Data (PaPoC), London, UK, Apr. 2016. [ Inria Tech. Rep. n° RR-8870 | DL_0 | DL_€ | preprint | bib ]
• 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems. A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro. Symp. on Principles of Programming Languages, Jan. 2016. St. Petersburg, Florida, USA. [ DL_0 | DL_€ | preprint | CISE tool demo | bib ]
• Putting Consistency back into Eventual Consistency. V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira, M. Najafzadeh, M. Shapiro. Euro. Conf. on Computing Systems (EuroSys), Bordeaux, France, 21–24 April 2015. [ DL_0 | DL_€ | preprint | bib ]
• G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional Protocols. M. Saeida-Ardekani, P. Sutra, M. Shapiro. Middleware, Bordeaux, France, Dec. 2014. [ DL_0 | DL_€ | preprint | bib ]
• Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems. M. Saeida Ardekani, P. Sutra, M. Shapiro. Int. Symp. on Reliable Distributed Systems (SRDS), Oct. 2013, Braga, Portugal. [ DL_€ | preprint | bib ]
• Dagstuhl Seminar Review: Consistency in Distributed Systems. B. Kemme, G. Ramalingam, A. Schiper, M. Shapiro. Summary of Dagstuhl Seminar 13081 (Feb. 2013). SIGACT News 45(1) March 2014, pp. 66--89. An expanded version appears as: Dagstuhl Reports 3(2), 2013. [ DL_0 | DL_€ | preprint | bib ]
• On the Scalability of Snapshot Isolation. M. Saeida Ardekani, P. Sutra, M. Shapiro, N. Preguiça. Euro-Par 2013, Aachen, Germany, August 2013. [ Preprint | DL_€ | bib ]
• Gargamel: boosting DBMS performance by parallelising write transactions. P. Cincilla, S. Monnet, M. Shapiro. Int. Conf. on Parallel and Distr. Sys. (ICPADS), Singapore, Dec. 2012. [ Paper (preprint) | bibtex ]
• The Space Complexity of Transactional Interactive Reads. M. Saeida Ardekani, M. Zawirski, P. Sutra, M. Shapiro. Int. Workshop on Hot Topics in Cloud Data Processing (HotCDP), Bern, Switzerland, April 2012. [ DL_0 | DL_€ | preprint | bibtex ]
• Non-Monotonic Snapshot Isolation. M. Saeida Ardekani, P. Sutra, N. Preguiça, M. Shapiro. INRIA Technical Report RR-7805, November 2011. [ DL_0 | preprint | bib ]
• Fast Genuine Generalized Consensus. P. Sutra, M. Shapiro. Symposium on Reliable Distributed Systems (SRDS), Madrid, Spain, Oct. 2011. [ preprint | bib ]
• Impossibility of Genuine Replicated STM under SI. M. Saeida Ardekani, P. Sutra, M. Shapiro. TransForm/Euro-TM WTTM 2011, W. on the Theory of Transactional Memory, September, Rome, Italy (in conjunction with DISC 2011). [ preprint | bib ]
• Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messages. P. Sutra and M. Shapiro. Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Cap Estérel, France, May 2011. [ preprint | bib ]
• Fault-Tolerant Partial Replication in Large-Scale Database Systems. P. Sutra, M. Shapiro. Euro-Par 2008, Las Palmas de Gran Canaria, Spain, August 2008. [ DL_€ LNCS | preprint | bib ]
• Decentralised Commitment for Optimistic Semantic Replication. P. Sutra, J. Barreto, M. Shapiro. Int. Conf. on Co-operative Information Systems (CoopIS), nov. 2007 [ DL_€ LNCS | preprint | bib ]
• Comparing Optimistic Database Replication Techniques. P. Sutra, M. Shapiro. Bases de données avancées, oct. 2007. [ preprint | bib ]
• An asynchronous, decentralised commitment protocol for semantic optimistic replication. P. Sutra, J. Barreto and M. Shapiro. Rapport de Recherche RR-6069, INRIA Rocquencourt, December 2006. [ DL_0 | preprint | bib ]

Eventual consistency and geo-replication

• Consistency in 3D. M. Shapiro, M. Saeida Ardekani, G. Petri. Invited talk, Int. Conf. on Concurrency Theory (CONCUR 2016), Québec, QC, Canada. August 2016. [ slides | paper DL_0 | preprint | bib ]
• Cure: Strong semantics meets high availability and low latency. D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Nara, Japan, June 2016. [ DL_€ | preprint | bib ]
• PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation. A. Tomsic, T. Crain, M. Shapiro. W. on the Principles and Practice of Consistency for Distributed Data (PaPoC), London, UK, Apr. 2016. [ DL_0 | DL_€ | preprint | bib ]
• Geo-Replication: Fast If Possible, Consistent If Necessary. V. Balegas, C. Li, M. Najafzadeh, D. Porto, A. Clement,, S. Duarte, C. Ferreira, J. Gehrke, J. Leitão, N. Preguiça, R. Rodrigues, M. Shapiro, V. Vafeiadis. Bulletin of the Technical Committee on Data Engineering 39(1), IEEE Computer Society, March 2016. [ DL_0 | preprint | bib ]
• Cure: Strong semantics meets high availability and low latency. D. Akkoorath, A. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguiça, Nuno, M. Shapiro. Inria Technical Report (Rapport de Recherche) n° 8858, Feb. 2016. [ DL_0 | preprint | bib ]
• Write Fast, Read in the Past: Causal Consistency for Client-side Applications. . M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro. Annual ACM/IFIP/USENIX Middleware conference, Dec. 2015. Vancouver, BC, Canada. [ DL_0 | DL_€ | Extended Tech Report, Inria RR-8729 | preprint | bib ]
• Write Fast, Read in the Past: Causal Consistency for Client-side Applications. . M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro. Rapport de recherche INRIA RR-8729, May 2015. [ DL_0 | preprint | bib ]
• Designing a causally consistent protocol for geo-distributed partial replication. T. Crain, M. Shapiro. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Bordeaux, France, 21–24 April 2015. [ DL_0 | DL_€ | preprint | bib ]
• An empirical perspective on causal consistency. A. Z. Tomsic, T. Crain, M. Shapiro. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Bordeaux, France, 21–24 April 2015. [ DL_0 | DL_€ | preprint | bib ]
• Putting Consistency back into Eventual Consistency. V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira, M. Najafzadeh, M. Shapiro. Euro. Conf. on Computing Systems (EuroSys), Bordeaux, France, 21–24 April 2015. [ DL_0 | DL_€ | preprint | bib ]
• SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. M. Zawirski, V. Balegas, A. Bieniusa, N. Preguiça, S. Duarte, M. Shapiro, C. Baquero. Rapport de recherche INRIA RR-8347, Aug. 2014. [ DL_0 | preprint | bib ]
• A Semantically Rich Approach for Collaborative Model Edition. J. Michaux, X. Blanc, P. Sutra, M. Shapiro. Symp. on Applied Computing (SAC), March 2011, Taichung, Taiwan. [ DL_0 | DL_€ | preprint | bib ]
• Telex: A Semantic Platform for Cooperative Application Development. L. Benmouffok, Jean-M. Busca, J.-M. Marquès, M. Shapiro, P. Sutra, G. Tsoukalas. Conférence Française de Systèmes d'Exploitation (CFSE), Toulouse, September 2009. [ preprint | bib ]
• Optimistic Replication and Resolution. M. Shapiro. Encyclopædia of Database Systems, Springer, Sept. 2009. [ Encyclopedia | preprint | bib ]
• Eventual Consistency. M. Shapiro, B. Kemme. Encyclopædia of Database Systems, Springer, Sept. 2009. [ Encyclopedia | preprint | bib ]
• Telex: Principled System Support for Write-Sharing in Collaborative Applications. Lamia Benmouffok, Jean-Michel Busca, Joan Manuel Marquès, Marc Shapiro, Pierre Sutra, Georgios Tsoukalas. Rapport de recherche INRIA RR-6546, May. 2008. [ DL_0 | preprint | bib ]
• Semantic Middleware for Designing Collaborative Applications in Mobile Environment. Benmouffok, Busca, Shapiro. W. on Middleware for Network Eccentric and Mobile Apps. W. (MiNEMA), Magdebourg, Germany, Sept. 2007. [ preprint | bib ]
• Exploiting our computational surroundings for better mobile collaboration. J. Barreto, P. Ferreira, M. Shapiro. Int. Conf. on Mobile Data Management (MDM), Mannheim, Germany, May 2007. [ DL_€ | preprint | bib ]
• Optimistic Replication. Y. Saito, M. Shapiro. Computing Surveys, vol. 37, n° 1, pp. 42-81, March 2005. [ DL_0 | DL_€ | preprint | bib ]
• FEW: File Management for Portable Devices. N. Preguiça, C. Baquero, J. Legatheaux Martins, M. Shapiro, P. Sérgio Almeida, H. Domingos, V. Fonte, S. Duarte. Int. W. on Software Support for Portable Storage, March 2005. [ preprint | bib ]

Reconciliation of divergent replicas

• A grid based distributed cooperative environment for health care research. Felipe Maia, Rafael Araújo et al. Foundations of Health Information Engineering and Systems (FHIES), Paris, France, Aug. 2012. [ preprint | bib ]
• A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages. C.-L. Ignat, G. Oster, P. Molli, M. Cart, J. Ferrié, A.-M. Kermarrec, P. Sutra, M. Shapiro, L. Benmouffok, J.-M. Busca, R. Guerraoui. Int. Conf. on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), White Plains, NY, USA, nov. 2007. [ DL_€ | preprint | Preliminary version RR-6278 | bib ]
• An Application Framework for Collaborative, Nomadic Applications. J. O'Brien, M. Shapiro. Int. Conf. on Distributed Applications and Interoperable Systems (DAIS), Bologna, Italy, June 2006. [ DL_€ | preprint | bib ].
• The three dimensions of data consistency. M. Shapiro and N. Krishna. Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), CNAM, Paris, France, nov. 2005. [ preprint | bib | Slides ]
• Brief announcement: exploring the consistency problem space N. Krishna, M. Shapiro, K. Bhargavan. Symp. on Principles of Distributed Computing (PODC), Las Vegas, NV, USA, July 2005. [ DL_0 | DL_€ | bib ]
• Pushing log-based reconciliation. Y. Hamadi, M. Shapiro. International Journal on Artificial Intelligence Tools (IJAIT), Volume 14, Number 3-4, 445-458, 2005. [ DL_€ | preprint | bib ]
• A Constraint-based Formalism for Consistency in Replicated Systems . M. Shapiro, K. Bhargavan, N. Krishna. Int. Conf. on Principles of Distributed Systems (OPODIS), Grenoble, France, Dec. 2004. [ DL_€ | preprint | bib ]
• Undo for anyone, anywhere, anytime. J. O'Brien, M. Shapiro. SIGOPS European Workshop, Leuven, Belgium, Sept. 2004. [ DL_0 | DL_€ | preprint | bib ]
• An Application-Agnostic Replication System for Ubiquitous Computing . J. O'Brien, M. Shapiro. Technical report 2004-64, Microsoft Research, July 2004. [ preprint | bib ]
• A formalism for consistency and partial replication. M. Shapiro, K. Bhargavan, Y. Chong, Y. Hamadi. Microsoft Research Technical Report MSR-TR-2004-58, Cambridge, UK, June 2004. [ DL_0 | preprint | bib ]
• The Actions-Constraints approach to replication: Definitions and Proofs. M. Shapiro, K. Bhargavan. Microsoft Research Technical Report MSR-TR-2004-14, March 2004. [ DL_0 | preprint | bib ]
• Rufis: mobile data sharing using a generic constraint-oriented reconciler. M. Shapiro, N. Preguiça, J. O'Brien. Conf. on Mobile Data Management (MDM), Berkeley CA (USA), Jan. 2004. [ DL_€ | preprint | bib ]
• Semantics-based reconciliation for collaborative and mobile environments . N. Preguiça, M. Shapiro, C. Matheson. Conf. on Cooperative Information Systems (CoopIS), Catania, Italy, Nov. 2003. [ DL_€ | preprint | bib ]
• Automating semantics-based reconciliation for mobile transactions. N. Preguiça, M. Shapiro, J. Legatheaux Martins. Conf. française sur les systèmes d'exploitation (CFSE), La-Colle-sur-Loup, France, Oct. 2003. [ preprint | bib ]
• Efficient semantics-aware reconciliation for optimistic write sharing . N. Preguiça, M. Shapiro, C. Matheson. Microsoft Research Technical Report MSR-TR-2002-52, May 2002. [ DL_0 | preprint | bib ]
• The IceCube approach to the reconciliation of divergent replicas. Anne-M. Kermarrec, A. Rowstron, M. Shapiro, P. Druschel. Symp. on Principles of Dist. Comp. (PODC), Newport RI (USA), Aug. 2001. [ DL_0 | DL_€ | preprint | bib ]
• Application-independent reconciliation for nomadic applications. M. Shapiro, A. Rowstron, A.-M. Kermarrec. SIGOPS European Workshop on ``Beyond the PC: New Challenges for the Operating System'', Kolding (Denmark), Sept. 2000. [ DL_0 | DL_€ | preprint | bib ]

Persistent Distributed Store

• Experience with the PerDiS large-scale data-sharing middleware. M. Shapiro, P. Ferreira, N. Richer. Int. W. on Persistent Object Systems (POS), Lillehammer (Norway), September 2000. [ DL_€ | preprint | bib ]
• The memory behavior of the WWW, or: The WWW considered as a persistent store . M. Shapiro, N. Richer. Int. W. on Persistent Object Systems (POS), Lillehammer (Norway), September 2000. [ DL_€ | preprint | bib ]
• Le partage d'informations dans les systèmes répartis grande échelle. M. Shapiro. In ``Informatiques, enjeux tendances et évolutions'', Techniques et Sciences Informatiques 19(1-2-3), pp. 455--462, Hermès Science, Jan. 2000. [ preprint | bib ]
• PerDiS: design, implementation, and use of a PERsistent DIstributed Store . P. Ferreira, M. Shapiro, et al. In S. Krakowiak and S.K. Shrivashtava, editors, Recent Advances in Distributed Systems, Lecture Notes in Computer Science vol. 1752, Springer-Verlag, February 2000. [ Book | DL_€ | preprint | bib ]
• Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector . Shapiro, Ferreira. 9th WDAG, Sept. 1995, Le Mont Saint-Michel, France. [ DL_€ | preprint | bib ]

Garbage Collection for Cached Stores and Distributed Shared Memory:

• Assessing the Scalability of Garbage Collectors on Many Cores. L. Gidra, G. Thomas, J. Sopena, M. Shapiro. Best papers from SOSP Workshop on Programming Languages and Operating Systems (PLOS), Cascais, Portugal. October 2011. [ DL_0 | DL_€ | preprint | bib ]
• Recent Advances in Distributed Garbage Collection, Shapiro, le Fessant, Ferreira. In S. Krakowiak and S.K. Shrivashtava, editors, Recent Advances in Distributed Systems, Lecture Notes in Computer Science, volume 1752, Springer-Verlag, February 2000. [ Book | DL_€ | preprint | bib ]
• Implementing Garbage Collection in the PerDiS system . X. Blondel, P. Ferreira, M. Shapiro. International Workshop on Persistent Object Systems, August 1998. [ preprint | bib ]
• Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proof . P. Ferreira, M. Shapiro. Euro. Conf on Object-Oriented Programming (ECOOP), Brussels (Belgium), July 1998. [ DL_€ | preprint | bib ]
• PerDiS PPF Case Study: Fitting a Distributed Garbage Collection Algorithm to a Persistent Distributed Store Architecture. X. Blondel, P. Ferreira, M. Shapiro. OOPSLA W. on Garbage Collection and Memory Management, October 1997. [ preprint | bib ]
• Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage Collection. P. Ferreira, M. Shapiro. 16th Int. Conf. on Dist. Comp. Sys. (ICDCS), May 1996, Hong Kong. [ DL_€ | preprint | bib ]
• Garbage Collection in the Larchant Persistent Distributed Shared Store. P. Ferreira, M. Shapiro. 5th W. on Future Trends in Dist. Comp. Sys. (FTDCS), August 1995, Cheju Island, Korea. [ preprint | bib ]
• Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector. M. Shapiro, P. Ferreira. 9th Workshop on Distributed Algorithms and Graphs (WDAG) [now DISC] Sept. 1995, Le Mont Saint-Michel, France. [ preprint | bib ]
• Garbage Collection and DSM Consistency. P. Ferreira, M. Shapiro. Symp. on Operating Systems Design and Implementation (OSDI), November 1994, Monterey, CA (USA). [ DL_0 | preprint | bib ]
• Garbage Collection of Persistent Objects in Distributed Shared Memory . P. Ferreira, M. Shapiro. Int. W. on Persistent Object Systems (POS), Tarascon, France, September 1994. [ preprint | bib ]
• Evaluating Garbage Collectors for Large Persistent Stores. L. Amsaleg, P. Ferreira, M. Franklin, M. Shapiro. OOPSLA Wksh. on Object Database Behavior, Benchmarks, and Performance, Austin TX (USA), October 1995. [ preprint | bib ]

Garbage Collection in a Classical Distributed System:

• Recent Advances in Distributed Garbage Collection, Shapiro, le Fessant, Ferreira. In S. Krakowiak and S.K. Shrivashtava, editors, Recent Advances in Distributed Systems, Lecture Notes in Computer Science, volume 1752, Springer-Verlag, February 2000. [ Book | DL_€ | preprint | bib ]
• An implementation of complete, asynchronous, distributed garbage collection . F. le Fessant, I. Piumarta, M. Shapiro. Programming Languages Design and Implementation (PLDI), June 1998. [ DL_0 | DL_€ | preprint | bib ]
• A Survey of Distributed Garbage Collection Techniques. D. Plainfossé, M. Shapiro. Int. Workshop on Memory Mgt. (IWMM), Kinross, September 1995. [ DL_€ | preprint | bib ]
• Some Key Issues in the Design of Distributed Garbage Collection and References . M. Shapiro, D. Plainfossé, P. Ferreira, L. Amsaleg. Dagstuhl seminar on Unifying Theory and Practice in Dist. Systems , Dagstuhl, September 1994. [ preprint | bib ]
• SSP Chains: Robust, Distributed References Supporting Acyclic Garbage Collection . Shapiro, Dickman, Plainfossé. Rapport de Recherche INRIA 1799 and Broadcast Technical Report no. n1. Note: Corrects bugs, supersedes the article at PODC (Principles of Distributed Computing) 1992, Vancouver BC, Canada. [ preprint | bib ]
Robust, Distributed References Supporting Acyclic Garbage Collection . M. Shapiro, P. Dickman, D. Plainfossé. Symp. on Principles of Distributed Computing (PODC) 1992, Vancouver BC, Canada. Corrigendum: see Rapport de Recherche 1799. [ DL_0 | DL_€ | bib ]
• Experience with a Fault-Tolerant Garbage Collector in a Distributed Lisp System D. Plainfossé, M. Shapiro. Int. Workshop on Memory Mgt. (IWMM), Saint-Malo, Sept. 1992. [ preprint | BibTeX ]
• A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol M. Shapiro. Symp. on Reliable Distributed Sytems (SRDS), Pisa, Italy Nov. 1991. [ DL_€ | preprint | bib ]

Distributed Objects:

• La gestion des objets dans les systèmes répartis de grande échelle . M. Shapiro. Habilitation à diriger les recherches, Université Paris VI - Pierre et Marie Curie, Paris, France, November 2002. [ More info | preprint | bib ]
• A Binding Protocol for Distributed Shared Objects. M. Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Poznan, Poland, June 1994. [ DL_€ | preprint | bib ]
• Fragmented Objects for Distributed Abstractions. Mesaac Makpangou, Yvon Gourhant, Jean-Pierre le Narzul, Marc Shapiro. In Readings in Distributed Computing Systems, Casavant and M. Singhal, ed., IEEE Computer Society Press, 1994. [ bib ]
• Contrasting Fragmented Objects with Uniform Transparent Object References. P. Dickman, M. Makpangou, M. Shapiro. SIGOPS European Workshop on ``Models and Paradigms for Distributed Systems Structuring,'' Le Mont Saint-Michel, France, Sept. 1992. [ DL_0 | DL_€ | bib ]
• Soul: An Object-Oriented OS Framework for Object Support. M. Shapiro. W. on Operating Systems for the Nineties and Beyond, Dagstuhl Castle, Germany, July 1991. [ DL_€ | bib ]
• SOS: An object-oriented operating system --- assessment and perspectives. Shapiro et al. Computing Systems 2(4), Fall 1989. [ DL_0 | preprint (340Kb) | BibTeX ]
• Persistence and migration for C++ objects. M. Shapiro, P. Gautron, L. Mosseri. European Conf. on Object-Oriented Programming (ECOOP), Nottingham, UK, 1989. [ preprint | bib ]
• Domains and dynamic loading: reconciling autonomy and integration. M. Shapiro. ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems? Cambridge, UK, Sept. 1988. [ DL_0 | DL_€ | bib ]
• Structure and Encapsulation in Distributed Systems: the Proxy Principle . M. Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Cambridge MA (USA), May 1986. [ preprint | bib ]
• SOS: a distributed object-oriented operating system M. Shapiro. ACM Sigops European Workshop on ``Making Distributed Systems Work''. Amsterdam, the Netherlands, Sept. 1986. [ Workshop report | DL_0 | DL_€ | bib ]
• An experiment in distributed program design, using control enrichment. M. Shapiro. Int. Conf. on Dist. Computing Syst. (ICDCS), Miami-Ft. Lauderdale, FL, USA, Oct. 1982. [ bib ]

Other research:

• Generic Virtual Memory Management in Operating Systems Kernels. V. Abrossimov, M. Rozier, M. Shapiro. 12th ACM Symp. on Operating Systems Principles (SOSP), Phoenix, December 1989. [ DL_0 | DL_€ | preprint | bib ]
• Le service d'appel de procédure distante Girolle , M. Shapiro. Technique et Science Informatiques (TSI), 3(6), Dec. 1984. [ Journal | bib ]
• The contributions of an object-oriented approach to the programming of distributed applications. M. Shapiro. In Jean Bézivin and Pierre Cointe, editors, Journée d'Étude sur les Langages Orientés Objet, number 37 in BIGRE, pages 149-159, Le Cap d'Agde, France, October 1983. AFCET-Informatique.
• Fault tolerance in Rebus, a distributed system for industrial real time control. J.M. Ayache, B. Carrichon, J.P. Courtiat, M. Diaz, B. Potin, and M. Shapiro. In Symp. on Fault-Tolerant Computing (FTCS-11), Portland, Maine, USA, June 1981.
• A distributed control system for industrial plants. J. M. Ayache, B. Carrichon, M. Devy, M. Diaz, B. Potin, and M. Shapiro. In Euromicro 80 Conference, London, United Kingdom, September 1980.
• Une méthode de conception progressive des systèmes parallèles utilisant le langage C.S.P. M. Shapiro. PhD thesis (Thèse de docteur-ingénieur), Institut National Polytechnique de Toulouse, E.N.S.E.E.I.H.T., Toulouse, France, September 1980.

Organising the Systems research community in Europe:

• What's wrong with us? M. Shapiro. IEEE Distributed Systems Online, vol. 7, no. 5, May 2006, art. no. 0506-o5003. [ DL_0 | bib ]
• Fostering Systems Research in Europe. P. Druschel, R. Isaacs, T. Gross M. Shapiro. EuroSys White Paper. EuroSys, the European Professional Society in Systems, April 2006. [ preprint | bib ]
• Systems research, education and industry in Europe. M. Shapiro, Y. Berbers, W. Zwaenepoel, T. Harris. Text submitted to the European Commission by EuroSys, June 2005. [ preprint | bib ]
• Strengths & weaknesses of European systems research -- and what to do about it . Panel discussion on "Systems research in Europe", SIGOPS European Workshop, Leuven, Belgium (Sept. 2004). [ Slides ]
• Summary of the Sixth SIGOPS European Wksh. on ``Matching Operating Systems to Application Needs.'' M. Shapiro. Operating Systems Review 29(1), p. 47--51. [ DL_0 | DL_€ | bib ]