B. Martin, L. Prosperi, M. Shapiro : “Transactional-Turn Causal Consistency”, Lecture Notes in Computer Science (LNCS), Limassol, Cyprus, (Springer) (2023)
L. Prosperi, Ah. Bouajjani, M. Shapiro : “Varda: A Framework for Compositional Distributed Programming”, NETYS 2022: The 10th International Conference on Networked Systems, vol. 13464, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 16-30, (Springer International Publishing), (ISBN: 978-3-031-17436-0) (2022)
R. Vaillant, D. Vasilas, M. Shapiro, Th. Nguyen : “CRDTs for truly concurrent file systems”, HotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Virtual, France (2021)
J. Sid‑Otmane, S. Imadali, F. Martelli, M. Shapiro : “Data Consistency in the 5G Specification”, ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Paris, France, pp. 110-117, (IEEE) (2020)
2019
F. Laniel, D. Carver, J. Sopena, F. Wajsbürt, J. Lejeune, M. Shapiro : “Highlighting the Container Memory Consolidation Problems in Linux”, NCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Cambridge, United States, pp. 1-4, (IEEE) (2019)
S. Nair, G. Petri, M. Shapiro : “Invariant Safety for Distributed Applications”, Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Dresden, Germany (2019)
N. Preguiça, C. Baquero, M. Shapiro : “Conflict-free Replicated Data Types (CRDTs)”, chapter in Encyclopedia of Big Data Technologies, Encyclopedia of Big Data Technologies, (Springer International Publishing), (ISBN: 978-3-319-63962-8) (2019)
M. Shapiro, P. Sutra : “Database Consistency Models”, chapter in Encyclopedia of Big Data Technologies, (Springer), (ISBN: 978-3-319-63962-8) (2019)
M. Najafzadeh, M. Shapiro, P. Eugster : “Co-Design and Verification of an Available File System”, VMCAI 2018 - International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 10747, Lecture Notes in Computer Science, Los Angeles, CA, United States, pp. 358-381, (Springer) (2018)
M. Shapiro, B. Kemme : “Eventual Consistency”, chapter in Encyclopedia of Database Systems, pp. 1-2, (Springer), (ISBN: 978-1-4899-7993-3) (2017)
2016
L. Briot, P. Urso, M. Shapiro : “High Responsiveness for Group Editing CRDTs”, ACM International Conference on Supporting Group Work, Sanibel Island, FL, United States (2016)
M. Shapiro, M. Saeida Ardekani, G. Petri : “Consistency in 3D”, (2016)
D. Akkoorath, A. Tomsic, M. Bravo, Zh. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro : “Cure: Strong semantics meets high availability and low latency”, Int. Conf. on Distributed Computing Systems (ICDCS), Nara, Japan, pp. 405-414, (IEEE) (2016)
M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro : “Eventually Consistent Register Revisited”, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), vol. PaPoC 2016, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), London, United Kingdom, pp. 7 (2016)
M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro : “The CISE Tool: Proving Weakly-Consistent Applications Correct”, PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Londres, United Kingdom, (ACM) (2016)
V. Balegas, Ch. 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 : “Geo-Replication: Fast If Possible, Consistent If Necessary”, Bulletin of the Technical Committee on Data Engineering, vol. 39 (1), IEEE Data Engineering Bulletin, Special Issue on Data Consistency across Research Communities, pp. 12, (IEEE Computer Society) (2016)
A. Tomsic, T. Crain, M. Shapiro : “An empirical perspective on causal consistency”, W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Bordeaux, France, pp. 2:1-2:3, (ACM) (2015)
L. Gidra, G. Thomas, J. Sopena, M. Shapiro, Nh. Nguyen : “NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines”, Architectural Support for Programming Languages and Operating Systems (ASPLOS), Istanbul, Türkiye, pp. 661-673, (ACM) (2015)
V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, M. Najafzadeh, M. Shapiro, N. Preguiça : “Towards Fast Invariant Preservation in Geo-replicated Systems”, Operating Systems Review, vol. 49 (1), ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts, pp. 5, (Association for Computing Machinery) (2015)
V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro : “Putting Consistency back into Eventual Consistency”, European Conference on Computer Systems (EuroSys), Bordeaux, France, pp. 6:1-6:16, (ACM) (2015)
M. Shapiro, M. Aguilera, L. Querzoni : “Principles of Distributed Systems, 18th Int. Conf. on (OPODIS 2014)”, OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, vol. 8878, Lecture Notes in Computer Science, Cortina d'Ampezzo, Italy, (Springer-Verlag) (2014)
M. Shapiro, M. Saeida Ardekani, P. Sutra : “Exploring the spectrum of strongly-consistent transactional protocols”, Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Cambridge, United Kingdom (2014)
V. Balegas, M. Najafzadeh, S. Duarte, C. Ferreira, M. Shapiro, R. Rodrigues, N. Preguiça : “Putting the Consistency Back Into Eventual Consistency”, Large-Scale Distributed Systems and Middleware (LADIS) 2014, Large-Scale Distributed Systems and Middleware (LADIS) 2014, Cambridge, United Kingdom (2014)
V. Balegas, N. Preguiça, S. Duarte, C. Ferreira, R. Rodrigues, M. Najafzadeh, M. Shapiro : “The Case for Fast and Invariant-Preserving Geo-Replication”, SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, Reliable Distributed Systems Workshops (SRDSW), 2014 IEEE 33rd International Symposium on, Nara, Japan, pp. 5, (IEEE) (2014)
M. Saeida Ardekani, P. Sutra, M. Shapiro, N. Preguiça : “On the Scalability of Snapshot Isolation”, Euro-Par 2013 - 19th International Conference Parallel Processing, vol. 8097, Lecture Notes in Computer Science, Aachen, Germany, pp. 369-381, (Springer) (2013)
B. Kemme, G. Ramalingam, A. Schiper, M. Shapiro, K. Vaswani : “Consistency in Distributed Systems”, Dagstuhl Reports, vol. 3 (2), pp. 92-126, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2013)
L. Gidra, G. Thomas, J. Sopena, M. Shapiro : “A study of the scalability of stop-the-world garbage collectors on multicores”, ASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Houston, United States, pp. 229-240, (ACM) (2013)
A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero, V. Balegas, S. Duarte : “Brief Announcement: Semantics of Eventually Consistent Replicated Sets”, DISC 2012 - 26th International Symposium on Distributed Computing, vol. 7611, Lecture Notes in Computer Science, Salvador, Bahia, Brazil, pp. 441-442, (Springer) (2012)
F. Maia, R. Araújo, L. Muniz, R. Zirtany, L. Coutinho, S. Vale, F. Silva, P. Cincilla, I. Chabbouh, S. Monnet, L. Arantes, M. Shapiro : “A Grid Based Distributed Cooperative Environment for Health Care Research”, FHIES 2012 - Second International Symposium Foundations of Health Information Engineering and Systems, vol. 7789, Lecture Notes in Computer Science, Paris, France, pp. 142-150, (Springer) (2012)
M. Saeida Ardekani, M. Zawirski, P. Sutra, M. Shapiro : “The Space Complexity of Transactional Interactive Reads”, HotCDP '12 - 1st International Workshop on Hot Topics in Cloud Data Processing, Bern, Switzerland, (ACM) (2012)
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski : “Conflict-free Replicated Data Types”, SSS 2011 - 13th International Symposium Stabilization, Safety, and Security of Distributed Systems, vol. 6976, Lecture Notes in Computer Science, Grenoble, France, pp. 386-400, (Springer) (2011)
P. Sutra, M. Shapiro : “Fast Genuine Generalized Consensus”, SRDS 2011 - 30th IEEE Symposium on Reliable Distributed Systems, Madrid, Spain, pp. 255-264, (IEEE Computer Society) (2011)
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski : “Convergent and Commutative Replicated Data Types”, Bulletin- European Association for Theoretical Computer Science n°104, pp. 67-88, (European Association for Theoretical Computer Science; 1999) (2011)
J. Michaux, X. Blanc, P. Sutra, M. Shapiro : “A Semantically Rich Approach for Collaborative Model Edition”, Symp. on Applied Computing (SAC), vol. 26, Taichung, Taiwan, Province of China, pp. 1470-1475, (Assoc. for Computing Machinery) (2011)
M. LeÈ›ia, N. Preguiça, M. Shapiro : “Consistency without concurrency control in large, dynamic systems”, LADIS 2009 - 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware, vol. 44 (2), Operating Systems Review, Big Sky, MT, United States, pp. 29-34, (Assoc. for Computing Machinery) (2010)
P. Sutra, J. Barreto, M. Shapiro : “Decentralised Commitment for Optimistic Semantic Replication”, International Conference on Cooperative Information Systems (CoopIS), vol. 4803, Lecture Notes in Computer Science, Vilamoura, Algarve, Portugal, pp. 318-335, (Springer) (2007)
M. Shapiro : “What’s wrong with us?”, IEEE Distributed Systems Online, vol. 7 (5), (Institute of Electrical and Electronics Engineers (IEEE)) (2006)
M. Shapiro : “Practical proofs of concurrent programs”, Int. Conf. on Functional Programming (ICFP), Portland, Oregon, United States, pp. 123-123, (Assoc. for Computing Machinery) (2006)
J. O'Brien, M. Shapiro : “An Application Framework for Nomadic, Collaborative Applications”, DAIS 2006 - 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, vol. 4025, Lecture Notes in Computer Science, Bologna, Italy, pp. 48-63, (Springer) (2006)
V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro : “Proving Correctness of Highly-Concurrent Linearisable Objects”, PPoPP 2006 - 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, New York, United States, pp. 129-136, (ACM) (2006)
N. Krishna, M. Shapiro, K. Bhargavan : “Brief announcement: Exploring the Consistency Problem Space”, PODC 2005 - 24th annual ACM symposium on Principles Of Distributed Computing, Las Vegas, Nevada, United States, pp. 168-168, (ACM) (2005)
N. Preguiça, C. Baquero, J. Legatheaux Martins, M. Shapiro, P. Almeida, H. Domingos, V. Fonte, S. Duarte : “FEW: File Management for Portable Devices”, International Workshop on Software Support for Portable Storage, San Francisco, CA, United States (2005)
Y. Saito, M. Shapiro : “Optimistic Replication”, ACM Computing Surveys, vol. 37 (1), pp. 42-81, (Association for Computing Machinery) (2005)
Y. Hamadi, M. Shapiro : “Pushing log-based reconciliation”, International Journal on Artificial Intelligence Tools, vol. 14 (3--4), pp. 445-458, (World Scientific Publishing) (2005)
2004
M. Shapiro, K. Bhargavan, N. Krishna : “A Constraint-based Formalism for Consistency in Replicated Systems”, OPODIS 2004 - 8th International Conference on Principles of Distributed Systems, vol. 3544, Lecture Notes in Computer Science, Grenoble, France, pp. 331-345 (2004)
M. Shapiro, Y. Saito : “Scaling Optimistic Replication”, Worskshop on Future Directions in Distributed Computing (FuDiCo 2002): Research and Position Papers, vol. 2584, lncs, Bertinoro, Forlì, Italy, Italy, pp. 164-168, (springer) (2002)
M. Shapiro, P. Ferreira, N. Richer : “Experience with the PerDiS large-scale data-sharing middleware”, 9th International Workshop on Persistent Object Systems (POS), vol. 2135, Lecture Notes in Computer Science, Lillehammer, Norway, pp. 55-69, (Springer-Verlag) (2000)
P. Ferreira, M. Shapiro, X. Blondel, O. Fambon, J. Garcia, S. Kloosterman, N. Richer, M. Roberts, F. Sandakly, G. Coulouris, J. Dollimore, P. Guedes, D. Hagimont, S. Krakowiak : “PerDiS: design, implementation, and use of a PERsistent DIstributed Store”, chapter in Recent Advances in Distributed Systems, vol. 1752, Lecture Notes in Computer Science, pp. 427-452, (Springer-Verlag) (2000)
X. Blondel, P. Ferreira, M. Shapiro : “Implementing Garbage Collection in the PerDiS system”, Proceedings of the Eighth International Workshop on Persistent Object Systems, Tiburon CA, USA, United States (1998)
D. Plainfosse, M. Shapiro : “A Survey of Distributed Garbage Collection Techniques”, Int. W. on Memory Management (IWMM), vol. 986, Lecture Notes in Comp. Sc., Kinross, United Kingdom, pp. 211-249, (Springer-Verlag) (1995)
L. Amsaleg, P. Ferreira, M. Franklin, M. Shapiro : “Evaluating Garbage Collectors for Large Persistence Stores”, OOPSLA Workshop on Object Database Behavior, Benchmarks, and Performance, Addendum to the Proceedings, Austin TX, USA, United States (1995)
D. Plainfosse, M. Shapiro : “A Survey of Distributed Garbage Collection Techniques”, Second Closed BROADCAST Workshop, vol. 986, Lecture Notes in Computer Science, Bruxelles, Belgique, Belgium, pp. 211-249, (Springer Berlin Heidelberg) (1994)
M. Makpangou, Y. Gourhant, J.‑P. Le Narzul, M. Shapiro : “Fragmented Objects for Distributed Abstractions”, chapitre de Readings in Distributed Computing Systems, pp. 170-186, (IEEE Computer Society Press) (1994)
J. Maisonneuve, M. Shapiro, P. Collet : “Implementing References as Chains of Links”, Second International Workshop on Object Orientation in Operating Systems - IWOOOS 1992, Dourdan, France, France, pp. 236-243, (ieeecsp) (1992)
D. Plainfosse, M. Shapiro : “A Distributed GC in an Object-oriented Operating System”, IWOOOS 1992 - Second International Workshop on Object Orientation in Operating Systems, Dourdan, France, France, pp. 221-229, (ieeecsp) (1992)
D. Plainfosse, M. Shapiro : “Distributed Garbage Collection in the System is Good”, International Workshop on Object Orientation in Operating Systems- IWOOOS 91, Palo Alto CA, USA, United States, pp. 94-99 (1991)
M. Shapiro : “Soul: An Object-Oriented OS Framework for Object Support”, W. on Operating Systems for the Nineties and Beyond, vol. 1991 (563), Lecture Notes in Comp. Sc., Dagstuhl Castle, Germany, pp. 251-255, (Springer-Verlag) (1991)
M. Shapiro : “Object-Support Operating Systems”, IEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, vol. 5 (1), pp. 39-42, (IEEE Computer Society) (1991)
M. Shapiro : “Systèmes d’Objets Rèpartis”, IEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, vol. 5 (2), pp. 12-14, (IEEE Computer Society) (1991)
M. Shapiro : “Object-Support Operating Systems”, Workshop on Operating Systems and Object Orientation at ECOOP-OOPSLA 1990, Ottawa, Canada, Canada (1990)
M. Shapiro, L. Mosseri : “A simple object storage system”, Proceedings of the Third International Workshop on Persistent Object Systems : POS-3, Newcastle NSW, Australia, Australia, pp. 320-327 (1989)
M. Shapiro, Ph. Gautron, L. Mosseri : “Persistence and Migration for C++ Objects”, ECOOP'89, Proc. of the Third European Conf.on Object-Oriented Programming, British Computer Society Workshop Series, Nottingham, GB, United Kingdom, pp. 191-204, (Cambridge University Society) (1989)