Marc Shapiro

227
Documents

Présentation

Publications

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⟩
Article dans une revue hal-01848384 v1
Image document

Technical Perspective: Unexpected Connections

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

Geo-Replication: Fast If Possible, Consistent If Necessary

Valter Balegas , Cheng Li , Mahsa Najafzadeh , Daniel Porto , Allen Clement et al.
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
Article dans une revue hal-01350652 v1
Image document

Bringing the cloud closer to users

Marc Shapiro
Research*eu , 2015, 2015 (1), pp.68--69
Article dans une revue hal-01248193 v1
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⟩
Article dans une revue hal-00932737 v1
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⟩
Article dans une revue hal-00932831 v1
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
Article dans une revue hal-00932833 v1
Image document

What's wrong with us?

Marc Shapiro
IEEE Distributed Systems Online, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩
Article dans une revue inria-00444782 v1
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⟩
Article dans une revue hal-01248209 v1
Image document

Optimistic Replication

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

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
Article dans une revue inria-00444647 v1
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
Article dans une revue inria-00444636 v1

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

Marc Shapiro
IX-Magazine, 1991, 6 (41)
Article dans une revue inria-00444650 v1

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
Article dans une revue inria-00444620 v1
Image document

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

Marc Shapiro , Yvon Gourhant , Sabine Habert , Jean-Pierre Le Narzul , Laurence Mosseri et al.
AFCET Interfaces, 1991, 103/104, pp.46--53
Article dans une revue inria-00444609 v1
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
Article dans une revue inria-00444611 v1
Image document

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

Marc Shapiro , Yvon Gourhant , Sabine Habert , Laurence Mosseri , Michel Ruffin et al.
Computing systems, 1989, 2 (4), pp.287--337
Article dans une revue hal-01248230 v1

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
Article dans une revue hal-01248235 v1

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
Article dans une revue inria-00444652 v1

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
Article dans une revue inria-00444653 v1

CALock: Multi-granularity locking in dynamic hierarchies

Ayush Pandey , Julien Sopena , Marc Shapiro , Swan Dubois
IPDPS 2025 - 39th IEEE International Parallel and Distributed Processing Symposium, Jun 2025, Milan, Italy
Communication dans un congrès hal-04989563 v1
Image document

Towards local-first distributed property graphs

Ayush Pandey , Stefania Dumbrava , Marc Shapiro , Carla Ferreira , Mário Pereira et al.
12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys, Mar 2025, Rotterdam, Netherlands. ⟨10.1145/3721473.3722139⟩
Communication dans un congrès hal-04985261 v1
Image document

Diversifying locks for effective synchronization in dynamic graphs

Ayush Pandey , Julien Sopena , Marc Shapiro
EuroSys 2024 Doctoral Workshop, Apr 2024, Athens, Greece
Communication dans un congrès hal-04851918 v1
Image document

Models for Storage in Database Backends

Edgard Schiebelbein , Saalik Hatia , Annette Bieniusa , Gustavo Petri , Carla Ferreira et al.
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩
Communication dans un congrès hal-04507674 v2
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
Communication dans un congrès hal-04117344 v1
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⟩
Communication dans un congrès hal-04015827 v1
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
Communication dans un congrès hal-04004775 v1
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⟩
Communication dans un congrès hal-03353663 v3
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
Communication dans un congrès hal-03278658 v1
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⟩
Communication dans un congrès hal-02943802 v1
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
Communication dans un congrès hal-02424317 v3
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
Communication dans un congrès hal-02943380 v1
Image document

MemOpLight: Leveraging application feedback to improve container memory consolidation

Francis Laniel , Damien Carver , Julien Sopena , Franck Wajsburt , Jonathan Lejeune et al.
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⟩
Communication dans un congrès hal-03065629 v1

An environment for composable distributed computing

Benoît Martin , Laurent Prosperi , Marc Shapiro
EuroDW 2020 - 14th EuroSys Doctoral Workshop, Apr 2020, Heraklion / Virtual, Greece
Communication dans un congrès hal-03146124 v1
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
Communication dans un congrès hal-02052012 v1
Image document

Highlighting the Container Memory Consolidation Problems in Linux

