Access content directly

Marc Shapiro

224
Documents

Presentation

[https://pages.lip6.fr/Marc.Shapiro/misc/1page-EN.pdf](https://pages.lip6.fr/Marc.Shapiro/misc/1page-EN.pdf "2-page CV")

Publications

Image document

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases

Annette Bieniusa , Alexey Gotsman , Bettina Kemme , Marc Shapiro
Dagstuhl Reports, 2018, Dagstuhl Reports, 8 (2), pp.101-121. ⟨10.4230/DagRep.8.2.101⟩
Journal articles hal-01848384v1
Image document

Technical Perspective: Unexpected Connections

Marc Shapiro
Communications of the ACM, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Journal articles hal-01570845v1
Image document

Geo-Replication: Fast If Possible, Consistent If Necessary

Valter Balegas , Cheng Li , Mahsa Najafzadeh , Daniel Porto , Allen Clement
Bulletin of the Technical Committee on Data Engineering, 2016, IEEE Data Engineering Bulletin, Special Issue on Data Consistency across Research Communities, 39 (1), pp.12
Journal articles hal-01350652v1
Image document

Bringing the cloud closer to users

Marc Shapiro
Research*eu , 2015, 2015 (1), pp.68--69
Journal articles hal-01248193v1
Image document

Consistency in Distributed Systems

Bettina Kemme , Ganesan Ramalingam , André Schiper , Marc Shapiro , Kapil Vaswani
Dagstuhl Reports, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩
Journal articles hal-00932737v1
Image document

Convergent and Commutative Replicated Data Types

Marc Shapiro , Nuno Preguiça , Carlos Baquero , Marek Zawirski
Bulletin- European Association for Theoretical Computer Science, 2011, 104, pp.67-88
Journal articles hal-00932833v1
Image document

Assessing the Scalability of Garbage Collectors on Many Cores

Lokesh Gidra , Gaël Thomas , Julien Sopena , Marc Shapiro
Operating Systems Review, 2011, Best papers from PLOS'11, 45 (3), pp.15--19. ⟨10.1145/2094091.2094096⟩
Journal articles hal-00932831v1
Image document

What's wrong with us?

Marc Shapiro
IEEE Distributed Systems Online, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩
Journal articles inria-00444782v1
Image document

Pushing log-based reconciliation

Youssef Hamadi , Marc Shapiro
International Journal on Artificial Intelligence Tools, 2005, 14 (3--4), pp.445--458. ⟨10.1142/S0218213005002193⟩
Journal articles hal-01248209v1
Image document

Optimistic Replication

Yasushi Saito , Marc Shapiro
ACM Computing Surveys, 2005, 37 (1), pp.42--81. ⟨10.1145/1057977.1057980⟩
Journal articles hal-01248208v1

Numèro spècial sur la Mèmoire Partagèe Rèpartie

Isabelle Demeure , Marc Shapiro
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997
Journal articles inria-00444647v1
Image document

Summary of the 6th SIGOPS European Workshop on ``Matching Operating Systems to Application Needs''

Marc Shapiro
Operating Systems Review, 1995, 29 (1), pp.47--51
Journal articles inria-00444636v1
Image document

Un Bilan du système réparti à objets SOS

Marc Shapiro , Yvon Gourhant , Sabine Habert , Jean-Pierre Le Narzul , Laurence Mosseri
AFCET Interfaces, 1991, 103/104, pp.46--53
Journal articles inria-00444609v1
Image document

Object-Support Operating Systems

Marc Shapiro
IEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (1), pp.39--42
Journal articles inria-00444611v1

Systèmes d'Objets Rèpartis

Marc Shapiro
IEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (2), pp.12--14
Journal articles inria-00444620v1

Les tendances de l'évolution des systèmes d'exploitation

Marc Shapiro
IX-Magazine, 1991, 6 (41)
Journal articles inria-00444650v1
Image document

SOS: An Object-Oriented Operating System ―- Assessment and Perspectives

Marc Shapiro , Yvon Gourhant , Sabine Habert , Laurence Mosseri , Michel Ruffin
Computing systems, 1989, 2 (4), pp.287--337
Journal articles hal-01248230v1

SOS~: un système d'exploitation réparti basé sur les objets

Marc Shapiro , Vadim Abrossimov , Philippe Gautron , Sabine Habert , Mesaac Mounchili Makpangou
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1987, 6 (2), pp.166--169
Journal articles hal-01248235v1

SOS : un système d'exploitation rèparti basè sur les objets

Marc Shapiro , Vadim Abrossimov , Philippe Gautron , Sabine Habert , Mesaac Makpangou
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1987, 6 (2), pp.166--169
Journal articles inria-00444652v1

Le service d'appel de procèdure distante Girolle

Marc Shapiro
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1984, 3 (6), pp.435--442
Journal articles inria-00444653v1
Image document

Models for Storage in Database Backends

Edgard Schiebelbein , Saalik Hatia , Annette Bieniusa , Gustavo Petri , Carla Ferreira
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩
Conference papers hal-04507674v2
Image document

Transactional-Turn Causal Consistency

Benoît Martin , Laurent Prosperi , Marc Shapiro
EURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus
Conference papers hal-04117344v1
Image document

Shared memory for the actor model

Benoit Martin , Marc Shapiro
COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Laboratoire Modélisation, Informatique et Système - de l’Université de Picardie Jules Verne., Jul 2022, Amiens, France
Conference papers hal-04004775v1
Image document

Varda: A Framework for Compositional Distributed Programming

Laurent Prosperi , Ahmed Bouajjani , Marc Shapiro
NETYS 2022 - 10th International Conference on Networked Systems, May 2022, Marrakech, Morocco. pp.16-30, ⟨10.1007/978-3-031-17436-0_2⟩
Conference papers hal-04015827v1
Image document

CRDTs for truly concurrent file systems

Romain Vaillant , Dimitrios Vasilas , Marc Shapiro , Thuy Linh Nguyen
HotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France
Conference papers hal-03278658v1
Image document

Highly-available and consistent group collaboration at the edge with colony

Ilyas Toumlilt , Pierre Sutra , Marc Shapiro
Middleware 2021: 22nd International Middleware Conference, Dec 2021, Québec / Virtual, Canada. pp.336-351, ⟨10.1145/3464298.3493405⟩
Conference papers hal-03353663v3

An environment for composable distributed computing

Benoît Martin , Laurent Prosperi , Marc Shapiro
EuroDW 2020 - 14th EuroSys Doctoral Workshop, Apr 2020, Heraklion / Virtual, Greece
Conference papers hal-03146124v1
Image document

MemOpLight: Leveraging application feedback to improve container memory consolidation

Francis Laniel , Damien Carver , Julien Sopena , Franck Wajsburt , Jonathan Lejeune
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Cambridge / Virtual, United States. pp.1-10, ⟨10.1109/NCA51143.2020.9306717⟩
Conference papers hal-03065629v1
Image document

Towards application-specific query processing systems

Dimitrios Vasilas , Marc Shapiro , Bradley King , Sara S. Hamouda
BDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtual, France
Conference papers hal-02943380v1
Image document

Data Consistency in the 5G Specification

Jonathan Sid-Otmane , Sofiane Imadali , Frederic Martelli , Marc Shapiro
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.110-117, ⟨10.1109/ICIN48450.2020.9059408⟩
Conference papers hal-02943802v1
Image document

Proving the safety of highly-available distributed objects

Sreeja S Nair , Gustavo Petri , Marc Shapiro
ESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Conference papers hal-02424317v3
Image document

Invariant Safety for Distributed Applications

Sreeja S Nair , Gustavo Petri , Marc Shapiro
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Conference papers hal-02052012v1
Image document

Highlighting the Container Memory Consolidation Problems in Linux

Francis Laniel , Damien Carver , Julien Sopena , Franck Wajsburt , Jonathan Lejeune
NCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-4, ⟨10.1109/NCA.2019.8935034⟩
Conference papers hal-02424007v1
Image document

Distributed transactional reads: the strong, the quick, the fresh & the impossible

Alejandro Z. Tomsic , Manuel Bravo , Marc Shapiro
2018 ACM/IFIP/USENIX International Middleware Conference, ACM/IFIP/USENIX, Dec 2018, Rennes, France. pp.14, ⟨10.1145/3274808.3274818⟩
Conference papers hal-01876456v1
Image document

A Modular Design for Geo-Distributed Querying

Dimitrios Vasilas , Marc Shapiro , Bradley King
PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal. pp.1-8, ⟨10.1145/3194261.3194265⟩
Conference papers hal-01728712v1
Image document

Co-Design and Verification of an Available File System

Mahsa Najafzadeh , Marc Shapiro , Patrick Eugster
VMCAI 2018 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2018, Los Angeles, CA, United States. pp.358-381, ⟨10.1007/978-3-319-73721-8_17⟩
Conference papers hal-01696263v1
Image document

Ensuring referential integrity under causal consistency

Marc Shapiro , Annette Bieniusa , Peter Zeller , Gustavo Petri
PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Conference papers hal-01727207v1
Image document

Vers une cohérence causale évolutive sans chaînes de ralentissements

Ilyas Toumlilt , Alejandro Tomsic , Marc Shapiro
Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Nice Sophia-Antipolis, France
Conference papers hal-01860334v1
Image document

The CISE Tool: Proving Weakly-Consistent Applications Correct

Mahsa Najafzadeh , Alexey Gotsman , Hongseok Yang , Carla Ferreira , Marc Shapiro
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data , Apr 2016, Londres, United Kingdom. ⟨10.1145/2911151.2911160⟩
Conference papers hal-01350636v1
Image document

Eventually Consistent Register Revisited

Marek Zawirski , Carlos Baquero , Annette Bieniusa , Nuno Preguiça , Marc Shapiro
Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops / EuroSys, Apr 2016, London, United Kingdom. pp.7, ⟨10.1145/2911151.2911157⟩
Conference papers hal-01242700v1
Image document

High Responsiveness for Group Editing CRDTs

Loïck Briot , Pascal Urso , Marc Shapiro
ACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
Conference papers hal-01343941v1
Image document

Consistency in 3D

Marc Shapiro , Masoud Saeida Ardekani , Gustavo Petri
Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Conference papers hal-01350668v1
Image document

Cure: Strong semantics meets high availability and low latency

Deepthi Devaki Akkoorath , Alejandro Tomsic , Manuel Bravo , Zhongmiao Li , Tyler Crain
Int. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. pp.405-414, ⟨10.1109/ICDCS.2016.98⟩
Conference papers hal-01350558v1
Image document

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Alexey Gotsman , Hongseok Yang , Carla Ferreira , Mahsa Najafzadeh , Marc Shapiro
Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384, ⟨10.1145/2837614.2837625⟩
Conference papers hal-01243192v1
Image document

PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation

Alejandro Tomsic , Tyler Crain , Marc Shapiro
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Apr 2016, London, United Kingdom. pp.4, ⟨10.1145/2911151.2911166⟩
Conference papers hal-01350657v1

CRDTs in practice

Marc Shapiro
W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States
Conference papers hal-01351589v1
Image document

Putting Consistency back into Eventual Consistency

Valter Balegas , Sérgio Duarte , Carla Ferreira , Rodrigo Rodrigues , Nuno Preguiça
European Conference on Computer Systems (EuroSys), ACM Sigops / EuroSys, Apr 2015, Bordeaux, France. pp.6:1--6:16, ⟨10.1145/2741948.2741972⟩
Conference papers hal-01248191v1
Image document

Write Fast, Read in the Past: Causal Consistency for Client-side Applications

Marek Zawirski , Nuno Preguiça , Sérgio Duarte , Annette Bieniusa , Valter Balegas
Int. Conf. on Middleware (MIDDLEWARE), Dec 2015, Vancouver, BC, Canada. pp.75-87, ⟨10.1145/2814576.2814733⟩
Conference papers hal-01248194v1
Image document

NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines

Lokesh Gidra , Gaël Thomas , Julien Sopena , Marc Shapiro , Nhan Nguyen
20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM SIGOPS, ACM SIGPLAN, ACM SIGARCH, Mar 2015, Istanbul, Turkey. pp.661-673, ⟨10.1145/2694344.2694361⟩
Conference papers hal-01178790v1
Image document

Merging Semantics for Conflict Updates in Geo-Distributed File Systems

Vinh Tao Thanh , Marc Shapiro , Vianney Rancurel
ACM Int. Systems and Storage Conf. (Systor), 2015, Haifa, Israel. pp.10.1--10.12, ⟨10.1145/2757667.2757683⟩
Conference papers hal-01248190v1
Image document

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Valter Balegas , Diogo Serra , Sérgio Duarte , Carla Ferreira , Marc Shapiro
Symp. on Reliable Dist. Sys. (SRDS), Sep 2015, Montréal, Canada. pp.31-36, ⟨10.1109/SRDS.2015.32⟩
Conference papers hal-01248192v1
Image document

Designing a causally consistent protocol for geo-distributed partial replication

Tyler Crain , Marc Shapiro
W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. ⟨10.1145/2745947.2745953⟩
Conference papers hal-01218204v1
Image document

An empirical perspective on causal consistency

Alejandro Tomsic , Tyler Crain , Marc Shapiro
W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. pp.2:1--2:3, ⟨10.1145/2745947.2745949⟩
Conference papers hal-01218208v1

Scaling geo-replicated databases to the MEC environment

Alejandro Z. Tomsic , Tyler Crain , Marc Shapiro
W. on Planetary-Scale Distributed Systems, Sep 2015, Montréal, Canada. pp.74-79, ⟨10.1109/SRDSW.2015.13⟩
Conference papers hal-01248195v1

Multi-site Gargamel: Optimistic synchronization for reliable geo-replicated databases

Pierpaolo Cincilla , Sébastien Monnet , Marc Shapiro
International Workshop on Middleware for Dependable Systems and Networks, 2014, Bordeaux, France
Conference papers hal-01105053v1

Exploring the spectrum of strongly-consistent transactional protocols

Marc Shapiro , Masoud Saeida Ardekani , Pierre Sutra
Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom
Conference papers hal-01109740v1

The Case for Fast and Invariant-Preserving Geo-Replication

Valter Balegas , Nuno Preguiça , Sérgio Duarte , Carla Ferreira , Rodrigo Rodrigues
SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, IEEE, Oct 2014, Nara, Japan. pp.5, ⟨10.1109/SRDSW.2014.30⟩
Conference papers hal-01109107v1

G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional Protocols

Masoud Saeida Ardekani , Pierre Sutra , Marc Shapiro
Middleware, Dec 2014, Bordeaux, France. pp.12, ⟨10.1145/2663165.2663336⟩
Conference papers hal-01109114v1

Putting the Consistency Back Into Eventual Consistency

Valter Balegas , Mahsa Najafzadeh , Sérgio Duarte , Carla Ferreira , Marc Shapiro
Large-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
Conference papers hal-01109719v1
Image document

On the Scalability of Snapshot Isolation

Masoud Saeida Ardekani , Pierre Sutra , Marc Shapiro , Nuno Preguiça
Euro-Par 2013 - 19th International Conference Parallel Processing, Aug 2013, Aachen, Germany. pp.369-381, ⟨10.1007/978-3-642-40047-6_39⟩
Conference papers hal-00932781v1
Image document

Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems

Masoud Saeida Ardekani , Pierre Sutra , Marc Shapiro
SRDS 2013 -IEEE 32nd International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.163-172, ⟨10.1109/SRDS.2013.25⟩
Conference papers hal-00932758v1
Image document

A study of the scalability of stop-the-world garbage collectors on multicores

Lokesh Gidra , Gaël Thomas , Julien Sopena , Marc Shapiro
ASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, ACM, Mar 2013, Houston, United States. pp.229-240, ⟨10.1145/2451116.2451142⟩
Conference papers hal-00868012v1
Image document

Improving the scalability of geo-replication with reservations

Mahsa Najafzadeh , Marc Shapiro , Valter Balegas , Nuno Preguiça
DCC 2013 : Workshop on Distributed Cloud Computing, Dec 2013, Dresden, Germany. pp.441-445, ⟨10.1109/UCC.2013.87⟩
Conference papers hal-00932657v1
Image document

Incremental Stream Processing using Computational Conflict-free Replicated Data Types

David Navalho , Sérgio Duarte , Nuno Preguiça , Marc Shapiro
CloudDP '13 - 3rd International Workshop on Cloud Data and Platforms, Apr 2013, Prague, Czech Republic. pp.31-36, ⟨10.1145/2460756.2460762⟩
Conference papers hal-00932788v1
Image document

A Grid Based Distributed Cooperative Environment for Health Care Research

Felipe Maia , Rafael Araújo , Luiz Carlos Muniz , Rayrone Zirtany , Luciano Coutinho
FHIES 2012 - Second International Symposium Foundations of Health Information Engineering and Systems, Aug 2012, Paris, France. pp.142-150, ⟨10.1007/978-3-642-39088-3_9⟩
Conference papers hal-00932708v1
Image document

Gargamel: boosting DBMS performance by parallelising write transactions

Pierpaolo Cincilla , Sébastien Monnet , Marc Shapiro
ICPADS 2012 - IEEE 18th International Conference on Parallel and Distributed Systems, Dec 2012, Singapour, Singapore. pp.572--579, ⟨10.1109/ICPADS.2012.83⟩
Conference papers hal-00932795v1
Image document

The Space Complexity of Transactional Interactive Reads

Masoud Saeida Ardekani , Marek Zawirski , Pierre Sutra , Marc Shapiro
HotCDP '12 - 1st International Workshop on Hot Topics in Cloud Data Processing, Apr 2012, Bern, Switzerland. ⟨10.1145/2169090.2169094⟩
Conference papers hal-00932803v1
Image document

Brief Announcement: Semantics of Eventually Consistent Replicated Sets

Annette Bieniusa , Marek Zawirski , Nuno Preguiça , Marc Shapiro , Carlos Baquero
DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Bahia, Brazil. pp.441--442, ⟨10.1007/978-3-642-33651-5_48⟩
Conference papers hal-00769554v1
Image document

Fast Genuine Generalized Consensus

Pierre Sutra , Marc Shapiro
SRDS 2011 - 30th IEEE Symposium on Reliable Distributed Systems, Oct 2011, Madrid, Spain. pp.255--264, ⟨10.1109/SRDS.2011.38⟩
Conference papers hal-00932839v1
Image document

The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs

Masoud Saeida Ardekani , Pierre Sutra , Marc Shapiro
WTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy
Conference papers hal-00932809v1
Image document

A Semantically Rich Approach for Collaborative Model Edition

Jonathan Michaux , Xavier Blanc , Pierre Sutra , Marc Shapiro
Symp. on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.1470--1475, ⟨10.1145/1982185.1982500⟩
Conference papers hal-01248198v1
Image document

Asynchronous rebalancing of a replicated tree

Marek Zawirski , Marc Shapiro , Nuno Preguiça
Conférence Française en Systèmes d'Exploitation (CFSE), May 2011, Saint-Malo, France. pp.12
Conference papers hal-01248197v1
Image document

Assessing the Scalability of Garbage Collectors on Many Cores

Lokesh Gidra , Gaël Thomas , Julien Sopena , Marc Shapiro
PLOS '11 - 6th Workshop on Programming Languages and Operating Systems, Oct 2011, Cascais, Portugal. pp.7:1-7:5, ⟨10.1145/2039239.2039249⟩
Conference papers hal-00932818v1
Image document

Conflict-free Replicated Data Types

Marc Shapiro , Nuno Preguiça , Carlos Baquero , Marek Zawirski
SSS 2011 - 13th International Symposium Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.386-400, ⟨10.1007/978-3-642-24550-3_29⟩
Conference papers hal-00932836v1
Image document

Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messages

Pierre Sutra , Marc Shapiro
ALGOTEL 2011 - 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, May 2011, Cap Estérel, France
Conference papers inria-00586591v2
Image document

Telex: A Semantic Platform for Cooperative Application Development

Lamia Benmouffok , Jean-Michel Busca , Joan Manuel Marquès , Marc Shapiro , Pierre Sutra
Conférence Française sur les Systèmes d'Exploitation (CFSE), Sep 2009, Toulouse, France
Conference papers inria-00444792v1
Image document

A commutative replicated data type for cooperative editing

Nuno Preguiça , Joan Manuel Marquès , Marc Shapiro , Mihai Leția
29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Québec, Canada. pp.395-403, ⟨10.1109/ICDCS.2009.20⟩
Conference papers inria-00445975v1
Image document

Consistency without concurrency control in large, dynamic systems

Mihai Letia , Nuno Preguiça , Marc Shapiro
LADIS 2009 - 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware, Oct 2009, Big Sky, MT, United States. pp.29--34, ⟨10.1145/1773912.1773921⟩
Conference papers hal-01248270v1

Fault-Tolerant Partial Replication in Large-Scale Database Systems

Pierre Sutra , Marc Shapiro
europar, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.404--413
Conference papers inria-00444788v1
Image document

Semantic Middleware for Designing Collaborative Applications in Mobile Environment

Lamia Benmouffok , Jean-Michel Busca , Marc Shapiro
MiNEMA 2007 - 5th workshop on Middleware for Network Eccentric and Mobile Applications, Sep 2007, Magdeburg, Germany. pp.58-61
Conference papers inria-00444787v1
Image document

Comparing Optimistic Database Replication Techniques

Pierre Sutra , Marc Shapiro
Bases de Données Avancées (BDA), Oct 2007, Marseille, France
Conference papers inria-00444785v1
Image document

A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages

Claudia Lavinia Ignat , Gérald Oster , Pascal Molli , Michelle Cart , Jean Ferrié
3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, White Plains, NY, United States. pp.474 - 483, ⟨10.1109/COLCOM.2007.4553878⟩
Conference papers inria-00188329v1
Image document

Decentralised Commitment for Optimistic Semantic Replication

Pierre Sutra , Joao Barreto , Marc Shapiro
International Conference on Cooperative Information Systems (CoopIS), Nov 2007, Vilamoura, Algarve, Portugal. pp.318-335, ⟨10.1007/978-3-540-76848-7_21⟩
Conference papers inria-00444783v1
Image document

Exploiting our computational surroundings for better mobile collaboration

Joao Barreto , Paulo Ferreira , Marc Shapiro
MDM 2007 - 8th International Conference on Mobile Data Management, May 2007, Mannheim, Germany. pp.110--117, ⟨10.1109/MDM.2007.24⟩
Conference papers inria-00444796v1

Practical proofs of concurrent programs

Marc Shapiro
Int. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩
Conference papers hal-01248205v1
Image document

Proving Correctness of Highly-Concurrent Linearisable Objects

Viktor Vafeiadis , Maurice Herlihy , Tony Car Hoare Hoare , Marc Shapiro
PPoPP 2006 - 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2006, New York, United States. pp.129--136, ⟨10.1145/1122971.1122992⟩
Conference papers hal-01248204v1
Image document

An Application Framework for Nomadic, Collaborative Applications

James J. O'Brien , Marc Shapiro
DAIS 2006 - 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, Jun 2006, Bologna, Italy. pp.48-63, ⟨10.1007/11773887_4⟩
Conference papers inria-00445942v1
Image document

The three dimensions of data consistency

Marc Shapiro , Nishith Krishna
Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), Nov 2005, Paris, France. pp.54--58
Conference papers inria-00444797v1
Image document

