Marc Shapiro
Présentation
Publications
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⟩ |
|
|
Technical Perspective: Unexpected ConnectionsCommunications of the ACM, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩ |
|
|
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 |
|
|
Bringing the cloud closer to usersResearch*eu , 2015, 2015 (1), pp.68--69 |
|
|
Consistency in Distributed SystemsDagstuhl Reports, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩ |
|
|
Convergent and Commutative Replicated Data TypesBulletin- European Association for Theoretical Computer Science, 2011, 104, pp.67-88 |
|
|
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⟩ |
|
|
What's wrong with us?IEEE Distributed Systems Online, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩ |
|
|
Pushing log-based reconciliationInternational Journal on Artificial Intelligence Tools, 2005, 14 (3--4), pp.445--458. ⟨10.1142/S0218213005002193⟩ |
|
|
Optimistic ReplicationACM Computing Surveys, 2005, 37 (1), pp.42--81. ⟨10.1145/1057977.1057980⟩ |
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 |
|
|
|
Summary of the 6th SIGOPS European Workshop on ``Matching Operating Systems to Application NeedsOperating Systems Review, 1995, 29 (1), pp.47--51 |
Systèmes d'Objets RèpartisIEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (2), pp.12--14 |
|
|
|
Un Bilan du système réparti à objets SOSAFCET Interfaces, 1991, 103/104, pp.46--53 |
|
|
Object-Support Operating SystemsIEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (1), pp.39--42 |
Les tendances de l'évolution des systèmes d'exploitationIX-Magazine, 1991, 6 (41) |
|
|
|
SOS: An Object-Oriented Operating System ―- Assessment and PerspectivesComputing systems, 1989, 2 (4), pp.287--337 |
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 |
|
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 |
|
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 |
|
|
Towards local-first distributed property graphs12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys, Mar 2025, Rotterdam, Netherlands. ⟨10.1145/3721473.3722139⟩ |
|
|
CALock: Multi-granularity locking in dynamic hierarchiesIPDPS 2025 - 39th IEEE International Parallel and Distributed Processing Symposium, Jun 2025, Milan, Italy |
|
|
Diversifying locks for effective synchronization in dynamic graphsEuroSys 2024 Doctoral Workshop, Apr 2024, Athens, Greece |
|
|
Models for Storage in Database BackendsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩ |
|
|
Transactional-Turn Causal ConsistencyEURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
CRDTs for truly concurrent file systemsHotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France |
|
|
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 |
|
|
Proving the safety of highly-available distributed objectsESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland |
|
|
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⟩ |
|
|
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⟩ |
An environment for composable distributed computingEuroDW 2020 - 14th EuroSys Doctoral Workshop, Apr 2020, Heraklion / Virtual, Greece |
|
|
|
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⟩ |
|
|
Invariant Safety for Distributed ApplicationsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany |
|
|
Co-Design and Verification of an Available File SystemVMCAI 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⟩ |
|
|
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⟩ |
|
|
Ensuring referential integrity under causal consistencyPaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
High Responsiveness for Group Editing CRDTsACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩ |
|
|
Consistency in 3DInt. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
CRDTs in practiceW. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States |
|
|
|
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⟩ |
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⟩ |
|
Putting the Consistency Back Into Eventual ConsistencyLarge-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom |
|
G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional ProtocolsMiddleware, Dec 2014, Bordeaux, France. pp.12, ⟨10.1145/2663165.2663336⟩ |
|
Multi-site Gargamel: Optimistic synchronization for reliable geo-replicated databasesInternational Workshop on Middleware for Dependable Systems and Networks, 2014, Bordeaux, France |
|
Exploring the spectrum of strongly-consistent transactional protocolsWorkshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
A Semantically Rich Approach for Collaborative Model EditionSymp. on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.1470--1475, ⟨10.1145/1982185.1982500⟩ |
|
|
Fast Genuine Generalized ConsensusSRDS 2011 - 30th IEEE Symposium on Reliable Distributed Systems, Oct 2011, Madrid, Spain. pp.255--264, ⟨10.1109/SRDS.2011.38⟩ |
|
|
The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMsWTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy |
|
|
Asynchronous rebalancing of a replicated treeConférence Française en Systèmes d'Exploitation (CFSE), May 2011, Saint-Malo, France. pp.12 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Telex: A Semantic Platform for Cooperative Application DevelopmentConférence Française sur les Systèmes d'Exploitation (CFSE), Sep 2009, Toulouse, France |
Fault-Tolerant Partial Replication in Large-Scale Database Systemseuropar, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.404--413 |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
Comparing Optimistic Database Replication TechniquesBases de Données Avancées (BDA), Oct 2007, Marseille, France |
|
|
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⟩ |
|
|
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⟩ |
Practical proofs of concurrent programsInt. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩ |
|
|
|
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⟩ |
|
|
FEW: File Management for Portable DevicesInternational Workshop on Software Support for Portable Storage, Mar 2005, San Francisco, CA, United States |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Brief Announcement: A formalism for consistency and partial replicationDISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands |
|
|
Undo for anyone, anywhere, anytimeSIGOPS European Workshop, ACM Special Interest Group on Operating Systems, 2004, Leuven, Belgium, Belgium. ⟨10.1145/1133572.1133579⟩ |
|
|
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 |
|
|
Semantics-based reconciliation for collaborative and mobile environmentsCOOPIS, 2003, Catania, Sicily, Italy. pp.38-55, ⟨10.1007/b94348⟩ |
|
|
Automating semantics-based reconciliation for mobile databasesRenpar'15, cfse'3,SympAAA'2003, 2003, La-Colle-sur-Loup, France, France. pp.515--524 |
Réplication : les approches optimistes (conf. invitée)Journées Bases de Données Avancées (BDA), 2002, Évry, France |
|
Scaling Optimistic ReplicationWorskshop on Future Directions in Distributed Computing (FuDiCo 2002): Research and Position Papers, 2002, Bertinoro, Forlì, Italy, Italy. pp.164--168 |
|
|
|
The IceCube approach to the reconciliation of divergent replicasSymp. on Principles of Dist. Comp. (PODC), 2001, Newport, RI, United States. ⟨10.1145/383962.384020⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
An implementation of complete, asynchronous, distributed garbage collectionConf. on Prog. Lang. Design and Implementation, 1998, Montreal, Canada. ⟨10.1145/277650.277715⟩ |
|
|
Implementing Garbage Collection in the PerDiS systemProceedings of the Eighth International Workshop on Persistent Object Systems, 1998, Tiburon CA, USA, United States |
|
|
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⟩ |
|
|
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 |
|
|
A detection algorithm for distributed cycles of garbageOOPSLA W. on Garbage Collection and Memory Management, 1997, Atlanta, GA, United States |
|
|
PerDiS ―- a Persistent Distributed Store for Cooperative ApplicationsProc. 3rd Cabernet Plenary W., 1997, Rennes, France |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
Garbage Collection and DSM Consistencyosdi, 1994, Monterey CA, USA, United States. pp.229--241 |
|
|
Garbage Collection of Persistent Objects in Distributed Shared Memorypos, 1994, Tarascon, France, France. pp.176--191 |
|
|
A Survey of Distributed Garbage Collection TechniquesSecond Closed BROADCAST Workshop, Broadcast Basic Research Action, 1994, Bruxelles, Belgique, Belgium. pp.211--249, ⟨10.1007/3-540-60368-9_26⟩ |
Some Key Issues in the Design of Distributed Garbage Collection and ReferencesUnifying Theory and Practice in Distributed Systems, 1994, Dagstuhl, Germany, Germany |
|
|
|
A Binding Protocol for Distributed Shared Objects14th International Conference on Distributed Computing Systems - ICDCS 1994, Jun 1994, Poznan, Poland, Poland. pp.134--141, ⟨10.1109/ICDCS.1994.302403⟩ |
Distribution and persistence in multiple and heterogeneous address spacesiwooos, 1993, Asheville, NC, USA, United States. pp.83--93, ⟨10.1109/IWOOOS.1993.324924⟩ |
|
Binding should be flexible in a distributed systemiwooos, 1993, Asheville, NC, USA, United States. pp.216--217, ⟨10.1109/IWOOOS.1993.324900⟩ |
|
Implementing Efficient IndirectionsBroadcast 1st Open Workshop, 1993, Newcastle, England, United Kingdom |
|
|
|
Implementing References as Chains of LinksSecond International Workshop on Object Orientation in Operating Systems - IWOOOS 1992, ieeecs, Sep 1992, Dourdan, France, France. pp.236--243, ⟨10.1109/IWOOOS.1992.252975⟩ |
|
|
A Distributed GC in an Object-oriented Operating SystemIWOOOS 1992 - Second International Workshop on Object Orientation in Operating Systems, ieeecs, 1992, Dourdan, France, France. pp.221--229, ⟨10.1109/IWOOOS.1992.252977⟩ |
Robust, Distributed References and Acyclic Garbage CollectionSymp. on Principles of Dist. Comp. (PODC), 1992, Vancouver, Canada. pp.135--146, ⟨10.1145/135419.135448⟩ |
|
|
|
Experience with a Fault-Tolerant Garbage Collector in a Distributed List SystemIWMM : Memory Management, International Workshop, 1992, Saint-Malo, France, France. pp.116--133 |
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 |
|
Operating System Support for Distributed and Persistent ObjectsInternational Workshop on Distributed Object Management (IWDOM), 1992, Edmonton, Canada, Canada. pp.202--205 |
|
Un algorithme conservatif de détection des miettes en milieu répartiConvention Unix 91, 1991, Paris, France. pp.61-74 |
|
|
|
BOAR: A Library of Fragmented Object Types for Distributed AbstractionsInternational Workshop on Object Orientation In Operating Systems : IWOOOS'91, 1991, Palo Alto, CA (USA), United States. pp.164--168, ⟨10.1109/IWOOOS.1991.183043⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
FOG/C++: a Fragmented-Object GeneratorC++ Conference, Usenix, 1990, San Francisco, CA, USA, United States. pp.63--74 |
|
Distributed Object-Support Operating Systems and Garbage CollectionWorkshop on Garbage Collection at OOPSLA-ECOOP'90, 1990, Ottawa, Canada |
|
Les tendances de l'èvolution des systèmes d'exploitationConfèrences techniques, Convention Unix 90, AFUU, 1990, Paris, France |
|
Object-Support Operating SystemsWorkshop on Operating Systems and Object Orientation at ECOOP-OOPSLA 1990, 1990, Ottawa, Canada, Canada |
|
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 |
|
Un Service de Nommage pour un Système à Objets RèpartisActes Convention Unix 89, AFUU, 1989, Paris, France. pp.73--82 |
|
|
|
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 |
Software Integration in SOMIW : Goals, Accomplishments, and ProblemsEsprit'89, 6th Annual Esprit Conf., 1989, Brussels, Belgium |
|
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⟩ |
|
Prototyping a distributed object-oriented OS on UnixWorkshop on Experiences with Building Distributed and Multiprocessor Systems, USENIX, 1989, Ft. Lauderdale FL, USA, United States |
|
A simple object storage systemThird International Workshop on Persistent Object Systems: POS-3, 1989, Newcastle, Australia. pp.320--327, ⟨10.1007/978-1-4471-3173-1_18⟩ |
|
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⟩ |
|
The Design of a Distributed Object-Oriented Operating System for Office ApplicationsProc. Esprit Technical Week 1988, 1988, Brussels, Belgium, Belgium |
|
The SOS Object-Oriented Communication ServiceProc. 9th Int. Conf. on Computer Communication, 1988, Tel Aviv, Israel |
|
Two extensions to C++: A Dynamic Link Editor and Inner dataC++ Workshop, USENIX, 1987, Santa Fe, NM, US, United States |
|
|
|
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 |
|
|
SOS: a distributed Object-Oriented Operating SystemSIGOPS European Workshop on ``Making Distributed Systems Work'', 1986, Amsterdam, the, Netherlands. ⟨10.1145/503956.503997⟩ |
Microrèzo: le projet rèseau local du Centre Mondial1983 World Conference on Systems, 1983, Caracas, Venezuela |
|
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 |
|
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 |
|
An Experiment in Distributed Program Design, Using Control Enrichmenticdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States |
|
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 |
|
A distributed control system for industrial plantsEuromicro 80 Conference, 1980, London, United Kingdom |
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⟩ |
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 |
|
Int. W. on Object Orientation in Op. Sys. (I-WOOOS)Luis-Felipe Cabrera and Vince Russo and Marc Shapiro. IEEE Computer Society Press, 1991 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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 |
|
|
|
Recent Advances in Distributed Garbage CollectionSacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, springer, pp.104--126, 2000, lncs |
|
|
Le partage d'informations dans les systèmes répartis grande échelleRené Jacquart. Informatiques, enjeux tendances et évolutions, 19, Hermès Science, pp.455-462, 2000 |
|
|
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⟩ |
|
|
Fragmented Objects for Distributed AbstractionsThomas L. Casavant and Mukesh Singhal. Readings in Distributed Computing Systems, IEEE Computer Society Press, pp.170--186, 1994 |
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 |
|
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 |
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 |
Rencontre avec Marc Shapiro et son projet européen SyncFree2016 |
|
Position paper: CRDTs for large-scale incremental processing2011 |
|
Systems research, education and industry in Europe2005 |
|
|
Persistent Memory Programming Abstractions in Context of Concurrent Applications2017 |
|
|
Exploring the consistency problem space2005 |
|
|
Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore[Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022 |
|
|
A coordination-free, convergent, and safe replicated tree[Research Report] RR-9395, LIP6, Sorbonne Université, Inria de Paris; Universidade nova de Lisboa. 2021, pp.36 |
|
|
Specification of a Transactionally and Causally-Consistent (TCC) database[Research Report] RR-9355, DELYS; LIP6, Sorbonne Université, Inria, Paris, France. 2020 |
|
|
Proving the safety of highly-available distributed objects (Extended version)[0] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020 |
|
|
Just-Right Consistency: reconciling availability and safety[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 |
|
|
Improving the "Correct Eventual Consistency" Tool[Research Report] RR-9191, Sorbonne Université. 2018 |
|
|
Cure: Strong semantics meets high availability and low latency[Research Report] RR-8858, INRIA; Paris 6. 2016 |
|
|
The CISE Tool: Proving Weakly-Consistent Applications Correct[Research Report] RR-8870, Inria Paris Rocquencourt. 2016 |
|
|
Consistency in 3D[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016 |
|
|
Emulating Geo-Replication on Grid5000[Technical Report] RT-0455, Inria – Centre Paris-Rocquencourt; INRIA. 2015, pp.15 |
|
|
Write Fast, Read in the Past: Causal Consistency for Client-side Applications[Research Report] RR-8729, Inria – Centre Paris-Rocquencourt; INRIA. 2015 |
|
|
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine[Research Report] RR-8347, INRIA. 2013 |
|
|
Non-Monotonic Snapshot Isolation[Research Report] RR-7805, INRIA. 2013, pp.45 |
|
|
An optimized conflict-free replicated set[Research Report] RR-8083, INRIA. 2012, pp.12 |
|
|
A comprehensive study of Convergent and Commutative Replicated Data Types[Research Report] RR-7506, Inria – Centre Paris-Rocquencourt; INRIA. 2011, pp.50 |
|
|
Conflict-free Replicated Data Types[Research Report] RR-7687, INRIA. 2011, pp.18 |
|
|
CRDTs: Consistency without concurrency control[Research Report] RR-6956, INRIA. 2009, pp.16 |
|
|
Telex: Principled System Support for Write-Sharing in Collaborative Applications[Research Report] RR-6546, INRIA. 2008, pp.31 |
|
|
Fault-Tolerant Partial Replication in Large-Scale Database Systems[Research Report] RR-6440, INRIA. 2008, pp.25 |
Designing a commutative replicated data type for cooperative editing systems[Research Report] TR-02-2008 DI-FCT-UNL, Universidade Nova de Lisboa, Dep. Informática, FCT. 2008 |
|
|
|
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages[Research Report] RR-6278, INRIA. 2007, pp.19 |
|
|
Designing a commutative replicated data type[Research Report] RR-6320, INRIA. 2007 |
|
|
An asynchronous, decentralised commitment protocol for semantic optimistic replication[Research Report] RR-6069, INRIA. 2006, pp.21 |
|
|
Fostering Systems Research in Europe[Technical Report] 2006 |
|
|
Proving Correctness of Highly-Concurrent Linearisable Objects[Research Report] RR-5716, INRIA. 2005, pp.20 |
|
|
An application Framework for Collaborative, Nomadic Applications[Research Report] RR-5745, INRIA. 2005, pp.26 |
|
|
A formalism for consistency and partial replication[Technical Report] Microsoft Research. 2004 |
The Actions-Constraints approach to replication: Definitions and proofs[Research Report] MSR-TR-2004-14, Microsoft Research. 2004 |
|
An Application Agnostic Replication System for Ubiquitous Computing[Research Report] MSR-TR-2004-64, Microsoft Research Cambridge. 2004 |
|
|
|
Optimistic Replication[Technical Report] Microsoft Research. 2003 |
|
|
SqlIceCube: Automatic Semantics-Based Reconciliation for Mobile Databases[Technical Report] Universidade Nova de Lisboa, Dep. Informática, FCT. 2003 |
Replication: Optimistic Approaches[Technical Report] Hewlett-Packard Laboratories. 2002 |
|
Efficient semantics-aware reconciliation for optimistic write sharing[Research Report] MSR-TR-2002-52, Microsoft Research. 2002 |
|
|
|
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store[Research Report] RR-3525, INRIA. 1998 |
|
|
Larchant-RDOSS: a distributed shared persistent memory and its garbage collector[Research Report] RR-2399, INRIA. 1996 |
|
|
Flexible Bindings for Fine-Grain, Distributed Objects in distributed systems[Research Report] RR-2007, INRIA. 1993 |
|
|
Distribution and persistence in multiple and heterogeneous address spaces[Research Report] RR-2016, INRIA. 1993 |
|
|
SSP chains : robust, distributed references supporting acyclic garbage collection[Research Report] RR-1799, INRIA. 1992 |
|
|
Structuring distributed applications as fragmented objects[Research Report] RR-1404, INRIA. 1991 |
|
|
A garbage detection protocol for a realistic distributed object-support systemRR-1320, INRIA. 1990 |
|
|
Un bilan du système réparti à objets SOSRR-1242, INRIA. 1990 |
|
|
Prototyping a distributed objet-oriented operating system on UNIXRR-1082, INRIA. 1989 |
Generic Virtual Memory Management for Operating System Kernels[Research Report] 1989 |
|
|
|
The SOS object-oriented communication service[Research Report] RR-0801, INRIA. 1988 |
|
|
Un recueil de papiers sur le systeme d'exploitation reparti a objets SOS[Rapport de recherche] RT-0084, INRIA. 1987, pp.77 |
|
|
Object management in large-scale distributed systemsComputer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002 |
|
|
CISE Safety Tool2015 |