Directeur de Recherche Émérite Équipe : DELYS Sorbonne Université - LIP6 Boîte courrier 169 Couloir 26-00, Étage 2, Bureau 211 4 place Jussieu 75252 PARIS CEDEX 05 Tel: 01 44 27 70 93 https://pages.lip6.fr/Marc.Shapiro
Un doctorant (Direction de recherche / Co-encadrement)
PANDEY Ayush : Optimising Coordination in Concurrent and Geo-Distributed Systems.
Dix-huit docteurs (2000 - 2023) à Sorbonne Université
2023
PROSPERI Laurent : Varda: un langage pour la programmation de systèmes distribués par composition.
HATIA Saalik : Utilisation de spécifications formelle pour implémenter un backend de base de données.
MARTIN Benoît : Cohérence Causal Transactionnel par Tour.
2021
TOUMLILT Ilyas : Colony : Un système hautement disponible et à cohérence hybride, pour les applications collaboratives en bordure de réseau.
SID-OTMANE Jonathan : Étude des contraintes de cohérence des données dans la 5G, appliquée aux limitations d'usage de ressources dans les slices réseau.
NAIR Sreeja : Concevoir des applications distribuées sûres et hautement disponibles.
VASILAS Dimitrios : Une approche flexible et décentralisée du traitement de requêtes dans les systèmes géo-distribués.
2020
LANIEL Francis : MemOpLight : Vers une consolidation mémoire pour les conteneurs grâce à un retour applicatif.
2018
TOMSIC Alejandro Zlatko : Exploration de l'espace des solutions pour des transactions distribuées à haute disponibilité.
B. Martin, L. Prosperi, M. Shapiro : “Transactional-Turn Causal Consistency”, Lecture Notes in Computer Science (LNCS), Limassol, Cyprus, (Springer) (2023)
2022
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)
B. Martin, M. Shapiro : “Shared memory for the actor model”, COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Amiens, France (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)
D. Vasilas, M. Shapiro, B. King, S. Hamouda : “Towards application-specific query processing systems”, BDA 2020 - 36e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Paris / Virtual, France (2020)
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”, Int. Conf. on Concurrency Theory (CONCUR) 2016, vol. CONCUR 2016, Int. Conf. on Concurrency Theory (CONCUR) 2016, Québec, Canada, pp. 15 (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)
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)
N. Preguiça, J. Marquès, M. Shapiro, M. Leția : “A commutative replicated data type for cooperative editing”, 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Montreal, Québec, Canada, pp. 395-403, (IEEE Computer Society) (2009)
C. Ignat, G. Oster, P. Molli, M. Cart, J. Ferrié, A.‑M. Kermarrec, P. Sutra, M. Shapiro, L. Benmouffok, J.‑M. Busca, R. Guerraoui : “A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages”, Proceedings of the The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharin - CollaborateCom, White Plains, NY, United States, pp. 474-483, (IEEE Computer Society) (2007)
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)
M. Shapiro, N. Krishna : “The three dimensions of data consistency”, Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), Paris, France, pp. 54-58 (2005)
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)
M. Shapiro : “Informatiques, enjeux tendances et évolutions”, chapitre de Informatiques, enjeux tendances et évolutions, vol. Le partage d'informations dans les systèmes répartis grande échelle (1-2-3), Technique et Science Informatiques, pp. 455-462, (Hermès Science) (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)
I. Demeure, M. Shapiro : “Numèro spècial sur la Mèmoire Partagèe Rèpartie”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, (Lavoisier) (1997)
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, Y. Gourhant, S. Habert, J.‑P. Le Narzul, L. Mosseri, M. Ruffin, C. Valot : “Un Bilan du système réparti à objets SOS”, AFCET Interfaces n°103/104, pp. 46-53, (AFCET) (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)
M. Shapiro, V. Abrossimov, Ph. Gautron, S. Habert, M. Makpangou : “SOS : un système d’exploitation rèparti basè sur les objets”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 6 (2), pp. 166-169, (Lavoisier) (1987)
M. Shapiro, V. Abrossimov, Ph. Gautron, S. Habert, M. Makpangou : “SOS~: un système d’exploitation réparti basé sur les objets”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 6 (2), pp. 166-169, (Lavoisier) (1987)
M. Shapiro : “Le service d’appel de procèdure distante Girolle”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 3 (6), pp. 435-442, (Lavoisier) (1984)