FEW: File Management for Portable Devices

Nuno Preguiça , Carlos Baquero , José Legatheaux Martins , Marc Shapiro , Paulo Sérgio Almeida
International Workshop on Software Support for Portable Storage, Mar 2005, San Francisco, CA, United States
Conference papers inria-00444798v1

Brief announcement: Exploring the Consistency Problem Space

Nishith Krishna , Marc Shapiro , Karthikeyan Bhargavan
PODC 2005 - 24th annual ACM symposium on Principles Of Distributed Computing, Jul 2005, Las Vegas, Nevada, United States. pp.168--168, ⟨10.1145/1073814.1073845⟩
Conference papers hal-01248206v1
Image document

Undo for anyone, anywhere, anytime

James J. O'Brien , Marc Shapiro
SIGOPS European Workshop, ACM Special Interest Group on Operating Systems, 2004, Leuven, Belgium, Belgium. ⟨10.1145/1133572.1133579⟩
Conference papers inria-00444773v1
Image document

Brief Announcement: A formalism for consistency and partial replication

Marc Shapiro , Karthikeyan Bhargavan , Yek Chong , Youssef Hamadi
DISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Conference papers inria-00444779v1
Image document

Rufis: mobile data sharing using a generic constraint-oriented reconciler

Marc Shapiro , Nuno Preguiça , James J. O'Brien
Conference on Mobile Data Management, 2004, Berkeley, CA, USA, United States. pp.146--151, ⟨10.1109/MDM.2004.1263052⟩
Conference papers inria-00444770v1
Image document