Francis Laniel , Damien Carver , Julien Sopena , Franck Wajsburt , Jonathan Lejeune et al.
NCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-4, ⟨10.1109/NCA.2019.8935034⟩
Communication dans un congrès hal-02424007 v1
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
Communication dans un congrès hal-01727207 v1
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⟩
Communication dans un congrès hal-01696263 v1
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⟩
Communication dans un congrès hal-01728712 v1
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⟩
Communication dans un congrès hal-01876456 v1
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
Communication dans un congrès hal-01860334 v1
Image document

Cure: Strong semantics meets high availability and low latency

Deepthi Devaki Akkoorath , Alejandro Tomsic , Manuel Bravo , Zhongmiao Li , Tyler Crain et al.
Int. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. pp.405-414, ⟨10.1109/ICDCS.2016.98⟩
Communication dans un congrès hal-01350558 v1
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⟩
Communication dans un congrès hal-01243192 v1
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⟩
Communication dans un congrès hal-01350657 v1
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⟩
Communication dans un congrès hal-01350636 v1
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⟩
Communication dans un congrès hal-01242700 v1
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
Communication dans un congrès hal-01350668 v1
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⟩
Communication dans un congrès hal-01343941 v1

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⟩
Communication dans un congrès hal-01248195 v1
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⟩
Communication dans un congrès hal-01218208 v1
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⟩
Communication dans un congrès hal-01218204 v1
Image document

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Valter Balegas , Diogo Serra , Sérgio Duarte , Carla Ferreira , Marc Shapiro et al.
Symp. on Reliable Dist. Sys. (SRDS), Sep 2015, Montréal, Canada. pp.31-36, ⟨10.1109/SRDS.2015.32⟩
Communication dans un congrès hal-01248192 v1
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 et al.
Int. Conf. on Middleware (MIDDLEWARE), Dec 2015, Vancouver, BC, Canada. pp.75-87, ⟨10.1145/2814576.2814733⟩
Communication dans un congrès hal-01248194 v1
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⟩
Communication dans un congrès hal-01178790 v1
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⟩
Communication dans un congrès hal-01248190 v1
Image document

Putting Consistency back into Eventual Consistency

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

CRDTs in practice

Marc Shapiro
W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States
Communication dans un congrès hal-01351589 v1

The Case for Fast and Invariant-Preserving Geo-Replication

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

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⟩
Communication dans un congrès hal-01109114 v1

Putting the Consistency Back Into Eventual Consistency

Valter Balegas , Mahsa Najafzadeh , Sérgio Duarte , Carla Ferreira , Marc Shapiro et al.
Large-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
Communication dans un congrès hal-01109719 v1

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
Communication dans un congrès hal-01105053 v1

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
Communication dans un congrès hal-01109740 v1
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⟩
Communication dans un congrès hal-00932788 v1
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⟩
Communication dans un congrès hal-00932758 v1
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⟩
Communication dans un congrès hal-00932657 v1
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⟩
Communication dans un congrès hal-00868012 v1
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⟩
Communication dans un congrès hal-00932781 v1
Image document

Brief Announcement: Semantics of Eventually Consistent Replicated Sets

Annette Bieniusa , Marek Zawirski , Nuno Preguiça , Marc Shapiro , Carlos Baquero et al.
DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Bahia, Brazil. pp.441--442, ⟨10.1007/978-3-642-33651-5_48⟩
Communication dans un congrès hal-00769554 v1
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⟩
Communication dans un congrès hal-00932803 v1
Image document

A Grid Based Distributed Cooperative Environment for Health Care Research

Felipe Maia , Rafael Araújo , Luiz Carlos Muniz , Rayrone Zirtany , Luciano Coutinho et al.
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⟩
Communication dans un congrès hal-00932708 v1
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⟩
Communication dans un congrès hal-00932795 v1
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
Communication dans un congrès inria-00586591 v2
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⟩
Communication dans un congrès hal-00932836 v1
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⟩
Communication dans un congrès hal-00932818 v1
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
Communication dans un congrès hal-00932809 v1
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⟩
Communication dans un congrès hal-00932839 v1
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⟩
Communication dans un congrès hal-01248198 v1
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
Communication dans un congrès hal-01248197 v1
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⟩
Communication dans un congrès hal-01248270 v1
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⟩
Communication dans un congrès inria-00445975 v1
Image document

