Marc Shapiro
224
Documents
Présentation
[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⟩
Article dans une revue
hal-01848384v1
|
|
Technical Perspective: Unexpected ConnectionsCommunications of the ACM, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Article dans une revue
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
Article dans une revue
hal-01350652v1
|
|
Bringing the cloud closer to usersResearch*eu , 2015, 2015 (1), pp.68--69
Article dans une revue
hal-01248193v1
|
|
Consistency in Distributed SystemsDagstuhl Reports, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩
Article dans une revue
hal-00932737v1
|
|
Convergent and Commutative Replicated Data TypesBulletin- European Association for Theoretical Computer Science, 2011, 104, pp.67-88
Article dans une revue
hal-00932833v1
|
|
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⟩
Article dans une revue
hal-00932831v1
|
|
What's wrong with us?IEEE Distributed Systems Online, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩
Article dans une revue
inria-00444782v1
|
|
Optimistic ReplicationACM Computing Surveys, 2005, 37 (1), pp.42--81. ⟨10.1145/1057977.1057980⟩
Article dans une revue
hal-01248208v1
|
|
Pushing log-based reconciliationInternational Journal on Artificial Intelligence Tools, 2005, 14 (3--4), pp.445--458. ⟨10.1142/S0218213005002193⟩
Article dans une revue
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
Article dans une revue
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
Article dans une revue
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
Article dans une revue
inria-00444620v1
|
|
Object-Support Operating SystemsIEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (1), pp.39--42
Article dans une revue
inria-00444611v1
|
|
Les tendances de l'évolution des systèmes d'exploitationIX-Magazine, 1991, 6 (41)
Article dans une revue
inria-00444650v1
|
|
|
Un Bilan du système réparti à objets SOSAFCET Interfaces, 1991, 103/104, pp.46--53
Article dans une revue
inria-00444609v1
|
|
SOS: An Object-Oriented Operating System ―- Assessment and PerspectivesComputing systems, 1989, 2 (4), pp.287--337
Article dans une revue
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
Article dans une revue
hal-01248235v1
|
|
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
Article dans une revue
inria-00444652v1
|
|
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
Article dans une revue
inria-00444653v1
|
|
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⟩
Communication dans un congrès
hal-04507674v2
|
|
Transactional-Turn Causal ConsistencyEURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus
Communication dans un congrès
hal-04117344v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-04004775v1
|
|
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⟩
Communication dans un congrès
hal-03353663v3
|
|
CRDTs for truly concurrent file systemsHotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France
Communication dans un congrès
hal-03278658v1
|
|
Proving the safety of highly-available distributed objectsESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-03065629v1
|
An environment for composable distributed computingEuroDW 2020 - 14th EuroSys Doctoral Workshop, Apr 2020, Heraklion / Virtual, Greece
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02424007v1
|
|
Invariant Safety for Distributed ApplicationsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Communication dans un congrès
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
Communication dans un congrès
hal-01727207v1
|
|
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⟩
Communication dans un congrès
hal-01728712v1
|
|
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⟩
Communication dans un congrès
hal-01696263v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01350657v1
|
|
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⟩
Communication dans un congrès
hal-01350636v1
|
|
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⟩
Communication dans un congrès
hal-01242700v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01243192v1
|
|
High Responsiveness for Group Editing CRDTsACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
Communication dans un congrès
hal-01343941v1
|
|
Consistency in 3DInt. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Communication dans un congrès
hal-01350668v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01248192v1
|
|
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⟩
Communication dans un congrès
hal-01178790v1
|
|
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⟩
Communication dans un congrès
hal-01248190v1
|
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⟩
Communication dans un congrès
hal-01248195v1
|
|
|
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⟩
Communication dans un congrès
hal-01248194v1
|
CRDTs in practiceW. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States
Communication dans un congrès
hal-01351589v1
|
|
|
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⟩
Communication dans un congrès
hal-01248191v1
|
G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional ProtocolsMiddleware, Dec 2014, Bordeaux, France. pp.12, ⟨10.1145/2663165.2663336⟩
Communication dans un congrès
hal-01109114v1
|
|
Putting the Consistency Back Into Eventual ConsistencyLarge-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01109107v1
|
|
Multi-site Gargamel: Optimistic synchronization for reliable geo-replicated databasesInternational Workshop on Middleware for Dependable Systems and Networks, 2014, Bordeaux, France
Communication dans un congrès
hal-01105053v1
|
|
Exploring the spectrum of strongly-consistent transactional protocolsWorkshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00868012v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00932758v1
|
|
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⟩
Communication dans un congrès
hal-00932781v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00932803v1
|
|
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⟩
Communication dans un congrès
hal-00932795v1
|
|
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⟩
Communication dans un congrès
hal-00932836v1
|
|
Fast Genuine Generalized ConsensusSRDS 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-00932839v1
|
|
The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMsWTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy
Communication dans un congrès
hal-00932809v1
|
|
A Semantically Rich Approach for Collaborative Model EditionSymp. on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.1470--1475, ⟨10.1145/1982185.1982500⟩
Communication dans un congrès
hal-01248198v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00932818v1
|
|
Asynchronous rebalancing of a replicated treeConférence Française en Systèmes d'Exploitation (CFSE), May 2011, Saint-Malo, France. pp.12
Communication dans un congrès
hal-01248197v1
|
|
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⟩
Communication dans un congrès
inria-00445975v1
|
|
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⟩
Communication dans un congrès
hal-01248270v1
|
|
Telex: A Semantic Platform for Cooperative Application DevelopmentConférence Française sur les Systèmes d'Exploitation (CFSE), Sep 2009, Toulouse, France
Communication dans un congrès
inria-00444792v1
|
Fault-Tolerant Partial Replication in Large-Scale Database Systemseuropar, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.404--413
Communication dans un congrès
inria-00444788v1
|
|
|
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⟩
Communication dans un congrès
inria-00444796v1
|
|
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⟩
Communication dans un congrès
inria-00444783v1
|
|
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⟩
Communication dans un congrès
inria-00188329v1
|
|
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
Communication dans un congrès
inria-00444787v1
|
|
Comparing Optimistic Database Replication TechniquesBases de Données Avancées (BDA), Oct 2007, Marseille, France
Communication dans un congrès
inria-00444785v1
|
Practical proofs of concurrent programsInt. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
inria-00445942v1
|
|
FEW: File Management for Portable DevicesInternational Workshop on Software Support for Portable Storage, Mar 2005, San Francisco, CA, United States
Communication dans un congrès
inria-00444798v1
|
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⟩
Communication dans un congrès
hal-01248206v1
|
|
|
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
Communication dans un congrès
inria-00444797v1
|
|
Brief Announcement: A formalism for consistency and partial replicationDISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Communication dans un congrès
inria-00444779v1
|
|
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⟩
Communication dans un congrès
inria-00444770v1
|
|
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⟩
Communication dans un congrès
inria-00444799v1
|
|
Undo for anyone, anywhere, anytimeSIGOPS European Workshop, ACM Special Interest Group on Operating Systems, 2004, Leuven, Belgium, Belgium. ⟨10.1145/1133572.1133579⟩
Communication dans un congrès
inria-00444773v1
|
|
Automating semantics-based reconciliation for mobile databasesRenpar'15, cfse'3,SympAAA'2003, 2003, La-Colle-sur-Loup, France, France. pp.515--524
Communication dans un congrès
inria-00444769v1
|
|
Semantics-based reconciliation for collaborative and mobile environmentsCOOPIS, 2003, Catania, Sicily, Italy. pp.38-55, ⟨10.1007/b94348⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01248212v1
|
Réplication : les approches optimistes (conf. invitée)Journées Bases de Données Avancées (BDA), 2002, Évry, France
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01248216v1
|
|
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⟩
Communication dans un congrès
hal-01248218v1
|
|
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
Communication dans un congrès
inria-00444646v1
|
|
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⟩
Communication dans un congrès
hal-01248219v1
|
|
Implementing Garbage Collection in the PerDiS systemProceedings of the Eighth International Workshop on Persistent Object Systems, 1998, Tiburon CA, USA, United States
Communication dans un congrès
inria-00444641v1
|
|
An implementation of complete, asynchronous, distributed garbage collectionConf. on Prog. Lang. Design and Implementation, 1998, Montreal, Canada. ⟨10.1145/277650.277715⟩
Communication dans un congrès
hal-01248220v1
|
|
A detection algorithm for distributed cycles of garbageOOPSLA W. on Garbage Collection and Memory Management, 1997, Atlanta, GA, United States
Communication dans un congrès
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
Communication dans un congrès
inria-00444640v1
|
|
PerDiS ―- a Persistent Distributed Store for Cooperative ApplicationsProc. 3rd Cabernet Plenary W., 1997, Rennes, France
Communication dans un congrès
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⟩
Communication dans un congrès
inria-00444639v1
|
|
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⟩
Communication dans un congrès
hal-01248224v1
|
|
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
Communication dans un congrès
inria-00444637v1
|
|
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
Communication dans un congrès
inria-00444638v1
|
|
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⟩
Communication dans un congrès
hal-01248223v1
|
|
Garbage Collection of Persistent Objects in Distributed Shared Memorypos, 1994, Tarascon, France, France. pp.176--191
Communication dans un congrès
inria-00444630v1
|
|
Garbage Collection and DSM Consistencyosdi, 1994, Monterey CA, USA, United States. pp.229--241
Communication dans un congrès
inria-00444631v1
|
A Survey of Distributed Garbage Collection TechniquesSecond Closed BROADCAST Workshop, Broadcast Basic Research Action, 1994, Bruxelles, Belgique, Belgium. pp.211--249
Communication dans un congrès
inria-00444635v1
|
|
Some Key Issues in the Design of Distributed Garbage Collection and ReferencesUnifying Theory and Practice in Distributed Systems, 1994, Dagstuhl, Germany, Germany
Communication dans un congrès
inria-00444632v1
|
|
|
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⟩
Communication dans un congrès
inria-00444629v1
|
Implementing Efficient IndirectionsBroadcast 1st Open Workshop, 1993, Newcastle, England, United Kingdom
Communication dans un congrès
inria-00444628v1
|
|
Distribution and persistence in multiple and heterogeneous address spacesiwooos, 1993, Asheville, NC, USA, United States. pp.83--93, ⟨10.1109/IWOOOS.1993.324924⟩
Communication dans un congrès
inria-00444655v1
|
|
Binding should be flexible in a distributed systemiwooos, 1993, Asheville, NC, USA, United States. pp.216--217, ⟨10.1109/IWOOOS.1993.324900⟩
Communication dans un congrès
inria-00444656v1
|
|
|
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⟩
Communication dans un congrès
inria-00444633v1
|
Robust, Distributed References and Acyclic Garbage CollectionSymp. on Principles of Dist. Comp. (PODC), 1992, Vancouver, Canada. pp.135--146, ⟨10.1145/135419.135448⟩
Communication dans un congrès
hal-01248225v1
|
|
|
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⟩
Communication dans un congrès
inria-00444623v1
|
|
Experience with a Fault-Tolerant Garbage Collector in a Distributed List SystemIWMM : Memory Management, International Workshop, 1992, Saint-Malo, France, France. pp.116--133
Communication dans un congrès
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
Communication dans un congrès
inria-00444624v1
|
|
Operating System Support for Distributed and Persistent ObjectsInternational Workshop on Distributed Object Management (IWDOM), 1992, Edmonton, Canada, Canada. pp.202--205
Communication dans un congrès
inria-00444625v1
|
|
|
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⟩
Communication dans un congrès
inria-00444616v1
|
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⟩
Communication dans un congrès
inria-00444618v1
|
|
Un algorithme conservatif de dètection des miettes en milieu rèpartiConvention Unix 91, 1991, Paris, France. pp.61--74
Communication dans un congrès
inria-00444613v1
|
|
|
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⟩
Communication dans un congrès
inria-00444615v1
|
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⟩
Communication dans un congrès
hal-01248226v1
|
|
FOG/C++: a Fragmented-Object GeneratorC++ Conference, Usenix, 1990, San Francisco, CA, USA, United States. pp.63--74
Communication dans un congrès
inria-00444608v1
|
|
Distributed Object-Support Operating Systems and Garbage CollectionWorkshop on Garbage Collection at OOPSLA-ECOOP'90, 1990, Ottawa, Canada, Canada
Communication dans un congrès
inria-00444612v1
|
|
Les tendances de l'èvolution des systèmes d'exploitationConfèrences techniques, Convention Unix 90, AFUU, 1990, Paris, France
Communication dans un congrès
inria-00444649v1
|
|
Object-Support Operating SystemsWorkshop on Operating Systems and Object Orientation at ECOOP-OOPSLA 1990, 1990, Ottawa, Canada, Canada
Communication dans un congrès
inria-00444610v1
|
|
Un Service de Nommage pour un Système à Objets RèpartisActes Convention Unix 89, AFUU, 1989, Paris, France. pp.73--82
Communication dans un congrès
inria-00444600v1
|
|
A simple object storage systemProceedings 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-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
Communication dans un congrès
inria-00444604v1
|
|
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
Communication dans un congrès
inria-00444601v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
inria-00444602v1
|
|
Software Integration in SOMIW : Goals, Accomplishments, and ProblemsEsprit'89, 6th Annual Esprit Conf., 1989, Brussels, Belgium
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01248234v1
|
|
The Design of a Distributed Object-Oriented Operating System for Office ApplicationsProc. Esprit Technical Week 1988, 1988, Brussels, Belgium, Belgium
Communication dans un congrès
inria-00444598v1
|
|
The SOS Object-Oriented Communication ServiceProc. 9th Int. Conf. on Computer Communication, 1988, Tel Aviv, Israel
Communication dans un congrès
hal-01248233v1
|
|
Two extensions to C++: A Dynamic Link Editor and Inner dataC++ Workshop, USENIX, 1987, Santa Fe, NM, US, United States
Communication dans un congrès
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
Communication dans un congrès
inria-00444651v1
|
SOS: a distributed Object-Oriented Operating SystemSIGOPS European Workshop on ``Making Distributed Systems Work'', 1986, Amsterdam, the, Netherlands. ⟨10.1145/503956.503997⟩
Communication dans un congrès
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
Communication dans un congrès
inria-00444648v1
|
|
Microrèzo: le projet rèseau local du Centre Mondial1983 World Conference on Systems, 1983, Caracas, Venezuela
Communication dans un congrès
inria-00444510v1
|
|
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
Communication dans un congrès
inria-00444520v1
|
|
An Experiment in Distributed Program Design, Using Control Enrichmenticdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States
Communication dans un congrès
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
Communication dans un congrès
inria-00444502v1
|
|
A distributed control system for industrial plantsEuromicro 80 Conference, 1980, London, United Kingdom
Communication dans un congrès
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⟩
Poster de conférence
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
Ouvrages
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
Ouvrages
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-01248202v1
|
|
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
Chapitre d'ouvrage
inria-00444643v1
|
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
Chapitre d'ouvrage
hal-01248217v1
|
|
|
Recent Advances in Distributed Garbage CollectionSacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, springer, pp.104--126, 2000, lncs
Chapitre d'ouvrage
inria-00444645v1
|
|
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⟩
Chapitre d'ouvrage
inria-00444644v1
|
Fragmented Objects for Distributed AbstractionsThomas L. Casavant and Mukesh Singhal. Readings in Distributed Computing Systems, IEEE Computer Society Press, pp.170--186, 1994
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Brevet
hal-02943504v1
|
Rencontre avec Marc Shapiro et son projet européen SyncFree2016
Autre publication scientifique
hal-01587003v1
|
|
Position paper: CRDTs for large-scale incremental processing2011
Autre publication scientifique
hal-01248196v1
|
|
Systems research, education and industry in Europe2005
Autre publication scientifique
inria-00444777v1
|
Persistent Memory Programming Abstractions in Context of Concurrent Applications2017
Pré-publication, Document de travail
hal-01667772v1
|
|
|
Exploring the consistency problem space2005
Pré-publication, Document de travail
hal-01248207v1
|
|
Object management in large-scale distributed systemsComputer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002
HDR
tel-01248269v1
|
|
CISE Safety Tool2015
Vidéo
medihal-01242710v1
|