A Constraint-based Formalism for Consistency in Replicated Systems

Marc Shapiro , Karthikeyan Bhargavan , Nishith Krishna
OPODIS 2004 - 8th International Conference on Principles of Distributed Systems, Dec 2004, Grenoble, France. pp.331--345, ⟨10.1007/11516798_24⟩
Conference papers inria-00444799v1
Image document

Automating semantics-based reconciliation for mobile transactions

Nuno Preguiça , Marc Shapiro , J. Legatheaux Martins
Conf. Française sur les Systèmes d'Exploitation (CFSE), 2003, La-Colle-sur-Loup, France. pp.515--524
Conference papers hal-01248212v1
Image document

Automating semantics-based reconciliation for mobile databases

Nuno Preguiça , Marc Shapiro , José Legatheaux Martins
Renpar'15, cfse'3,SympAAA'2003, 2003, La-Colle-sur-Loup, France, France. pp.515--524
Conference papers inria-00444769v1
Image document

Semantics-based reconciliation for collaborative and mobile environments

Nuno Preguiça , Marc Shapiro , Caroline Matheson
COOPIS, 2003, Catania, Sicily, Italy. pp.38-55, ⟨10.1007/b94348⟩
Conference papers inria-00445758v1

Scaling Optimistic Replication

Marc Shapiro , Yasushi Saito
Worskshop on Future Directions in Distributed Computing (FuDiCo 2002): Research and Position Papers, 2002, Bertinoro, Forlì, Italy, Italy. pp.164--168
Conference papers inria-00444780v1

