Publications of Marc Shapiro

Selected papers and presentations:

Twelve major publications
Recent papers
Videos
Blog posts

(Almost) Full list, by topic:

Verification of distributed data systems
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

Author pages in public archives:

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: author-version preprint.

Videos

“Living on the edge, safely”, Collège de France , 12 May 2019. Closing symposium of Rachid Guerraoui's course on distributed algorithms

“Just-Right Consistency and Antidote”, dotScale, 1 June 2018

Just-Right Consistency explained

The CISE approach for proving a distributed application correct

Major publications

In reverse chronological order:

'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 | slides PDF | 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 | slides pptx | slides pdf | 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 | slides pptx | slides pdf | 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 | slides pptx | slides pdf | 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 | slides pptx | slides pdf | 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 ]

Blog posts

Living at the edge, safely. LightKone blog, May 2019. [ bib ]
Ensuring referential integrity under causal consistency Delys blog, April 2018.
Affelnet : de l’infinie souplesse du logiciel (July 2014)

Concurrent algorithms in shared memory

Persistent Memory Programming Abstractions in Context of Concurrent Applications. A Singh, M. Shapiro, G. Thomas. Student Research Symp. at Int. Conf. on High Perf. Comp., Data, and Analytics (HiPC SRS 2017). [ DL_0 | 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 | slides pptx | slides pdf | 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 ]

Verification of distributed data systems

Specification of a Transactionally and Causally-Consistent ({TCC}) database. S. Hatia, M. Shapiro. Rapport de recherche Inria RR-9355. July 2020, Paris, France. [ preprint | DL_0 | bib ]
Proving the safety of highly-available distributed objects. S. Nair, G. Petri, M. Shapiro. 29th European Symposium on Programming; April 2020; Dublin, Ireland (canceled due to Covid-19). [ DL_€ | DL_0 | preprint | bib ]
Invariant Safety for Distributed Applications. S. Nair, G. Petri, M. Shapiro. W. on Principles and Practice of Consistency for Distributed Data (PaPoC 2019); Mar. 2019; Dresden, Germany. [ preprint | bib ]
Just-Right Consistency: reconciling availability and safety. M. Shapiro, A. Bieniusa, N. Preguiça, V. Balegas, C. Meiklejohn. Rapport de recherche Inria n° 9145, Jan. 2018. [ DL_0 | preprint | slides keynote | slides pdf | bib ]
Co-Design and Verification of an Available File System. M. Najafzadeh, M. Shapiro, P. Eugster. Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles CA USA, Jan. 2018. [ DL_€ | preprint | slides keynote | slides pdf | 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 ]
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 ]
'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 | slides PDF | 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, April 2015. [ DL_0 | DL_€ | preprint | slides pptx | slides pdf | 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 ]

Conflict-free Replicated Data Types (CRDTs)