Telex: A Semantic Platform for Cooperative Application Development

Lamia Benmouffok , Jean-Michel Busca , Joan Manuel Marquès , Marc Shapiro , Pierre Sutra et al.
Conférence Française sur les Systèmes d'Exploitation (CFSE), Sep 2009, Toulouse, France
Communication dans un congrès inria-00444792 v1

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
Communication dans un congrès inria-00444788 v1
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⟩
Communication dans un congrès inria-00444796 v1
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é et al.
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⟩
Communication dans un congrès inria-00188329 v1
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⟩
Communication dans un congrès inria-00444783 v1
Image document

Comparing Optimistic Database Replication Techniques

Pierre Sutra , Marc Shapiro
Bases de Données Avancées (BDA), Oct 2007, Marseille, France
Communication dans un congrès inria-00444785 v1
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
Communication dans un congrès inria-00444787 v1
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⟩
Communication dans un congrès hal-01248204 v1
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⟩
Communication dans un congrès inria-00445942 v1

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⟩
Communication dans un congrès hal-01248205 v1

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⟩
Communication dans un congrès hal-01248206 v1
Image document

FEW: File Management for Portable Devices

Nuno Preguiça , Carlos Baquero , José Legatheaux Martins , Marc Shapiro , Paulo Sérgio Almeida et al.
International Workshop on Software Support for Portable Storage, Mar 2005, San Francisco, CA, United States
Communication dans un congrès inria-00444798 v1
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
Communication dans un congrès inria-00444797 v1
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⟩
Communication dans un congrès inria-00444799 v1
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⟩
Communication dans un congrès inria-00444773 v1
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
Communication dans un congrès inria-00444779 v1
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⟩
Communication dans un congrès inria-00444770 v1
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
Communication dans un congrès inria-00444769 v1
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⟩
Communication dans un congrès inria-00445758 v1
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
Communication dans un congrès hal-01248212 v1

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

Marc Shapiro
Journées Bases de Données Avancées (BDA), 2002, Évry, France
Communication dans un congrès hal-01248213 v1

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
Communication dans un congrès inria-00444780 v1
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⟩
Communication dans un congrès hal-01248215 v1
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⟩
Communication dans un congrès hal-01248216 v1
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⟩
Communication dans un congrès hal-01248218 v1
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
Communication dans un congrès inria-00444646 v1
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
Communication dans un congrès inria-00444641 v1
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⟩
Communication dans un congrès hal-01248220 v1
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⟩
Communication dans un congrès hal-01248219 v1
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
Communication dans un congrès hal-01248221 v1
Image document

PerDiS ―- a Persistent Distributed Store for Cooperative Applications

Marc Shapiro , Sytse Kloosterman , Fabio Riccardi
Proc. 3rd Cabernet Plenary W., 1997, Rennes, France
Communication dans un congrès hal-01248222 v1
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
Communication dans un congrès inria-00444640 v1
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⟩
Communication dans un congrès inria-00444639 v1
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⟩
Communication dans un congrès hal-01248224 v1
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
Communication dans un congrès inria-00444637 v1
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
Communication dans un congrès inria-00444638 v1
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⟩
Communication dans un congrès hal-01248223 v1
Image document

Garbage Collection and DSM Consistency

Paulo Ferreira , Marc Shapiro
osdi, 1994, Monterey CA, USA, United States. pp.229--241
Communication dans un congrès inria-00444631 v1
Image document

Garbage Collection of Persistent Objects in Distributed Shared Memory

Paulo Ferreira , Marc Shapiro
pos, 1994, Tarascon, France, France. pp.176--191
Communication dans un congrès inria-00444630 v1

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
Communication dans un congrès inria-00444632 v1
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⟩
Communication dans un congrès inria-00444629 v1

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⟩
Communication dans un congrès inria-00444635 v1

Implementing Efficient Indirections