Réplication : les approches optimistes (conf. invitée)

Marc Shapiro
Journées Bases de Données Avancées (BDA), 2002, Évry, France
Conference papers hal-01248213v1
Image document

The IceCube approach to the reconciliation of divergent replicas

Anne-Marie Kermarrec , Antony Rowstron , Marc Shapiro , Peter Druschel
Symp. on Principles of Dist. Comp. (PODC), 2001, Newport, RI, United States. ⟨10.1145/383962.384020⟩
Conference papers hal-01248215v1
Image document

The memory behavior of WWW, or the WWW considered as a persistent store

Nicolas Richer , Marc Shapiro
9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.161-176, ⟨10.1007/3-540-45498-5_14⟩
Conference papers hal-01248218v1
Image document

Application-independent reconciliation for nomadic applications

Marc Shapiro , Antony Rowstron , Anne-Marie Kermarrec
9th ACMSIGOPS European Workshop 2000 sigopsew :``Beyond the PC:New Challenges for the Operating System'', sigops, 2000, Kolding, Denmark, Denmark
Conference papers inria-00444646v1
Image document

Experience with the PerDiS large-scale data-sharing middleware

Marc Shapiro , Paulo Ferreira , Nicolas Richer
9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.55-69, ⟨10.1007/3-540-45498-5_6⟩
Conference papers hal-01248216v1
Image document

Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proof

Paulo Ferreira , Marc Shapiro
Euro. Conf. on Object-Oriented Pging. (ECOOP), 1998, Brussels, Belgium. pp.234--259, ⟨10.1007/BFb0054094⟩
Conference papers hal-01248219v1
Image document

Implementing Garbage Collection in the PerDiS system

Xavier Blondel , Paulo Ferreira , Marc Shapiro
Proceedings of the Eighth International Workshop on Persistent Object Systems, 1998, Tiburon CA, USA, United States
Conference papers inria-00444641v1
Image document

An implementation of complete, asynchronous, distributed garbage collection

Fabrice Le Fessant , Ian Piumarta , Marc Shapiro
Conf. on Prog. Lang. Design and Implementation, 1998, Montreal, Canada. ⟨10.1145/277650.277715⟩
Conference papers hal-01248220v1
Image document