Conflict-Free Replicated Data Types (CRDTs). N. Preguiça, C. Baquero, M. Shapiro. In Encyclopedia of Big Data Technologies, Springer, 2018. [ DL_€ | preprint | bib ]
Co-Design and Verification of an Available File System. M. Najafzadeh, M. Shapiro, P. Eugster. Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles CA USA, Jan. 2018. [ DL_€ | preprint | slides keynote | slides pdf | bib ]
Technical Perspective: Unexpected connections. M. Shapiro. Communications of the ACM (CACM) vol. 60, number 8, Aug. 2017. [ DL_0 | DL_€ | 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 ]
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 | slides PDF | 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. [ DL_€ | 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 pptx | 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

Distributed transactional reads: the strong, the quick, the fresh & the impossible. A. Z. Tomsic, M. Bravo, M. Shapiro. 2018 ACM/IFIP/USENIX International Middleware Conference; December 2018; Rennes, France. [ preprint | bib ]
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). A. Bieniusa, A. Gotsman, B. Kemme, M. Shapiro. Summary of Dagstuhl Seminar 18091. In Dagstuhl Reports 8(2), 2018. [ DL_0 | preprint | bib ]
Database consistency models. M. Shapiro, P. Sutra. In Encyclopedia of Big Data Technologies, Springer, 2018. [ DL_€ | preprint | bib ]
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. | paper DL_0 | preprint [ slides (PDF) | 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. Preguiç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 | slides PDF | 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 | slides pptx | slides pdf | 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 | slides pptx | slides pdf | 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. [ 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

Specification of a Transactionally and Causally-Consistent ({TCC}) database. S. Hatia, M. Shapiro. Rapport de recherche Inria RR-9355. July 2020, Paris, France. [ preprint | DL_0 | bib ]
Towards application-specific query processing systems. D. Vasilas, M. Shapiro, B. King, S. S. Hamouda. 36ème Conf. sur la Gestion de Données --- Principes, Technologies et Applications (BDA)}; Oct. 2020; Online. [ DL_0 | preprint | bib ]
Distributed transactional reads: the strong, the quick, the fresh & the impossible. A. Z. Tomsic, M. Bravo, M. Shapiro. 2018 ACM/IFIP/USENIX International Middleware Conference; December 2018; Rennes, France. [ preprint | bib ]
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). A. Bieniusa, A. Gotsman, B. Kemme, M. Shapiro. Summary of Dagstuhl Seminar 18091. In Dagstuhl Reports 8(2), 2018. [ DL_0 | preprint | bib ]
Database consistency models. M. Shapiro, P. Sutra. In Encyclopedia of Big Data Technologies, Springer, 2018. [ DL_€ | preprint | bib ]
Ensuring referential integrity under causal consistency. M. Shapiro, A. Bieniusa, P. Zeller, G. Petri. 5th W. on Principles and Practice of Consistency for Distributed Data (PaPoC 2018), Porto, Portugal. [ DL_0 | DL_€ | preprint | bib ]
A Modular Design for Geo-Distributed Querying: Work in Progress Report D. Vasilas, M. Shapiro, B. King 5th W. on Principles and Practice of Consistency for Distributed Data (PaPoC 2018), Porto, Portugal. [ DL_0 | DL_€ | preprint | bib ]
Just-Right Consistency: reconciling availability and safety. M. Shapiro, A. Bieniusa, N. Preguiça, V. Balegas, C. Meiklejohn. Rapport de recherche Inria n° 9145, Jan. 2018. [ DL_0 | preprint | slides keynote | slides pdf | bib ]
Co-Design and Verification of an Available File System. M. Najafzadeh, M. Shapiro, P. Eugster. Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles CA USA, Jan. 2018. [ DL_€ | preprint | slides keynote | slides pdf | bib ]
Chapters in Encyclopedia of database systems, Springer, 2017:
- Replicated Data Types. M. Shapiro. [ DL_€ | preprint | bib ]
- Eventual Consistency. M. Shapiro and B. Kemme. [ DL_€ | preprint | bib ]
- Optimistic Replication and Resolution. M. Shapiro. [ DL_€ | preprint | bib ]
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. [ DL_0 | preprint | slides | 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. Preguiç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 | slides pptx | slides pdf | 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 | slides pptx | slides pdf | 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

Co-Design and Verification of an Available File System. M. Najafzadeh, M. Shapiro, P. Eugster. Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles CA USA, Jan. 2018. [ DL_€ | preprint | slides keynote | slides pdf | bib ]
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:

Ensuring referential integrity under causal consistency. M. Shapiro, A. Bieniusa, P. Zeller, G. Petri. 5th W. on Principles and Practice of Consistency for Distributed Data (PaPoC 2018), Porto, Portugal. [ 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 ]
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

Corrigendum:

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:

Towards application-specific query processing systems. D. Vasilas, M. Shapiro, B. King, S. S. Hamouda. 36ème Conf. sur la Gestion de Données --- Principes, Technologies et Applications (BDA)}; Oct. 2020; Online. [ DL_0 | preprint | bib ]
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:

Highlighting the container memory consolidation problems in Linux. F. Laniel, D. Carver, J. Sopena, F. Wajsburt, J. Lejeune, M. Shapiro. In 18th IEEE Int. Symp. on Network Computing and Applications (NCA 2019) ; Sept. 2018, Cambridge MA USA. [ preprint | DL_€ | bib ]
A Modular Design for Geo-Distributed Querying: Work in Progress Report D. Vasilas, M. Shapiro, B. King 5th W. on Principles and Practice of Consistency for Distributed Data (PaPoC 2018), Porto, Portugal. [ DL_0 | DL_€ | 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 ]
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:

(See also the ACM Europe Council, as well as EuroSys, the European professional society in Systems, and SIGOPS, the ACM Special Interest Group on Operating Systems.)

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 (PDF) ]
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 ]

Marc.Shapiro =at= acm.org