Julien Maisonneuve , Marc Shapiro
Broadcast 1st Open Workshop, 1993, Newcastle, England, United Kingdom
Communication dans un congrès inria-00444628 v1

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⟩
Communication dans un congrès inria-00444655 v1

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⟩
Communication dans un congrès inria-00444656 v1
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⟩
Communication dans un congrès inria-00444623 v1

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⟩
Communication dans un congrès hal-01248225 v1
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⟩
Communication dans un congrès inria-00444633 v1
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
Communication dans un congrès inria-00444622 v1

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
Communication dans un congrès inria-00444624 v1

Operating System Support for Distributed and Persistent Objects

Marc Shapiro
International Workshop on Distributed Object Management (IWDOM), 1992, Edmonton, Canada, Canada. pp.202--205
Communication dans un congrès inria-00444625 v1

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
Communication dans un congrès inria-00444613 v1
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⟩
Communication dans un congrès inria-00444616 v1
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⟩
Communication dans un congrès inria-00444618 v1
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⟩
Communication dans un congrès inria-00444615 v1

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⟩
Communication dans un congrès istex hal-01248226 v1

Distributed Object-Support Operating Systems and Garbage Collection

Marc Shapiro
Workshop on Garbage Collection at OOPSLA-ECOOP'90, 1990, Ottawa, Canada, Canada
Communication dans un congrès inria-00444612 v1

FOG/C++: a Fragmented-Object Generator

Yvon Gourhant , Marc Shapiro
C++ Conference, Usenix, 1990, San Francisco, CA, USA, United States. pp.63--74
Communication dans un congrès inria-00444608 v1

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

Marc Shapiro
Confèrences techniques, Convention Unix 90, AFUU, 1990, Paris, France
Communication dans un congrès inria-00444649 v1

Object-Support Operating Systems

Marc Shapiro
Workshop on Operating Systems and Object Orientation at ECOOP-OOPSLA 1990, 1990, Ottawa, Canada, Canada
Communication dans un congrès inria-00444610 v1

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⟩
Communication dans un congrès hal-01248228 v1

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
Communication dans un congrès inria-00444600 v1
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
Communication dans un congrès inria-00444602 v1

Software Integration in SOMIW : Goals, Accomplishments, and Problems

Marc Shapiro , Nuno Guimarães
Esprit'89, 6th Annual Esprit Conf., 1989, Brussels, Belgium
Communication dans un congrès inria-00444605 v1

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
Communication dans un congrès inria-00444601 v1

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
Communication dans un congrès inria-00444604 v1

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
Communication dans un congrès inria-00444599 v1

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⟩
Communication dans un congrès hal-01248234 v1

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

Marc Shapiro
Proc. Esprit Technical Week 1988, 1988, Brussels, Belgium, Belgium
Communication dans un congrès inria-00444598 v1

The SOS Object-Oriented Communication Service

Mesaac Makpangou , Marc Shapiro
Proc. 9th Int. Conf. on Computer Communication, 1988, Tel Aviv, Israel
Communication dans un congrès hal-01248233 v1

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
Communication dans un congrès inria-00444597 v1

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⟩
Communication dans un congrès hal-01248236 v1
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
Communication dans un congrès inria-00444651 v1

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
Communication dans un congrès inria-00444648 v1

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
Communication dans un congrès inria-00444510 v1

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
Communication dans un congrès inria-00444520 v1

An Experiment in Distributed Program Design, Using Control Enrichment

Marc Shapiro
icdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States
Communication dans un congrès inria-00444654 v1

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

Jean-Michel Ayache , B. Carrichon , Jean-Pierre Courtiat , Michel Diaz , Marc Shapiro et al.
Symposium on Fault-Tolerant Computing (FTCS-11), Jun 1981, Portland, Maine, USA", United States. pp.224-227
Communication dans un congrès inria-00444502 v1

A distributed control system for industrial plants