PerDiS ―- a Persistent Distributed Store for Cooperative Applications

Marc Shapiro , Sytse Kloosterman , Fabio Riccardi
Proc. 3rd Cabernet Plenary W., 1997, Rennes, France
Conference papers hal-01248222v1
Image document

PerDiS PPF Case Study: Fitting a Distributed Garbage Collection Algorithm to a Persistent Distributed Store Architecture

Xavier Blondel , Paulo Ferreira , Marc Shapiro
OOPSLA'97 Workshop on Garbage Collection and Memory Management, 1997, Atlanta GA, USA, United States
Conference papers inria-00444640v1
Image document

A detection algorithm for distributed cycles of garbage

Fabrice Le Fessant , Ian Piumarta , Marc Shapiro
OOPSLA W. on Garbage Collection and Memory Management, 1997, Atlanta, GA, United States
Conference papers hal-01248221v1
Image document

Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage Collection

Paulo Ferreira , Marc Shapiro
Int. Conf. on Distr. Comp. Sys. (ICDCS), 1996, Hong Kong, Hong Kong SAR China. pp.394--401, ⟨10.1109/ICDCS.1996.507987⟩
Conference papers inria-00444639v1
Image document

Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector

Marc Shapiro , Paulo Ferreira
W. on Distributed Algorithms (WDAG), 1995, Le Mont Saint-Michel, France. pp.198--214, ⟨10.1007/BFb0022148⟩
Conference papers hal-01248223v1
Image document

Evaluating Garbage Collectors for Large Persistence Stores

Laurent Amsaleg , Paulo Ferreira , Michael Franklin , Marc Shapiro
OOPSLA Workshop on Object Database Behavior, Benchmarks, and Performance, Addendum to the Proceedings, 1995, Austin TX, USA, United States
Conference papers inria-00444638v1
Image document

Garbage Collection in the Larchant Persistent Distributed Store

