Marc Shapiro
222
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
|
Data Consistency in Distributed Systems: Algorithms, Programs, and DatabasesDagstuhl Reports, 2018, Dagstuhl Reports, 8 (2), pp.101-121. ⟨10.4230/DagRep.8.2.101⟩
Journal articles
hal-01848384v1
|
|
Technical Perspective: Unexpected ConnectionsCommunications of the ACM, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Journal articles
hal-01570845v1
|
|
Geo-Replication: Fast If Possible, Consistent If NecessaryBulletin 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
|
|
Bringing the cloud closer to usersResearch*eu , 2015, 2015 (1), pp.68--69
Journal articles
hal-01248193v1
|
|
Consistency in Distributed SystemsDagstuhl Reports, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩
Journal articles
hal-00932737v1
|
|
Assessing the Scalability of Garbage Collectors on Many CoresOperating Systems Review, 2011, Best papers from PLOS'11, 45 (3), pp.15--19. ⟨10.1145/2094091.2094096⟩
Journal articles
hal-00932831v1
|
|
Convergent and Commutative Replicated Data TypesBulletin- European Association for Theoretical Computer Science, 2011, 104, pp.67-88
Journal articles
hal-00932833v1
|
|
What's wrong with us?IEEE Distributed Systems Online, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩
Journal articles
inria-00444782v1
|
|
Optimistic ReplicationACM Computing Surveys, 2005, 37 (1), pp.42--81. ⟨10.1145/1057977.1057980⟩
Journal articles
hal-01248208v1
|
|
Pushing log-based reconciliationInternational Journal on Artificial Intelligence Tools, 2005, 14 (3--4), pp.445--458. ⟨10.1142/S0218213005002193⟩
Journal articles
hal-01248209v1
|
Numèro spècial sur la Mèmoire Partagèe RèpartieRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997
Journal articles
inria-00444647v1
|
|
|
Summary of the 6th SIGOPS European Workshop on ``Matching Operating Systems to Application Needs''Operating Systems Review, 1995, 29 (1), pp.47--51
Journal articles
inria-00444636v1
|
Systèmes d'Objets RèpartisIEEE 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'exploitationIX-Magazine, 1991, 6 (41)
Journal articles
inria-00444650v1
|
|
Object-Support Operating SystemsIEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (1), pp.39--42
Journal articles
inria-00444611v1
|
|
Un Bilan du système rèparti à objets SOSAFCET Interfaces, 1991, 103/104, pp.46--53
Journal articles
inria-00444609v1
|
|
|
SOS: An Object-Oriented Operating System ―- Assessment and PerspectivesComputing systems, 1989, 2 (4), pp.287--337
Journal articles
hal-01248230v1
|
SOS : un système d'exploitation rèparti basè sur les objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1987, 6 (2), pp.166--169
Journal articles
inria-00444652v1
|
|
SOS~: un système d'exploitation réparti basé sur les objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1987, 6 (2), pp.166--169
Journal articles
hal-01248235v1
|
|
Le service d'appel de procèdure distante GirolleRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1984, 3 (6), pp.435--442
Journal articles
inria-00444653v1
|
|
Varda: A Framework for Compositional Distributed ProgrammingNETYS 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
|
|
Shared memory for the actor modelCOMPAS 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
|
|
CRDTs for truly concurrent file systemsHotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France
Conference papers
hal-03278658v1
|
|
Highly-available and consistent group collaboration at the edge with colonyMiddleware 2021: 22nd International Middleware Conference, Dec 2021, Québec / Virtual, Canada. pp.336-351, ⟨10.1145/3464298.3493405⟩
Conference papers
hal-03353663v3
|
|
Proving the safety of highly-available distributed objectsESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Conference papers
hal-02424317v3
|
|
Data Consistency in the 5G SpecificationICIN 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
|
|
Towards application-specific query processing systemsBDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtual, France
Conference papers
hal-02943380v1
|
|
MemOpLight: Leveraging application feedback to improve container memory consolidationNCA 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
|
An environment for composable distributed computingEuroDW 2020 - 14th EuroSys Doctoral Workshop, Apr 2020, Heraklion / Virtual, Greece
Conference papers
hal-03146124v1
|
|
|
Highlighting the Container Memory Consolidation Problems in LinuxNCA 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
|
|
Invariant Safety for Distributed ApplicationsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Conference papers
hal-02052012v1
|
|
Ensuring referential integrity under causal consistency PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Conference papers
hal-01727207v1
|
|
Co-Design and Verification of an Available File System 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
|
|
A Modular Design for Geo-Distributed QueryingPaPoC 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
|
|
Distributed transactional reads: the strong, the quick, the fresh & the impossible2018 ACM/IFIP/USENIX International Middleware Conference, ACM/IFIP/USENIX, Dec 2018, Rennes, France. pp.14, ⟨10.1145/3274808.3274818⟩
Conference papers
hal-01876456v1
|
|
Vers une cohérence causale évolutive sans chaînes de ralentissementsCompas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Nice Sophia-Antipolis, France
Conference papers
hal-01860334v1
|
|
PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolationPaPoC 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
|
|
Consistency in 3DInt. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Conference papers
hal-01350668v1
|
|
High Responsiveness for Group Editing CRDTsACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
Conference papers
hal-01343941v1
|
|
Eventually Consistent Register RevisitedInt. 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
|
|
The CISE Tool: Proving Weakly-Consistent Applications CorrectPaPoC 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
|
|
Cure: Strong semantics meets high availability and low latencyInt. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. pp.405-414, ⟨10.1109/ICDCS.2016.98⟩
Conference papers
hal-01350558v1
|
|
'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed SystemsSymposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384, ⟨10.1145/2837614.2837625⟩
Conference papers
hal-01243192v1
|
|
Designing a causally consistent protocol for geo-distributed partial replicationW. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. ⟨10.1145/2745947.2745953⟩
Conference papers
hal-01218204v1
|
|
An empirical perspective on causal consistencyW. 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
|
|
Extending Eventually Consistent Cloud Databases for Enforcing Numeric InvariantsSymp. on Reliable Dist. Sys. (SRDS), Sep 2015, Montréal, Canada. pp.31-36, ⟨10.1109/SRDS.2015.32⟩
Conference papers
hal-01248192v1
|
|
Merging Semantics for Conflict Updates in Geo-Distributed File SystemsACM Int. Systems and Storage Conf. (Systor), 2015, Haifa, Israel. pp.10.1--10.12, ⟨10.1145/2757667.2757683⟩
Conference papers
hal-01248190v1
|
|
NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines20th 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
|
Scaling geo-replicated databases to the MEC environmentW. on Planetary-Scale Distributed Systems, Sep 2015, Montréal, Canada. pp.74-79, ⟨10.1109/SRDSW.2015.13⟩
Conference papers
hal-01248195v1
|
|
|
Putting Consistency back into Eventual ConsistencyEuropean 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
|
CRDTs in practiceW. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States
Conference papers
hal-01351589v1
|
|
|
Write Fast, Read in the Past: Causal Consistency for Client-side ApplicationsInt. Conf. on Middleware (MIDDLEWARE), Dec 2015, Vancouver, BC, Canada. pp.75-87, ⟨10.1145/2814576.2814733⟩
Conference papers
hal-01248194v1
|
G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional ProtocolsMiddleware, Dec 2014, Bordeaux, France. pp.12, ⟨10.1145/2663165.2663336⟩
Conference papers
hal-01109114v1
|
|
Putting the Consistency Back Into Eventual ConsistencyLarge-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
Conference papers
hal-01109719v1
|
|
The Case for Fast and Invariant-Preserving Geo-ReplicationSRDSW 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
|
|
Multi-site Gargamel: Optimistic synchronization for reliable geo-replicated databasesInternational Workshop on Middleware for Dependable Systems and Networks, 2014, Bordeaux, France
Conference papers
hal-01105053v1
|
|
Exploring the spectrum of strongly-consistent transactional protocolsWorkshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom
Conference papers
hal-01109740v1
|
|
|
Improving the scalability of geo-replication with reservationsDCC 2013 : Workshop on Distributed Cloud Computing, Dec 2013, Dresden, Germany. pp.441-445, ⟨10.1109/UCC.2013.87⟩
Conference papers
hal-00932657v1
|
|
A study of the scalability of stop-the-world garbage collectors on multicoresASPLOS 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
|
|
On the Scalability of Snapshot IsolationEuro-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
|
|
Incremental Stream Processing using Computational Conflict-free Replicated Data TypesCloudDP '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
|
|
Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systemsSRDS 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
|
|
Gargamel: boosting DBMS performance by parallelising write transactionsICPADS 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
|
|
A Grid Based Distributed Cooperative Environment for Health Care ResearchFHIES 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
|
|
Brief Announcement: Semantics of Eventually Consistent Replicated SetsDISC 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
|
|
The Space Complexity of Transactional Interactive ReadsHotCDP '12 - 1st International Workshop on Hot Topics in Cloud Data Processing, Apr 2012, Bern, Switzerland. ⟨10.1145/2169090.2169094⟩
Conference papers
hal-00932803v1
|
|
Conflict-free Replicated Data TypesSSS 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
|
|
Asynchronous rebalancing of a replicated treeConférence Française en Systèmes d'Exploitation (CFSE), May 2011, Saint-Malo, France. pp.12
Conference papers
hal-01248197v1
|
|
A Semantically Rich Approach for Collaborative Model EditionSymp. on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.1470--1475, ⟨10.1145/1982185.1982500⟩
Conference papers
hal-01248198v1
|
|
Fast Genuine Generalized ConsensusSRDS 2011 - 30th IEEE Symposium on Reliable Distributed Systems, Oct 2011, Madrid, Spain. pp.255--264, ⟨10.1109/SRDS.2011.38⟩
Conference papers
hal-00932839v1
|
|
The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMsWTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy
Conference papers
hal-00932809v1
|
|
Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messagesALGOTEL 2011 - 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, May 2011, Cap Estérel, France
Conference papers
inria-00586591v2
|
|
Assessing the Scalability of Garbage Collectors on Many CoresPLOS '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
|
|
Consistency without concurrency control in large, dynamic systemsLADIS 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
|
|
A commutative replicated data type for cooperative editing29th 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
|
|
Telex: A Semantic Platform for Cooperative Application DevelopmentConférence Française sur les Systèmes d'Exploitation (CFSE), Sep 2009, Toulouse, France
Conference papers
inria-00444792v1
|
Fault-Tolerant Partial Replication in Large-Scale Database Systemseuropar, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.404--413
Conference papers
inria-00444788v1
|
|
|
Comparing Optimistic Database Replication TechniquesBases de Données Avancées (BDA), Oct 2007, Marseille, France
Conference papers
inria-00444785v1
|
|
Semantic Middleware for Designing Collaborative Applications in Mobile EnvironmentMiNEMA 2007 - 5th workshop on Middleware for Network Eccentric and Mobile Applications, Sep 2007, Magdeburg, Germany. pp.58-61
Conference papers
inria-00444787v1
|
|
Exploiting our computational surroundings for better mobile collaborationMDM 2007 - 8th International Conference on Mobile Data Management, May 2007, Mannheim, Germany. pp.110--117, ⟨10.1109/MDM.2007.24⟩
Conference papers
inria-00444796v1
|
|
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages3rd 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
|
|
Decentralised Commitment for Optimistic Semantic ReplicationInternational 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
|
Practical proofs of concurrent programsInt. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩
Conference papers
hal-01248205v1
|
|
|
Proving Correctness of Highly-Concurrent Linearisable ObjectsPPoPP 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
|
|
An Application Framework for Nomadic, Collaborative ApplicationsDAIS 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
|
|
FEW: File Management for Portable DevicesInternational Workshop on Software Support for Portable Storage, Mar 2005, San Francisco, CA, United States
Conference papers
inria-00444798v1
|
|
The three dimensions of data consistencyJourné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
|
Brief announcement: Exploring the Consistency Problem SpacePODC 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
|
|
|
Rufis: mobile data sharing using a generic constraint-oriented reconcilerConference on Mobile Data Management, 2004, Berkeley, CA, USA, United States. pp.146--151, ⟨10.1109/MDM.2004.1263052⟩
Conference papers
inria-00444770v1
|
|
Brief Announcement: A formalism for consistency and partial replicationDISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Conference papers
inria-00444779v1
|
|
A Constraint-based Formalism for Consistency in Replicated SystemsOPODIS 2004 - 8th International Conference on Principles of Distributed Systems, Dec 2004, Grenoble, France. pp.331--345, ⟨10.1007/11516798_24⟩
Conference papers
inria-00444799v1
|
|
Undo for anyone, anywhere, anytimeSIGOPS European Workshop, ACM Special Interest Group on Operating Systems, 2004, Leuven, Belgium, Belgium. ⟨10.1145/1133572.1133579⟩
Conference papers
inria-00444773v1
|
|
Automating semantics-based reconciliation for mobile databasesRenpar'15, cfse'3,SympAAA'2003, 2003, La-Colle-sur-Loup, France, France. pp.515--524
Conference papers
inria-00444769v1
|
|
Semantics-based reconciliation for collaborative and mobile environmentsCOOPIS, 2003, Catania, Sicily, Italy. pp.38-55, ⟨10.1007/b94348⟩
Conference papers
inria-00445758v1
|
|
Automating semantics-based reconciliation for mobile transactionsConf. Française sur les Systèmes d'Exploitation (CFSE), 2003, La-Colle-sur-Loup, France. pp.515--524
Conference papers
hal-01248212v1
|
Réplication : les approches optimistes (conf. invitée)Journées Bases de Données Avancées (BDA), 2002, Évry, France
Conference papers
hal-01248213v1
|
|
Scaling Optimistic ReplicationWorskshop on Future Directions in Distributed Computing (FuDiCo 2002): Research and Position Papers, 2002, Bertinoro, Forlì, Italy, Italy. pp.164--168
Conference papers
inria-00444780v1
|
|
|
The IceCube approach to the reconciliation of divergent replicasSymp. on Principles of Dist. Comp. (PODC), 2001, Newport, RI, United States. ⟨10.1145/383962.384020⟩
Conference papers
hal-01248215v1
|
|
Experience with the PerDiS large-scale data-sharing middleware9th 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
|
|
Application-independent reconciliation for nomadic applications9th ACMSIGOPS European Workshop 2000 sigopsew :``Beyond the PC:New Challenges for the Operating System'', sigops, 2000, Kolding, Denmark, Denmark
Conference papers
inria-00444646v1
|
|
The memory behavior of WWW, or the WWW considered as a persistent store9th 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
|
|
Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proofEuro. Conf. on Object-Oriented Pging. (ECOOP), 1998, Brussels, Belgium. pp.234--259, ⟨10.1007/BFb0054094⟩
Conference papers
hal-01248219v1
|
|
An implementation of complete, asynchronous, distributed garbage collectionConf. on Prog. Lang. Design and Implementation, 1998, Montreal, Canada. ⟨10.1145/277650.277715⟩
Conference papers
hal-01248220v1
|
|
Implementing Garbage Collection in the PerDiS systemProceedings of the Eighth International Workshop on Persistent Object Systems, 1998, Tiburon CA, USA, United States
Conference papers
inria-00444641v1
|
|
A detection algorithm for distributed cycles of garbageOOPSLA W. on Garbage Collection and Memory Management, 1997, Atlanta, GA, United States
Conference papers
hal-01248221v1
|
|
PerDiS PPF Case Study: Fitting a Distributed Garbage Collection Algorithm to a Persistent Distributed Store ArchitectureOOPSLA'97 Workshop on Garbage Collection and Memory Management, 1997, Atlanta GA, USA, United States
Conference papers
inria-00444640v1
|
|
PerDiS ―- a Persistent Distributed Store for Cooperative ApplicationsProc. 3rd Cabernet Plenary W., 1997, Rennes, France
Conference papers
hal-01248222v1
|
|
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage CollectionInt. 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
|
|
Evaluating Garbage Collectors for Large Persistence StoresOOPSLA Workshop on Object Database Behavior, Benchmarks, and Performance, Addendum to the Proceedings, 1995, Austin TX, USA, United States
Conference papers
inria-00444638v1
|
|
A Survey of Distributed Garbage Collection TechniquesInt. W. on Memory Management (IWMM), 1995, Kinross, United Kingdom. pp.211--249, ⟨10.1007/3-540-60368-9_26⟩
Conference papers
hal-01248224v1
|
|
Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage CollectorW. on Distributed Algorithms (WDAG), 1995, Le Mont Saint-Michel, France. pp.198--214, ⟨10.1007/BFb0022148⟩
Conference papers
hal-01248223v1
|
|
Garbage Collection in the Larchant Persistent Distributed Store5th 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
|
A Binding Protocol for Distributed Shared Objectsicdcs, 1994, Poznan, Poland, Poland. pp.134--141, ⟨10.1109/ICDCS.1994.302403⟩
Conference papers
inria-00444629v1
|
|
|
Garbage Collection of Persistent Objects in Distributed Shared Memorypos, 1994, Tarascon, France, France. pp.176--191
Conference papers
inria-00444630v1
|
Some Key Issues in the Design of Distributed Garbage Collection and ReferencesUnifying Theory and Practice in Distributed Systems, 1994, Dagstuhl, Germany, Germany
Conference papers
inria-00444632v1
|
|
|
Garbage Collection and DSM Consistencyosdi, 1994, Monterey CA, USA, United States. pp.229--241
Conference papers
inria-00444631v1
|
A Survey of Distributed Garbage Collection TechniquesSecond Closed BROADCAST Workshop, Broadcast Basic Research Action, 1994, Bruxelles, Belgique, Belgium. pp.211--249
Conference papers
inria-00444635v1
|
|
Implementing Efficient IndirectionsBroadcast 1st Open Workshop, 1993, Newcastle, England, United Kingdom
Conference papers
inria-00444628v1
|
|
Binding should be flexible in a distributed systemiwooos, 1993, Asheville, NC, USA, United States. pp.216--217, ⟨10.1109/IWOOOS.1993.324900⟩
Conference papers
inria-00444656v1
|
|
Distribution and persistence in multiple and heterogeneous address spacesiwooos, 1993, Asheville, NC, USA, United States. pp.83--93, ⟨10.1109/IWOOOS.1993.324924⟩
Conference papers
inria-00444655v1
|
|
Implementing References as Chains of Linksiwooos, ieeecs, 1992, Dourdan, France, France. pp.236--243, ⟨10.1109/IWOOOS.1992.252975⟩
Conference papers
inria-00444623v1
|
|
Robust, Distributed References and Acyclic Garbage CollectionSymp. on Principles of Dist. Comp. (PODC), 1992, Vancouver, Canada. pp.135--146, ⟨10.1145/135419.135448⟩
Conference papers
hal-01248225v1
|
|
A Distributed Garbage Collection in an Object-Support Operating Systemiwooos, ieeecs, 1992, Dourdan, France, France. pp.221--229, ⟨10.1109/IWOOOS.1992.252977⟩
Conference papers
inria-00444633v1
|
|
|
Experience with a Fault-Tolerant Garbage Collector in a Distributed List SystemIWMM : 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 Programming5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, sigops, 1992, Mont Saint-Michel, France, France
Conference papers
inria-00444624v1
|
|
Operating System Support for Distributed and Persistent ObjectsInternational Workshop on Distributed Object Management (IWDOM), 1992, Edmonton, Canada, Canada. pp.202--205
Conference papers
inria-00444625v1
|
|
Soul: An Object-Oriented OS Framework for Object SupportW. on Operating Systems for the Nineties and Beyond, 1991, Dagstuhl Castle, Germany. pp.251--255, ⟨10.1007/BFb0024553⟩
Conference papers
hal-01248226v1
|
|
|
A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection ProtocolSymposium on Reliable Distributed Sytems (SRDS), 1991, Pisa, Italy, Italy. pp.208--217, ⟨10.1109/RELDIS.1991.145426⟩
Conference papers
inria-00444615v1
|
Distributed Garbage Collection in the System is GoodInternational 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èpartiConvention Unix 91, 1991, Paris, France. pp.61--74
Conference papers
inria-00444613v1
|
|
BOAR: A Library of Fragmented Object Types for Distributed AbstractionsInternational Workshop on Object Orientation In Operating Systems : IWOOS'91, 1991, Palo Alto, CA (USA), United States. pp.164--168, ⟨10.1109/IWOOOS.1991.183043⟩
Conference papers
inria-00444616v1
|
|
FOG/C++: a Fragmented-Object GeneratorC++ Conference, Usenix, 1990, San Francisco, CA, USA, United States. pp.63--74
Conference papers
inria-00444608v1
|
|
Object-Support Operating SystemsWorkshop on Operating Systems and Object Orientation at ECOOP-OOPSLA 1990, 1990, Ottawa, Canada, Canada
Conference papers
inria-00444610v1
|
|
Les tendances de l'èvolution des systèmes d'exploitationConfèrences techniques, Convention Unix 90, AFUU, 1990, Paris, France
Conference papers
inria-00444649v1
|
|
Distributed Object-Support Operating Systems and Garbage CollectionWorkshop on Garbage Collection at OOPSLA-ECOOP'90, 1990, Ottawa, Canada, Canada
Conference papers
inria-00444612v1
|
|
Un Service de Nommage pour un Système à Objets RèpartisActes Convention Unix 89, AFUU, 1989, Paris, France. pp.73--82
Conference papers
inria-00444600v1
|
|
Un Service de Nommage pour un Système Rèpartis à ObjetsSè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
|
|
A simple object storage systemProceedings 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 UnixWorkshop on Experiences with Building Distributed and Multiprocessor Systems, USENIX, 1989, Ft. Lauderdale FL, USA, United States
Conference papers
inria-00444604v1
|
|
Generic Virtual Memory Management for Operating System KernelsSymp. on Op. Sys. Principles (SOSP), 1989, Litchfield Park AZ, United States. pp.123--136, ⟨10.1145/74850.74863⟩
Conference papers
hal-01248228v1
|
|
Persistence and Migration for C++ ObjectsECOOP'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
|
|
Software Integration in SOMIW : Goals, Accomplishments, and ProblemsEsprit'89, 6th Annual Esprit Conf., 1989, Brussels, Belgium
Conference papers
inria-00444605v1
|
|
Domains and dynamic loading: reconciling autonomy and integrationSIGOPS European Workshop on ``Autonomy or interdependence in distributed systems?'', 1988, Cambridge, United Kingdom. ⟨10.1145/504092.504127⟩
Conference papers
hal-01248234v1
|
|
The Design of a Distributed Object-Oriented Operating System for Office ApplicationsProc. Esprit Technical Week 1988, 1988, Brussels, Belgium, Belgium
Conference papers
inria-00444598v1
|
|
The SOS Object-Oriented Communication ServiceProc. 9th Int. Conf. on Computer Communication, 1988, Tel Aviv, Israel
Conference papers
hal-01248233v1
|
|
Two extensions to C++: A Dynamic Link Editor and Inner dataC++ Workshop, USENIX, 1987, Santa Fe, NM, US, United States
Conference papers
inria-00444597v1
|
|
|
Structure and Encapsulation in Distributed Systems: the Proxy PrincipleInt. Conf. on Distr. Comp. Sys. (ICDCS), IEEE, 1986, Cambridge, MA, USA, United States. pp.198--204
Conference papers
inria-00444651v1
|
SOS: a distributed Object-Oriented Operating SystemSIGOPS European Workshop on ``Making Distributed Systems Work'', 1986, Amsterdam, the, Netherlands. ⟨10.1145/503956.503997⟩
Conference papers
hal-01248236v1
|
|
Une proposition pour Microrèzo,: Girolle, un protocole d'appel de procèdure distanteGènie Logiciel : le second souffle,?'', Journèes Bigre 1983, 1983, Le Cap d'Agde, France, France
Conference papers
inria-00444648v1
|
|
The contributions of an object-oriented approach to the programming of distributed applicationsJournè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 Mondial1983 World Conference on Systems, 1983, Caracas, Venezuela
Conference papers
inria-00444510v1
|
|
An Experiment in Distributed Program Design, Using Control Enrichmenticdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States
Conference papers
inria-00444654v1
|
|
Fault Tolerance in Rebus, a Distributed System for Industrial Real Time ControlSymposium 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 plantsEuromicro 80 Conference, 1980, London, United Kingdom
Conference papers
inria-00444517v1
|
Scality's experience with a geo-distributed file systemMiddleware 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 and Vince Russo and Marc Shapiro. IEEE Computer Society Press, 1991
Books
hal-01248227v1
|
|
International Workshop on Object Orientation In Operating Systems : IWOOS'91Cabrera,Luis-Felipe and Russo,Vincent F. and Shapiro, Marc. IEEE Computer Society Press, pp.1--193, 1991
Books
inria-00444617v1
|
|
Conflict-free Replicated Data Types (CRDTs)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
|
|
Database Consistency ModelsSherif 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
|
Optimistic Replication and ResolutionLiu, 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
|
|
|
Eventual ConsistencyLing 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Ö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
|
|
Le partage d'informations dans les systèmes rèpartis grande èchelleJacquart, Renè. Informatiques, enjeux tendances et èvolutions, 19, Hermès Science, pp.455--462, 2000, tsi
Book sections
inria-00444643v1
|
|
PerDiS: design, implementation, and use of a PERsistent DIstributed StoreSacha 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
|
|
Recent Advances in Distributed Garbage CollectionSacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, springer, pp.104--126, 2000, lncs
Book sections
inria-00444645v1
|
Informatiques, enjeux tendances et évolutionsJacquart, 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
|
|
Fragmented Objects for Distributed AbstractionsThomas 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 FichiersBalter, 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'ObjetsBalter, 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
|
Distributing computing system implementing a non-speculative hardware transactional memory and a method for using same for distributed computingUnited States, Patent n° : US 10 416 925B2. 2019
Patents
hal-02943504v1
|
Rencontre avec Marc Shapiro et son projet européen SyncFree2016
Other publications
hal-01587003v1
|
|
Position paper: CRDTs for large-scale incremental processing2011
Other publications
hal-01248196v1
|
|
Systems research, education and industry in Europe2005
Other publications
inria-00444777v1
|
Persistent Memory Programming Abstractions in Context of Concurrent Applications2017
Preprints, Working Papers, ...
hal-01667772v1
|
|
|
Exploring the consistency problem space2005
Preprints, Working Papers, ...
hal-01248207v1
|
|
Object management in large-scale distributed systemsComputer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002
Habilitation à diriger des recherches
tel-01248269v1
|
|
CISE Safety Tool2015
Videos
medihal-01242710v1
|