Jean-Michel Ayache , B. Carrichon , Michel Devy , Michel Diaz , B. Potin et al.
Euromicro 80 Conference, 1980, London, United Kingdom
Communication dans un congrès inria-00444517 v1

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⟩
Poster de conférence hal-01111208 v1

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
Ouvrages inria-00444617 v1

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
Ouvrages hal-01248227 v1
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⟩
Chapitre d'ouvrage hal-01756780 v1
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⟩
Chapitre d'ouvrage hal-01793586 v1

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⟩
Chapitre d'ouvrage hal-02895799 v1
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⟩
Chapitre d'ouvrage inria-00444791 v2
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⟩
Chapitre d'ouvrage hal-01248202 v1
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
Chapitre d'ouvrage inria-00444645 v1

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
Chapitre d'ouvrage hal-01248217 v1
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
Chapitre d'ouvrage inria-00444643 v1
Image document

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

Paulo Ferreira , Marc Shapiro , Xavier Blondel , Olivier Fambon , João Garcia et al.
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⟩
Chapitre d'ouvrage inria-00444644 v1
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
Chapitre d'ouvrage inria-00444614 v1

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
Chapitre d'ouvrage inria-00444619 v1

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
Chapitre d'ouvrage inria-00444621 v1
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
Rapport hal-03654003 v2
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
Rapport (rapport de recherche) hal-03150817 v3
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
Rapport (rapport de recherche) hal-02902474 v2
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
Rapport hal-02492599 v1
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
Rapport (rapport de recherche) hal-01685945 v1
Image document

Improving the "Correct Eventual Consistency" Tool

Sreeja S Nair , Marc Shapiro
[Research Report] RR-9191, Sorbonne Université. 2018
Rapport (rapport de recherche) hal-01832888 v1
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
Rapport (rapport de recherche) hal-01279495 v2
Image document

Cure: Strong semantics meets high availability and low latency

Deepthi Devaki Akkoorath , Alejandro Tomsic , Manuel Bravo , Zhongmiao Li , Tyler Crain et al.
[Research Report] RR-8858, INRIA; Paris 6. 2016
Rapport (rapport de recherche) hal-01270776 v2
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
Rapport (rapport de recherche) hal-01343592 v1
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
Rapport (rapport technique) hal-01149185 v1
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 et al.
[Research Report] RR-8729, Inria – Centre Paris-Rocquencourt; INRIA. 2015
Rapport (rapport de recherche) hal-01158370 v2
Image document

Non-Monotonic Snapshot Isolation

Masoud Saeida Ardekani , Pierre Sutra , Nuno Preguiça , Marc Shapiro
[Research Report] RR-7805, INRIA. 2013, pp.45
Rapport (rapport de recherche) hal-00643430 v5
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 et al.
[Research Report] RR-8347, INRIA. 2013
Rapport (rapport de recherche) hal-00870225 v1
Image document

An optimized conflict-free replicated set

Annette Bieniusa , Marek Zawirski , Nuno Preguiça , Marc Shapiro , Carlos Baquero et al.
[Research Report] RR-8083, INRIA. 2012, pp.12
Rapport (rapport de recherche) hal-00738680 v1
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
Rapport (rapport de recherche) inria-00555588 v1
Image document

Conflict-free Replicated Data Types

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

CRDTs: Consistency without concurrency control

Mihai Leția , Nuno Preguiça , Marc Shapiro
[Research Report] RR-6956, INRIA. 2009, pp.16
Rapport (rapport de recherche) inria-00397981 v1
Image document

Fault-Tolerant Partial Replication in Large-Scale Database Systems

Pierre Sutra , Marc Shapiro
[Research Report] RR-6440, INRIA. 2008, pp.25
Rapport (rapport de recherche) inria-00232662 v4
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 et al.
[Research Report] RR-6546, INRIA. 2008, pp.31
Rapport (rapport de recherche) inria-00281329 v2

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
Rapport (rapport de recherche) hal-01248203 v1
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é et al.
[Research Report] RR-6278, INRIA. 2007, pp.19
Rapport (rapport de recherche) inria-00169395 v2
Image document

Designing a commutative replicated data type

Marc Shapiro , Nuno Preguiça
[Research Report] RR-6320, INRIA. 2007
Rapport (rapport de recherche) inria-00177693 v2
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
Rapport (rapport de recherche) inria-00120734 v3
Image document

Fostering Systems Research in Europe