Paulo Ferreira , Marc Shapiro
5th Workshop on Future Trends in Distributed Computing Systems (FTDCS'95), 1995, Cheju Island, Republic of Korea, South Korea. pp.461--467
Conference papers inria-00444637v1
Image document

A Survey of Distributed Garbage Collection Techniques

David Plainfosse , Marc Shapiro
Int. W. on Memory Management (IWMM), 1995, Kinross, United Kingdom. pp.211--249, ⟨10.1007/3-540-60368-9_26⟩
Conference papers hal-01248224v1

Some Key Issues in the Design of Distributed Garbage Collection and References

Marc Shapiro , David Plainfosse , Paulo Ferreira , Laurent Amsaleg
Unifying Theory and Practice in Distributed Systems, 1994, Dagstuhl, Germany, Germany
Conference papers inria-00444632v1
Image document

A Binding Protocol for Distributed Shared Objects

Marc Shapiro
14th International Conference on Distributed Computing Systems - ICDCS 1994, Jun 1994, Poznan, Poland, Poland. pp.134--141, ⟨10.1109/ICDCS.1994.302403⟩
Conference papers inria-00444629v1

A Survey of Distributed Garbage Collection Techniques

David Plainfossé , Marc Shapiro
Second Closed BROADCAST Workshop, Broadcast Basic Research Action, 1994, Bruxelles, Belgique, Belgium. pp.211--249, ⟨10.1007/3-540-60368-9_26⟩
Conference papers inria-00444635v1
Image document

Garbage Collection and DSM Consistency

Paulo Ferreira , Marc Shapiro
osdi, 1994, Monterey CA, USA, United States. pp.229--241
Conference papers inria-00444631v1
Image document

Garbage Collection of Persistent Objects in Distributed Shared Memory

Paulo Ferreira , Marc Shapiro
pos, 1994, Tarascon, France, France. pp.176--191
Conference papers inria-00444630v1

Distribution and persistence in multiple and heterogeneous address spaces

Paulo Ferreira , Marc Shapiro
iwooos, 1993, Asheville, NC, USA, United States. pp.83--93, ⟨10.1109/IWOOOS.1993.324924⟩
Conference papers inria-00444655v1

Binding should be flexible in a distributed system

Marc Shapiro
iwooos, 1993, Asheville, NC, USA, United States. pp.216--217, ⟨10.1109/IWOOOS.1993.324900⟩
Conference papers inria-00444656v1

Implementing Efficient Indirections

Julien Maisonneuve , Marc Shapiro
Broadcast 1st Open Workshop, 1993, Newcastle, England, United Kingdom
Conference papers inria-00444628v1

Operating System Support for Distributed and Persistent Objects

Marc Shapiro
International Workshop on Distributed Object Management (IWDOM), 1992, Edmonton, Canada, Canada. pp.202--205
Conference papers inria-00444625v1
Image document

Experience with a Fault-Tolerant Garbage Collector in a Distributed List System

David Plainfossé , Marc Shapiro
IWMM : Memory Management, International Workshop, 1992, Saint-Malo, France, France. pp.116--133
Conference papers inria-00444622v1

Contrasting Fragmented Objects with Uniform Transparent Object References for Distributed Programming

Peter Dickman , Mesaac Makpangou , Marc Shapiro
5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, sigops, 1992, Mont Saint-Michel, France, France
Conference papers inria-00444624v1
Image document

Implementing References as Chains of Links

Julien Maisonneuve , Marc Shapiro , Pierre Collet
Second International Workshop on Object Orientation in Operating Systems - IWOOOS 1992, ieeecs, Sep 1992, Dourdan, France, France. pp.236--243, ⟨10.1109/IWOOOS.1992.252975⟩
Conference papers inria-00444623v1

Robust, Distributed References and Acyclic Garbage Collection

Marc Shapiro , Peter Dickman , David Plainfossé
Symp. on Principles of Dist. Comp. (PODC), 1992, Vancouver, Canada. pp.135--146, ⟨10.1145/135419.135448⟩
Conference papers hal-01248225v1
Image document

A Distributed GC in an Object-oriented Operating System

David Plainfosse , Marc Shapiro
IWOOOS 1992 - Second International Workshop on Object Orientation in Operating Systems, ieeecs, 1992, Dourdan, France, France. pp.221--229, ⟨10.1109/IWOOOS.1992.252977⟩
Conference papers inria-00444633v1
Image document

A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol

Marc Shapiro
Symposium on Reliable Distributed Sytems (SRDS), 1991, Pisa, Italy, Italy. pp.208--217, ⟨10.1109/RELDIS.1991.145426⟩
Conference papers inria-00444615v1

Soul: An Object-Oriented OS Framework for Object Support

Marc Shapiro
W. on Operating Systems for the Nineties and Beyond, 1991, Dagstuhl Castle, Germany. pp.251--255, ⟨10.1007/BFb0024553⟩
Conference papers hal-01248226v1
Image document

Distributed Garbage Collection in the System is Good

David Plainfosse , Marc Shapiro
International Workshop on Object Orientation in Operating Systems- IWOOOS 91, 1991, Palo Alto CA, USA, United States. pp.94--99, ⟨10.1109/IWOOOS.1991.183028⟩
Conference papers inria-00444618v1

Un algorithme conservatif de dètection des miettes en milieu rèparti

David Plainfosse , Marc Shapiro
Convention Unix 91, 1991, Paris, France. pp.61--74
Conference papers inria-00444613v1
Image document

BOAR: A Library of Fragmented Object Types for Distributed Abstractions

Mesaac Makpangou , Yvon Gourhant , Marc Shapiro
International Workshop on Object Orientation In Operating Systems : IWOOOS'91, 1991, Palo Alto, CA (USA), United States. pp.164--168, ⟨10.1109/IWOOOS.1991.183043⟩
Conference papers inria-00444616v1

Les tendances de l'èvolution des systèmes d'exploitation

Marc Shapiro
Confèrences techniques, Convention Unix 90, AFUU, 1990, Paris, France
Conference papers inria-00444649v1

Object-Support Operating Systems

Marc Shapiro
Workshop on Operating Systems and Object Orientation at ECOOP-OOPSLA 1990, 1990, Ottawa, Canada, Canada
Conference papers inria-00444610v1

FOG/C++: a Fragmented-Object Generator

Yvon Gourhant , Marc Shapiro
C++ Conference, Usenix, 1990, San Francisco, CA, USA, United States. pp.63--74
Conference papers inria-00444608v1

Distributed Object-Support Operating Systems and Garbage Collection

Marc Shapiro
Workshop on Garbage Collection at OOPSLA-ECOOP'90, 1990, Ottawa, Canada, Canada
Conference papers inria-00444612v1

A simple object storage system

Marc Shapiro , Laurence Mosseri
Proceedings of the Third International Workshop on Persistent Object Systems : POS-3, 1989, Newcastle NSW, Australia, Australia. pp.320--327
Conference papers inria-00444599v1

Prototyping a distributed object-oriented OS on Unix

Marc Shapiro
Workshop on Experiences with Building Distributed and Multiprocessor Systems, USENIX, 1989, Ft. Lauderdale FL, USA, United States
Conference papers inria-00444604v1

Software Integration in SOMIW : Goals, Accomplishments, and Problems

Marc Shapiro , Nuno Guimarães
Esprit'89, 6th Annual Esprit Conf., 1989, Brussels, Belgium
Conference papers inria-00444605v1

Un Service de Nommage pour un Système Rèpartis à Objets

Jean-Pierre Le Narzul , Marc Shapiro
Sèminaire Franco-Brèsilien sur les Systèmes Informatiques Rèpartis, LAAS and UFSC, 1989, Florianopolis, Brazil, Brésil. pp.127--133
Conference papers inria-00444601v1

Un Service de Nommage pour un Système à Objets Rèpartis

Jean-Pierre Le Narzul , Marc Shapiro
Actes Convention Unix 89, AFUU, 1989, Paris, France. pp.73--82
Conference papers inria-00444600v1
Image document

Persistence and Migration for C++ Objects

Marc Shapiro , Philippe Gautron , Laurence Mosseri
ECOOP'89, Proc. of the Third European Conf.on Object-Oriented Programming, The British Computer Society, 1989, Nottingham, GB, United Kingdom. pp.191--204
Conference papers inria-00444602v1

Generic Virtual Memory Management for Operating System Kernels

Vadim Abrossimov , Marc Rozier , Marc Shapiro
Symp. on Op. Sys. Principles (SOSP), 1989, Litchfield Park AZ, United States. pp.123--136, ⟨10.1145/74850.74863⟩
Conference papers hal-01248228v1

The SOS Object-Oriented Communication Service

Mesaac Makpangou , Marc Shapiro
Proc. 9th Int. Conf. on Computer Communication, 1988, Tel Aviv, Israel
Conference papers hal-01248233v1

The Design of a Distributed Object-Oriented Operating System for Office Applications

Marc Shapiro
Proc. Esprit Technical Week 1988, 1988, Brussels, Belgium, Belgium
Conference papers inria-00444598v1

Domains and dynamic loading: reconciling autonomy and integration

Marc Shapiro
SIGOPS European Workshop on ``Autonomy or interdependence in distributed systems?'', 1988, Cambridge, United Kingdom. ⟨10.1145/504092.504127⟩
Conference papers hal-01248234v1

Two extensions to C++: A Dynamic Link Editor and Inner data

Philippe Gautron , Marc Shapiro
C++ Workshop, USENIX, 1987, Santa Fe, NM, US, United States
Conference papers inria-00444597v1

SOS: a distributed Object-Oriented Operating System

Marc Shapiro
SIGOPS European Workshop on ``Making Distributed Systems Work'', 1986, Amsterdam, the, Netherlands. ⟨10.1145/503956.503997⟩
Conference papers hal-01248236v1
Image document

Structure and Encapsulation in Distributed Systems: the Proxy Principle

Marc Shapiro
Int. Conf. on Distr. Comp. Sys. (ICDCS), IEEE, 1986, Cambridge, MA, USA, United States. pp.198--204
Conference papers inria-00444651v1

The contributions of an object-oriented approach to the programming of distributed applications

Marc Shapiro
Journèe d'étude sur les Langages Orientés Objet, Oct 1983, Le Cap d'Agde, France. pp.149--159
Conference papers inria-00444520v1

Microrèzo: le projet rèseau local du Centre Mondial

Guy Bernard , Pierre Bouchet , Thierry Fleury , Marc Shapiro , Yves Talhouet
1983 World Conference on Systems, 1983, Caracas, Venezuela
Conference papers inria-00444510v1

Une proposition pour Microrèzo,: Girolle, un protocole d'appel de procèdure distante

Marc Shapiro
Gènie Logiciel : le second souffle,?'', Journèes Bigre 1983, 1983, Le Cap d'Agde, France, France
Conference papers inria-00444648v1

An Experiment in Distributed Program Design, Using Control Enrichment

Marc Shapiro
icdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States
Conference papers inria-00444654v1

Fault Tolerance in Rebus, a Distributed System for Industrial Real Time Control

Jean-Michel Ayache , B. Carrichon , Jean-Pierre Courtiat , Michel Diaz , Marc Shapiro
Symposium on Fault-Tolerant Computing (FTCS-11), Jun 1981, Portland, Maine, USA", United States. pp.224-227
Conference papers inria-00444502v1

A distributed control system for industrial plants

Jean-Michel Ayache , B. Carrichon , Michel Devy , Michel Diaz , B. Potin
Euromicro 80 Conference, 1980, London, United Kingdom
Conference papers inria-00444517v1

Scality's experience with a geo-distributed file system

Marc Segura , Vianney Rancurel , Vinh Tao Thanh , Marc Shapiro
Middleware 2014, Dec 2014, Bordeaux, France. ACM, Middleware: Posters and Demos '14; Proceedings of the Posters & Demos Session, pp.31-32, 2014, ⟨10.1145/2678508.2678524⟩
Conference poster hal-01111208v1

Int. W. on Object Orientation in Op. Sys. (I-WOOOS)

Luis-Felipe Cabrera , Vince Russo , Marc Shapiro
Luis-Felipe Cabrera and Vince Russo and Marc Shapiro. IEEE Computer Society Press, 1991
Books hal-01248227v1

International Workshop on Object Orientation In Operating Systems : IWOOS'91

Luis-Felipe Cabrera , Vincent F. Russo , Marc Shapiro
Cabrera,Luis-Felipe and Russo,Vincent F. and Shapiro, Marc. IEEE Computer Society Press, pp.1--193, 1991
Books inria-00444617v1
Image document

Database Consistency Models

Marc Shapiro , Pierre Sutra
Sherif Sakr; Albert Zomaya. Encyclopedia of Big Data Technologies, Springer, 2019, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_203-1⟩
Book sections hal-01756780v1
Image document

Conflict-free Replicated Data Types (CRDTs)

Nuno Preguiça , Carlos Baquero , Marc Shapiro
Sakr, Sherif; Zomaya, Albert. Encyclopedia of Big Data Technologies, Springer International Publishing, 2019, Encyclopedia of Big Data Technologies, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_185-1⟩
Book sections hal-01793586v1
Image document

Eventual Consistency

Marc Shapiro , Bettina Kemme
Ling Liu; M. Tamer Özsu. Encyclopedia of Database Systems, Springer, pp.1--2, 2017, 978-1-4899-7993-3. ⟨10.1007/978-1-4899-7993-3_1366-2⟩
Book sections inria-00444791v2

Optimistic Replication and Resolution

Marc Shapiro
Liu, Ling; Özsu, M. Tamer. Encyclopedia Of Database Systems, Springer, pp.1-8, 2017, ⟨10.1007/978-1-4899-7993-3_258-4⟩
Book sections hal-02895799v1
Image document

Optimistic Replication and Resolution

Marc Shapiro
Özsu, M. Tamer; Liu, Ling. Encyclopedia of Database Systems, Springer-Verlag, pp.1995--1995, 2009, ⟨10.1007/978-0-387-39940-9_258⟩
Book sections hal-01248202v1
Image document

PerDiS: design, implementation, and use of a PERsistent DIstributed Store

Paulo Ferreira , Marc Shapiro , Xavier Blondel , Olivier Fambon , João Garcia
Sacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, Springer-Verlag, pp.427--452, 2000, Lecture Notes in Computer Science, ⟨10.1007/3-540-46475-1_18⟩
Book sections inria-00444644v1
Image document

Le partage d'informations dans les systèmes répartis grande échelle

Marc Shapiro
René Jacquart. Informatiques, enjeux tendances et évolutions, 19, Hermès Science, pp.455-462, 2000
Book sections inria-00444643v1

Informatiques, enjeux tendances et évolutions

Marc Shapiro
Jacquart, René. Informatiques, enjeux tendances et évolutions, Le partage d'informations dans les systèmes répartis grande échelle (1-2-3), Hermès Science, pp.455--462, 2000, Technique et Science Informatiques
Book sections hal-01248217v1
Image document

Recent Advances in Distributed Garbage Collection

Marc Shapiro , Fabrice Le Fessant , Paulo Ferreira
Sacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, springer, pp.104--126, 2000, lncs
Book sections inria-00444645v1
Image document

Fragmented Objects for Distributed Abstractions

Mesaac Makpangou , Yvon Gourhant , Jean-Pierre Le Narzul , Marc Shapiro
Thomas L. Casavant and Mukesh Singhal. Readings in Distributed Computing Systems, IEEE Computer Society Press, pp.170--186, 1994
Book sections inria-00444614v1

Gestion Rèpartie de Fichiers

Marc Shapiro
Balter, Roland and Banâtre, Jean-Pierre and Krakowiak, Sacha. Construction des Systèmes d'Exploitation Rèpartis, INRIA, 1991, Collection Didactique
Book sections inria-00444619v1

Gestion Rèpartie d'Objets

Marc Shapiro
Balter, Roland and Ban{â}tre, Jean-Pierre and Krakowiak, Sacha. Construction des Systèmes d'Exploitation Rèpartis, INRIA, 1991, Collection Didactique
Book sections inria-00444621v1
Image document

Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore

Ayush Pandey , Annette Bieniusa , Marc Shapiro
[Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022
Reports hal-03654003v2
Image document

A coordination-free, convergent, and safe replicated tree

Sreeja S Nair , Filipe Meirim , Mário Pereira , Carla Ferreira , Marc Shapiro
[Research Report] RR-9395, LIP6, Sorbonne Université, Inria de Paris; Universidade nova de Lisboa. 2021, pp.36
Reports hal-03150817v3
Image document

Proving the safety of highly-available distributed objects (Extended version)

Sreeja S Nair , Gustavo Petri , Marc Shapiro
[0] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020
Reports hal-02492599v1
Image document

Specification of a Transactionally and Causally-Consistent (TCC) database

Saalik Hatia , Marc Shapiro
[Research Report] RR-9355, DELYS; LIP6, Sorbonne Université, Inria, Paris, France. 2020
Reports hal-02902474v2
Image document

Improving the "Correct Eventual Consistency" Tool

Sreeja S Nair , Marc Shapiro
[Research Report] RR-9191, Sorbonne Université. 2018
Reports hal-01832888v1
Image document

Just-Right Consistency: reconciling availability and safety

Marc Shapiro , Annette Bieniusa , Nuno Preguiça , Valter Balegas , Christopher Meiklejohn
[Research Report] RR-9145, Inria Paris; UPMC - Paris 6 Sorbonne Universités; Tech. U. Kaiserslautern; U. Nova de Lisboa; U. Catholique de Louvain. 2018, pp.1-15
Reports hal-01685945v1
Image document

Consistency in 3D

Marc Shapiro , Masoud Saeida Ardekani , Gustavo Petri
[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016
Reports hal-01343592v1
Image document

The CISE Tool: Proving Weakly-Consistent Applications Correct

Mahsa Najafzadeh , Alexey Gotsman , Hongseok Yang , Carla Ferreira , Marc Shapiro
[Research Report] RR-8870, Inria Paris Rocquencourt. 2016
Reports hal-01279495v2
Image document

Cure: Strong semantics meets high availability and low latency

Deepthi Devaki Akkoorath , Alejandro Tomsic , Manuel Bravo , Zhongmiao Li , Tyler Crain
[Research Report] RR-8858, INRIA; Paris 6. 2016
Reports hal-01270776v2
Image document

Write Fast, Read in the Past: Causal Consistency for Client-side Applications

Marek Zawirski , Nuno Preguiça , Sérgio Duarte , Annette Bieniusa , Valter Balegas
[Research Report] RR-8729, Inria – Centre Paris-Rocquencourt; INRIA. 2015
Reports hal-01158370v2
Image document

Emulating Geo-Replication on Grid5000

Dastagiri Reddy Malikireddy , Masoud Saeida Ardekani , Marc Shapiro
[Technical Report] RT-0455, Inria – Centre Paris-Rocquencourt; INRIA. 2015, pp.15
Reports hal-01149185v1
Image document

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine

Marek Zawirski , Annette Bieniusa , Valter Balegas , Sérgio Duarte , Carlos Baquero
[Research Report] RR-8347, INRIA. 2013
Reports hal-00870225v1
Image document

Non-Monotonic Snapshot Isolation

Masoud Saeida Ardekani , Pierre Sutra , Nuno Preguiça , Marc Shapiro
[Research Report] RR-7805, INRIA. 2013, pp.45
Reports hal-00643430v5
Image document

An optimized conflict-free replicated set

Annette Bieniusa , Marek Zawirski , Nuno Preguiça , Marc Shapiro , Carlos Baquero
[Research Report] RR-8083, INRIA. 2012, pp.12
Reports hal-00738680v1
Image document

Conflict-free Replicated Data Types

Marc Shapiro , Nuno Preguiça , Carlos Baquero , Marek Zawirski
[Research Report] RR-7687, INRIA. 2011, pp.18
Reports inria-00609399v2
Image document

A comprehensive study of Convergent and Commutative Replicated Data Types

Marc Shapiro , Nuno Preguiça , Carlos Baquero , Marek Zawirski
[Research Report] RR-7506, Inria – Centre Paris-Rocquencourt; INRIA. 2011, pp.50
Reports inria-00555588v1
Image document

CRDTs: Consistency without concurrency control

Mihai Leția , Nuno Preguiça , Marc Shapiro
[Research Report] RR-6956, INRIA. 2009, pp.16
Reports inria-00397981v1

Designing a commutative replicated data type for cooperative editing systems

Nuno Preguiça , Marc Shapiro , Jose Legatheaux Martins
[Research Report] TR-02-2008 DI-FCT-UNL, Universidade Nova de Lisboa, Dep. Informática, FCT. 2008
Reports hal-01248203v1
Image document

Telex: Principled System Support for Write-Sharing in Collaborative Applications

Lamia Benmouffok , Jean-Michel Busca , Joan Manuel Marquès , Marc Shapiro , Pierre Sutra
[Research Report] RR-6546, INRIA. 2008, pp.31
Reports inria-00281329v2
Image document

Fault-Tolerant Partial Replication in Large-Scale Database Systems

Pierre Sutra , Marc Shapiro
[Research Report] RR-6440, INRIA. 2008, pp.25
Reports inria-00232662v4
Image document

A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages

Claudia Lavinia Ignat , Gérald Oster , Pascal Molli , Michelle Cart , Jean Ferrié
[Research Report] RR-6278, INRIA. 2007, pp.19
Reports inria-00169395v2
Image document

Designing a commutative replicated data type

Marc Shapiro , Nuno Preguiça
[Research Report] RR-6320, INRIA. 2007
Reports inria-00177693v2
Image document

Fostering Systems Research in Europe

Peter Druschel , Rebecca Isaacs , Thomas Gross , Marc Shapiro
[Technical Report] 2006
Reports inria-00444781v1
Image document

An asynchronous, decentralised commitment protocol for semantic optimistic replication

Pierre Sutra , Marc Shapiro , Joao Barreto
[Research Report] RR-6069, INRIA. 2006, pp.21
Reports inria-00120734v3
Image document

An application Framework for Collaborative, Nomadic Applications

James J. O'Brien , Marc Shapiro
[Research Report] RR-5745, INRIA. 2005, pp.26
Reports inria-00070274v1
Image document

Proving Correctness of Highly-Concurrent Linearisable Objects

Viktor Vafeiadis , Maurice Herlihy , Tony Hoare , Marc Shapiro
[Research Report] RR-5716, INRIA. 2005, pp.20
Reports inria-00070301v1
Image document

A formalism for consistency and partial replication

Marc Shapiro , Karthikeyan Bhargavan , Yek Chong , Youssef Hamadi
[Technical Report] Microsoft Research. 2004
Reports inria-00444800v1

An Application Agnostic Replication System for Ubiquitous Computing

James O'Brien , Marc Shapiro
[Research Report] MSR-TR-2004-64, Microsoft Research Cambridge. 2004
Reports hal-01248211v1

The Actions-Constraints approach to replication: Definitions and proofs

Marc Shapiro , Karthikeyan Bhargavan
[Research Report] MSR-TR-2004-14, Microsoft Research. 2004
Reports hal-01248210v1
Image document

SqlIceCube: Automatic Semantics-Based Reconciliation for Mobile Databases

Nuno Preguiça , Marc Shapiro , José Legatheaux Martins
[Technical Report] Universidade Nova de Lisboa, Dep. Informática, FCT. 2003
Reports inria-00444767v1
Image document

Optimistic Replication

Yasushi Saito , Marc Shapiro
[Technical Report] Microsoft Research. 2003
Reports inria-00444768v1

Replication: Optimistic Approaches

Yasushi Saito , Marc Shapiro
[Technical Report] Hewlett-Packard Laboratories. 2002
Reports inria-00444765v1

Efficient semantics-aware reconciliation for optimistic write sharing

Nuno Preguiça , Marc Shapiro , Caroline Matheson
[Research Report] MSR-TR-2002-52, Microsoft Research. 2002
Reports hal-01248214v1
Image document

PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store

Paulo Ferreira , Marc Shapiro , Xavier Blondel , Olivier Fambon , João Garcia
[Research Report] RR-3525, INRIA. 1998
Reports inria-00077216v1
Image document

Larchant-RDOSS: a distributed shared persistent memory and its garbage collector

Marc Shapiro , Paulo Ferreira
[Research Report] RR-2399, INRIA. 1996
Reports inria-00444634v2
Image document

Distribution and persistence in multiple and heterogeneous address spaces

Paulo Ferreira , Marc Shapiro
[Research Report] RR-2016, INRIA. 1993
Reports inria-00074655v1
Image document

Flexible Bindings for Fine-Grain, Distributed Objects in distributed systems

Marc Shapiro
[Research Report] RR-2007, INRIA. 1993
Reports inria-00074665v1
Image document

SSP chains : robust, distributed references supporting acyclic garbage collection

Marc Shapiro , Peter Dickman , David Plainfossé
[Research Report] RR-1799, INRIA. 1992
Reports inria-00074876v1
Image document

Structuring distributed applications as fragmented objects

Mesaac Makpangou , Jean-Pierre Le Narzul , Marc Shapiro , Yvon Gourhant
[Research Report] RR-1404, INRIA. 1991
Reports inria-00075156v1
Image document

A garbage detection protocol for a realistic distributed object-support system

Marc Shapiro , Olivier Gruber , David Plainfosse
RR-1320, INRIA. 1990
Reports inria-00077186v1
Image document

Un bilan du système réparti à objets SOS

Marc Shapiro , Yvon Gourhant , Sabine Habert , Jean-Pierre Le Narzul , Laurence Mosseri
RR-1242, INRIA. 1990
Reports inria-00075316v1

Generic Virtual Memory Management for Operating System Kernels

Vadim Abrossimov , Marc Rozier , Marc Shapiro
[Research Report] 1989
Reports inria-00444603v1
Image document

Prototyping a distributed objet-oriented operating system on UNIX

Marc Shapiro
RR-1082, INRIA. 1989
Reports inria-00075477v1
Image document

The SOS object-oriented communication service

Mesaac Makpangou , Marc Shapiro
[Research Report] RR-0801, INRIA. 1988
Reports inria-00075750v1
Image document

Un recueil de papiers sur le systeme d'exploitation reparti a objets SOS

Marc Shapiro , Vadim Abrossimov , P. Gautron , S. Habert , Mesaac Makpangou
[Rapport de recherche] RT-0084, INRIA. 1987, pp.77
Reports inria-00070080v1
Image document

Object management in large-scale distributed systems

Marc Shapiro
Computer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002
Habilitation à diriger des recherches tel-01248269v1