Peter Druschel , Rebecca Isaacs , Thomas Gross , Marc Shapiro
[Technical Report] 2006
Rapport (rapport technique) inria-00444781 v1
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
Rapport (rapport de recherche) inria-00070301 v1
Image document

An application Framework for Collaborative, Nomadic Applications

James J. O'Brien , Marc Shapiro
[Research Report] RR-5745, INRIA. 2005, pp.26
Rapport (rapport de recherche) inria-00070274 v1

An Application Agnostic Replication System for Ubiquitous Computing

James O'Brien , Marc Shapiro
[Research Report] MSR-TR-2004-64, Microsoft Research Cambridge. 2004
Rapport (rapport de recherche) hal-01248211 v1
Image document

A formalism for consistency and partial replication

Marc Shapiro , Karthikeyan Bhargavan , Yek Chong , Youssef Hamadi
[Technical Report] Microsoft Research. 2004
Rapport (rapport technique) inria-00444800 v1

The Actions-Constraints approach to replication: Definitions and proofs

Marc Shapiro , Karthikeyan Bhargavan
[Research Report] MSR-TR-2004-14, Microsoft Research. 2004
Rapport (rapport de recherche) hal-01248210 v1
Image document

Optimistic Replication

Yasushi Saito , Marc Shapiro
[Technical Report] Microsoft Research. 2003
Rapport (rapport technique) inria-00444768 v1
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
Rapport (rapport technique) inria-00444767 v1

Replication: Optimistic Approaches

Yasushi Saito , Marc Shapiro
[Technical Report] Hewlett-Packard Laboratories. 2002
Rapport (rapport technique) inria-00444765 v1

Efficient semantics-aware reconciliation for optimistic write sharing

Nuno Preguiça , Marc Shapiro , Caroline Matheson
[Research Report] MSR-TR-2002-52, Microsoft Research. 2002
Rapport (rapport de recherche) hal-01248214 v1
Image document

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

Paulo Ferreira , Marc Shapiro , Xavier Blondel , Olivier Fambon , João Garcia et al.
[Research Report] RR-3525, INRIA. 1998
Rapport (rapport de recherche) inria-00077216 v1
Image document

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

Marc Shapiro , Paulo Ferreira
[Research Report] RR-2399, INRIA. 1996
Rapport (rapport de recherche) inria-00444634 v2
Image document

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

Marc Shapiro
[Research Report] RR-2007, INRIA. 1993
Rapport (rapport de recherche) inria-00074665 v1
Image document

Distribution and persistence in multiple and heterogeneous address spaces

Paulo Ferreira , Marc Shapiro
[Research Report] RR-2016, INRIA. 1993
Rapport (rapport de recherche) inria-00074655 v1
Image document

SSP chains : robust, distributed references supporting acyclic garbage collection

Marc Shapiro , Peter Dickman , David Plainfossé
[Research Report] RR-1799, INRIA. 1992
Rapport (rapport de recherche) inria-00074876 v1
Image document

Structuring distributed applications as fragmented objects

Mesaac Makpangou , Jean-Pierre Le Narzul , Marc Shapiro , Yvon Gourhant
[Research Report] RR-1404, INRIA. 1991
Rapport (rapport de recherche) inria-00075156 v1
Image document

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

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

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

Marc Shapiro , Yvon Gourhant , Sabine Habert , Jean-Pierre Le Narzul , Laurence Mosseri et al.
RR-1242, INRIA. 1990
Rapport inria-00075316 v1
Image document

Prototyping a distributed objet-oriented operating system on UNIX

Marc Shapiro
RR-1082, INRIA. 1989
Rapport inria-00075477 v1

Generic Virtual Memory Management for Operating System Kernels

Vadim Abrossimov , Marc Rozier , Marc Shapiro
[Research Report] 1989
Rapport (rapport de recherche) inria-00444603 v1
Image document

The SOS object-oriented communication service

Mesaac Makpangou , Marc Shapiro
[Research Report] RR-0801, INRIA. 1988
Rapport (rapport de recherche) inria-00075750 v1
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
Rapport (rapport de recherche) inria-00070080 v1
Image document

Object management in large-scale distributed systems

Marc Shapiro
Computer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002
HDR tel-01248269 v1