Publications of Marc Shapiro

Some papers and presentations by Marc Shapiro, grouped by topic:

Slides from recent presentations
Safe concurrent programs
Replication and consistency
Reconciliation
Persistent Distributed Store
Garbage Collection for Cached Stores and Distributed Shared Memory
Garbage Collection in a Classical Distributed System
Distributed Objects
Other research
Systems research in Europe

Slides from recent presentations

Consistency without concurrency control in large, dynamic systems. SOSP on Large-Scale Distributed Systems (LADIS 2009), Big Sky, Montana, USA, 11 October 2009. [ Slides Keynote | Quicktime with animations | Presentation notes PDF | Export to Powerpoint | Paper ]
Designing a Commutative Replicated Data Type. Séminaire d'Informatique Fondamentale du LORIA, Nancy, 8 June 2009. [ Slides Keynote | Presentation with animations Quicktime or PDF | Export to Powerpoint | Paper ]
Operating System challenges in the petascale era and beyond. Stratégies et opportunités pour la recherche à l'ère du PetaFlops. Séminaire HPC Université Paris 6 Pierre-et-Marie-Curie, CNRS, IBM, INRIA, 18 September 2008. [ Slides Keynote | Slides PDF (with animations) 3.1Mb | Export to Powerpoint ]
Du système au système de systèmes, ou pourquoi Google n'est pas français. Colloquium de l'INRIA Rocquencourt, «Du modèle à l'algorithme», 15 May 2008. [ Colloquium | Streamed video | Slides Keynote | Slides zip'ed PDF with animations | Slides + notes PDF | Export to Powerpoint ]
The case for semantics and optimistic replication. "A 30 years perspective on Replication" workshop, Ascona, Switzerland, Nov. 2007. [ Workshop | Slides Keynote | Notes PDF | Export to Powerpoint ]
Rely-Guarantee assertions for safe concurrent programming. Invited talk, Computer Science Colloquium, ETH Zürich, Switzerland, May 2007. [ Slides Zip'ed Powerpoint | Slides with comments, no animations Zip'ed PDF 896Kb ]

Programming concurrent programs that are safe

Proving Correctness of Highly-Concurrent Linearisable Objects. Viktor Vafeiadis, Maurice Herlihy, Tony Hoare and Marc Shapiro. Principles and Practice of Parallel Programming (PPoPP), New York, USA, March 2006. [ Conference | @ ACM Digital Library | PDF | Slides PDF | BibTeX ]
Practical proofs of concurrent programs Marc Shapiro. Invited paper, Int. Conf. on Functional Programming (ICFP), Portland OR, USA, 2006. [ Conference | @ ACM Digital Library | PDF (, @ ACM Digital Library) | BibTeX ]

Replication (especially optimistic replication) and consistency

Telex: A Semantic Platform for Cooperative Application Development. Lamia Benmouffok, Jean-Michel Busca, Joan Manuel Marquès, Marc Shapiro, Pierre Sutra, Georgios Tsoukalas. Conférence Française de Systèmes d'Exploitation (CFSE), Toulouse, September 2009. [ Conference | PDF | BibTeX ]
Optimistic Replication and Resolution. Marc Shapiro. Encyclopedia of Database Systems, Springer, Sept. 2009. [ Encyclopedia | PDF | BibTeX ]
Eventual Consistency. Marc Shapiro, Bettina Kemme. Encyclopedia of Database Systems, Springer, Sept. 2009. [ Encyclopedia | PDF | BibTeX ]
Fault-Tolerant Partial Replication in Large-Scale Database Systems. Pierre Sutra, Marc Shapiro. Euro-Par 2008, Las Palmas de Gran Canaria, Spain, August 2008. [ Conference | @Springer LNCS | PDF | BibTeX ]
Telex: Principled System Support for Write-Sharing in Collaborative Applications. Lamia Benmouffok, Jean-Michel Busca, Joan Manuel Marquès, Marc Shapiro, Pierre Sutra, Georgios Tsoukalas. Rapport de recherche INRIA RR-6546, May. 2008. [ @ INRIA | @ ArXiV | PDF | BibTeX ]
Designing a commutative replicated data type. Marc Shapiro, Nuno Preguiça. Rapport de recherche INRIA RR-6320, oct. 2007. [ More info | PDF | BibTeX ]
Decentralised Commitment for Optimistic Semantic Replication. Pierre Sutra, João Barreto, Marc Shapiro. Int. Conf. on Co-operative Information Systems (CoopIS), nov. 2007 [ Conference | @Springer LNCS | PDF | BibTeX ]
Comparing Optimistic Database Replication Techniques. Pierre Sutra, Marc Shapiro. Bases de données avancées, oct. 2007. [ Conference | PDF | BibTeX ]
Semantic Middleware for Designing Collaborative Applications in Mobile Environment. Benmouffok, Busca, Shapiro. Workshop on Middleware for Network Eccentric and Mobile Apps. W. (MiNEMA), Magdebourg, Germany, Sept. 2007. [ Workshop | PDF | BibTeX ]
Exploiting our computational surroundings for better mobile collaboration. João Barreto, Paulo Ferreira and Marc Shapiro. Int. Conf. on Mobile Data Management (MDM'07), Mannheim, Germany, May 2007. [ Conference | @IEEE-CS | PDF | BibTeX ]
An asynchronous, decentralised commitment protocol for semantic optimistic replication. Pierre Sutra, João Barreto and Marc Shapiro. Rapport de Recherche RR-6069, INRIA Rocquencourt, December 2006. [ More info | PDF | gzip'ed PostScript | BibTeX ]
The three dimensions of data consistency. Marc Shapiro and Nishith Krishna. Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), CNAM, Paris, France, nov. 2005. [ Conference | PDF | | BibTeX | Slides ]
Pushing log-based reconciliation. Youssef Hamadi and Marc Shapiro. International Journal on Artificial Intelligence Tools (IJAIT), Volume 14, Number 3-4, 445-458, 2005. [ @World Scientific | PDF | BibTeX ]
Optimistic Replication. Yasushi Saito and Marc Shapiro. Computing Surveys, vol. 37, n° 1, pp. 42-81, March 2005. [ @ ACM Digital Library | PDF (preliminary version) | BibTeX ]
FEW: File Management for Portable Devices. Nuno Preguiça, Carlos Baquero, J. Legatheaux Martins, Marc Shapiro, Paulo Sérgio Almeida, Henrique Domingos, Victor Fonte and Sérgio Duarte. International Workshop on Software Support for Portable Storage, March 2005. [ Conference | More info | PDF | BibTeX ]
A Constraint-based Formalism for Consistency in Replicated Systems . Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna. 8th Int. Conf. on Principles of Distributed Systems (OPODIS), Grenoble, France, Dec. 2004. [ Conference | @Springer LNCS | PDF | BibTeX ]
A formalism for consistency and partial replication. Marc Shapiro, Karthik Bhargavan, Yek Chong and Youssef Hamadi. Microsoft Research Technical Report MSR-TR-2004-58, Cambridge, UK, June 2004. [ More info | PDF | Gzip'ed Postscript | BibTeX ]
The Actions-Constraints approach to replication: Definitions and Proofs. Marc Shapiro, Karthik Bhargavan. Microsoft Research Technical Report MSR-TR-2004-14, March 2004. [ More info | PDF | Gzip'ed postscript | BibTeX ]

Reconciliation of divergent replicas

Consistency without concurrency control in large, dynamic systems. Mihai Leția, Nuno Preguiça, Marc Shapiro. SOSP Workshop on Large Scale Distributed Systems and Middleware (LADIS), Big Sky, MT, USA, Oct. 2009. [ Conference | PDF | BibTeX | Slides ]
A commutative replicated data type for cooperative editing. Nuno Preguiça, Joan Manuel Marquès, Marc Shapiro, Mihai Leția. Int. Conf. on Distributed Computing Systems, Montréal (ICDCS), Canada, June 2009. [ Conference | @IEEE-CS | PDF | BibTeX ]
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages. C.-L. Ignat, G. Oster, P. Molli, M. Cart, J. Ferrié, A.-M. Kermarrec, P. Sutra, M. Shapiro, L. Benmouffok, J.-M. Busca, R. Guerraoui. Int. Conf. on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), White Plains, NY, USA, nov. 2007. [ Conference | @IEEE | PDF | Preliminary version RR-6278 PDF | BibTeX ]
An Application Framework for Collaborative, Nomadic Applications. James O'Brien, Marc Shapiro. International Conference on Distributed Applications and Interoperable Systems (DAIS). Bologna, Italy, June 2006. [ Conference | @Springer | PDF | BibTeX ].
Undo for anyone, anywhere, anytime. James O'Brien, Marc Shapiro. In Proc. SIGOPS European Workshop, Leuven, Belgium, Sept. 2004. [ Conference | @ACM Digital Library PDF | BibTeX ]
An Application-Agnostic Replication System for Ubiquitous Computing . James O'Brien, Marc Shapiro. Technical report 2004-64, Microsoft Research, July 2004. [ PDF | BibTeX ]
Rufis: mobile data sharing using a generic constraint-oriented reconciler. Marc Shapiro, Nuno Preguiça, James O'Brien. In Proc. Conf. on Mobile Data Management (MDM 2004), Berkeley CA (USA), Jan. 2004. [ Conference | @ IEEE Xplore | Gzip'ed postscript 110 KB | PDF | BibTeX ]
Semantics-based reconciliation for collaborative and mobile environments . Nuno Preguiça, Marc Shapiro and Caroline Matheson. In Proc. Conf. on Cooperative Information Systems (CoopIS), Catania, Italy, Nov. 2003. [ Conference | @Springer LNCS | Gzip'ed postscript | PDF | BibTeX ]
Automating semantics-based reconciliation for mobile transactions. Nuno Preguiça, Marc Shapiro, José Legatheaux Martins. In CFSE'3 : conférence française sur les systèmes d'exploitation, pages 515--524, La-Colle-sur-Loup, France, Oct. 2003. [ Conference | PDF | BibTeX ]
Efficient semantics-aware reconciliation for optimistic write sharing . Nuno Preguiça, Marc Shapiro, Caroline Matheson. Microsoft Research Technical Report MSR-TR-2002-52, May 2002. [ More info | PDF | Postscript | Gzip'ed Postscript | BibTeX ]
The IceCube approach to the reconciliation of replicas. Anne-Marie Kermarrec, Antony Rowstron, Marc Shapiro and Peter Druschel. 20th Symp. on Principles of Dist. Comp. (PODC), Newport RI (USA), Aug. 2001. [ Conference | @ ACM Digital Library | PDF | BibTeX ]
Application-independent reconciliation for nomadic applications. Marc Shapiro, Antony Rowstron and Anne-Marie Kermarrec. In Proc. SIGOPS European Workshop on ``Beyond the PC: New Challenges for the Operating System'', Kolding (Denmark), Sept. 2000. [ Conference | @ ACM Digital Library | PDF | Gzip'ed PostScript | BibTeX ]

Persistent Distributed Store

Experience with the PerDiS large-scale data-sharing middleware. Marc Shapiro, Paulo Ferreira, Nicolas Richer. In Int. W. on Persistent Object Systems (POS), Lillehammer (Norway), September 2000. [ Conference | @Springer LNCS 2135 | Gzip'ed postscript | PDF | BibTeX ]
The memory behavior of the WWW, or: The WWW considered as a persistent store . Marc Shapiro, Nicolas Richer. In Int. W. on Persistent Object Systems (POS), Lillehammer (Norway), September 2000. [ Conference | @Springer LNCS 2135 More info | Gzip'ed postscript | PDF | BibTeX ]
Le partage d'informations dans les systèmes répartis grande échelle. Marc Shapiro. In ``Informatiques, enjeux tendances et évolutions'', Techniques et Sciences Informatiques 19(1-2-3), pp. 455--462, Hermès Science, Jan. 2000. [ Journal | More info | Gzip'ed postscript | PDF 49 KB | BibTeX ]
PerDiS: design, implementation, and use of a PERsistent DIstributed Store . Paulo Ferreira, Marc Shapiro, et al. In S. Krakowiak and S.K. Shrivashtava, editors, Recent Advances in Distributed Systems, Lecture Notes in Computer Science vol. 1752, Springer-Verlag, February 2000. [ Book | @Springer LNCS 1752 | PDF | Gzip'ed postscript | BibTeX ]
Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector . Shapiro, Ferreira. 9th WDAG, Sept. 1995, Le Mont Saint-Michel, France. [ More info (Springer) | @ INRIA | PDF | Gzip'ed PostScript | Slides | BibTeX ]

Garbage Collection for Cached Stores and Distributed Shared Memory:

Recent Advanceso in Distributed Garbage Collection, Shapiro, le Fessant, Ferreira. In S. Krakowiak and S.K. Shrivashtava, editors, Recent Advances in Distributed Systems, Lecture Notes in Computer Science, volume 1752, Springer-Verlag, February 2000. [ Book | More info | @Springer LNCS 1752 | PDF | Gzip'ed Postscript | BibTeX ]
Implementing Garbage Collection in the PerDiS system . Xavier Blondel, Paulo Ferreira, Marc Shapiro. International Workshop on Persistent Object Systems, August 1998. [ More info | PDF | Gzip'ed PostScript | BibTeX ]
Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proof . Paulo Ferreira, Marc Shapiro. 12th Euro. Conf on Object-Oriented Programming (ECOOP), Brussels (Belgium), July 1998. [ Conference | @Springer LNCS 1445 | PDF | Gzip'ed PostScript | BibTeX ]
PerDiS PPF Case Study: Fitting a Distributed Garbage Collection Algorithm to a Persistent Distributed Store Architecture. Xavier Blondel, Paulo Ferreira, Marc Shapiro. OOPSLA W. on Garbage Collection and Memory Management, October 1997. [ Workshop | More info | PDF | Gzip'ed PostScript | BibTeX ]
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage Collection. Paulo Ferreira, Marc Shapiro 16th Int. Conf. on Dist. Comp. Sys. (ICDCS), May 1996, Hong Kong. [ @ IEEE Xplore | @ INRIA | PDF | Gzip'ed PostScript | BibTeX ]
Garbage Collection in the Larchant Persistent Distributed Shared Store. Paulo Ferreira, Marc Shapiro. 5th W. on Future Trends in Dist. Comp. Sys. (FTDCS'95), August 1995, Cheju Island, Korea. [ More info | PDF | Gzip'ed PostScript | BibTeX ]
Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector. Marc Shapiro, Paulo Ferreira. 9th Workshop on Distributed Algorithms and Graphs (WDAG) [now DISC] Sept. 1995, Le Mont Saint-Michel, France. [ More info | PDF | paper, Gzip'ed PostScript | slides, Gzip'ed PostScript | BibTeX ]
Garbage Collection and DSM Consistency. Paulo Ferreira, Marc Shapiro. Symp. on Operating Systems Design and Implementation (OSDI), November 1994, Monterey, CA (USA). [ More info (Usenix) | More info (INRIA) | PDF | Gzip'ed PostScript | BibTeX ]
Garbage Collection of Persistent Objects in Distributed Shared Memory . Paulo Ferreira, Marc Shapiro. Int. W. on Persistent Object Systems (POS), Tarascon, France, September 1994. [ More info | PDF | Gzip'ed PostScript | BibTeX ]
Evaluating Garbage Collectors for Large Persistent Stores. Laurent Amsaleg, Paulo Ferreira, Michael Franklin, Marc Shapiro. OOPSLA'95 Wksh. on Object Database Behavior, Benchmarks, and Performance, Austin TX (USA), October 1995. [ More info | PDF | Gzip'ed PostScript | BibTeX ]

Garbage Collection in a Classical Distributed System:

Recent Advances in Distributed Garbage Collection, Shapiro, le Fessant, Ferreira. In S. Krakowiak and S.K. Shrivashtava, editors, Recent Advances in Distributed Systems, Lecture Notes in Computer Science, volume 1752, Springer-Verlag, February 2000. [ Book | @Springer LNCS 1752 | PDF | Gzip'ed Postscript | BibTeX ]
An implementation of complete, asynchronous, distributed garbage collection , Fabrice le Fessant, Ian Piumarta, Marc Shapiro. Programming Languages Design and Implementation (PLDI), June 1998. [Conference | @ ACM Digital Library | @ INRIA | PDF | Gzip'ed Postscript | BibTeX ]
A Survey of Distributed Garbage Collection Techniques. David Plainfossé, Marc Shapiro. Int. Workshop on Memory Mgt. (IWMM), Kinross, September 1995. [ More info (Springer) | @ INRIA | PDF | Paper, Gzip'ed postscript | Slides, Gzip'ed postscript | BibTeX ]
Some Key Issues in the Design of Distributed Garbage Collection and References . Marc Shapiro, David Plainfossé, Paulo Ferreira, Laurent Amsaleg. Dagstuhl seminar on Unifying Theory and Practice in Dist. Systems , Dagstuhl, September 1994. [ More info | PDF | Gzip'ed Postscript | BibTeX ]
SSP Chains: Robust, Distributed References Supporting Acyclic Garbage Collection . Shapiro, Dickman, Plainfossé. Rapport de Recherche INRIA 1799 and Broadcast Technical Report no. n1. Note: Supersedes the article at PODC (Principles of Distributed Computing) 1992, Vancouver BC, Canada. [ More info | Tech report, PDF | Tech report, Gzip'ed Postscript | Slides, Gzip'ed postscript | BibTeX ]
Experience with a Fault-Tolerant Garbage Collector in a Distributed Lisp System David Plainfossé, Marc Shapiro. Int. Workshop on Memory Mgt. (IWMM), Saint-Malo, Sept. 1992. [ More info | PDF | Gzip'ed Postscript | BibTeX ]
A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol Marc Shapiro. Symp. on Reliable Distributed Sytems (SRDS), Pisa, Italy Nov. 1991. [ Conference | @ IEEE Xplore | More info (INRIA) | PDF | BibTeX ]

Distributed Objects:

La gestion des objets dans les systèmes répartis de grande échelle . Marc Shapiro. Habilitation à diriger les recherches, Université Paris VI - Pierre et Marie Curie, Paris, France, November 2002. [ More info | Gzip'ed Postscript | PDF | BibTeX ]
A Binding Protocol for Distributed Shared Objects. Marc Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Poznan, Poland, June 1994. [ @ IEEE Xplore More info (INRIA) | gziped postscript | PDF (IEEE Xplore) | BibTeX ]
Fragmented Objects for Distributed Abstractions. Mesaac Makpangou, Yvon Gourhant, Jean-Pierre le Narzul, Marc Shapiro. In Readings in Distributed Computing Systems, Casavant and M. Singhal, ed., IEEE Computer Society Press, 1994. [ More info | BibTeX ]
Contrasting Fragmented Objects with Uniform Transparent Object References. Peter Dickman, Mesaac Makpangou, Marc Shapiro. SIGOPS 1992 European Workshop on ``Models and Paradigms for Distributed Systems Structuring,'' Le Mont Saint-Michel, France, Sept. 1992. [ @ ACM Digital Library | More info (INRIA) | PDF | BibTeX ]
SOS: An object-oriented operating system --- assessment and perspectives. Shapiro et al. Computing Systems 2(4), Fall 1989. [ More info | BibTeX ]
Persistence and migration for C++ objects. Marc Shapiro, Philippe Gautron, Laurence Mosseri. European Conf. on Object-Oriented Programming (ECOOP), Nottingham, UK, 1989. [ More info | BibTeX ]
Structure and Encapsulation in Distributed Systems: the Proxy Principle . Marc Shapiro. Int. Conf. on Dist. Comp. Sys. (ICDCS), Cambridge MA (USA), May 1986. [ More info | Gzip'ed Postscript | PDF | BibTeX ]
An experiment in distributed program design, using control enrichment. Marc Shapiro. Int. Conf. on Dist. Computing Syst. (ICDCS), Miami-Ft. Lauderdale, FL, USA, Oct. 1982. [ BibTeX ]

Other research:

Generic Virtual Memory Management in Operating Systems Kernels. Vadim Abrossimov, Marc Rozier, Marc Shapiro. 12th ACM Symp. on Operating Systems Principles (SOSP), Phoenix, December 1989. [ @ ACM Digital Library | @ INRIA | PDF | Gzip'ed PostScript | BibTeX ]
Soul: An Object-Oriented {OS} Framework for Object Support. Marc Shapiro. W. on Operating Systems for the Nineties and Beyond, Dagstuhl Castle, Germany, July 1991. [ More info | Workshop | BibTeX ]
Le service d'appel de procédure distante Girolle , Marc Shapiro. Technique et Science Informatiques (TSI), 3(6), Dec. 1984. [ Journal | BibTeX ]
The contributions of an object-oriented approach to the programming of distributed applications. Marc Shapiro. In Jean Bézivin and Pierre Cointe, editors, Journée d'Étude sur les Langages Orientés Objet, number 37 in BIGRE, pages 149-159, Le Cap d'Agde, France, October 1983. AFCET-Informatique.
Fault tolerance in Rebus, a distributed system for industrial real time control. J.M. Ayache, B. Carrichon, J.P. Courtiat, M. Diaz, B. Potin, and M. Shapiro. In Symp. on Fault-Tolerant Computing (FTCS-11), Portland, Maine, USA, June 1981.
A distributed control system for industrial plants. J. M. Ayache, B. Carrichon, M. Devy, M. Diaz, B. Potin, and M. Shapiro. In Euromicro 80 Conference, London, United Kingdom, September 1980.
Une méthode de conception progressive des systèmes parallèles utilisant le langage C.S.P. Marc Shapiro. PhD thesis (Thèse de docteur-ingénieur), Institut National Polytechnique de Toulouse, E.N.S.E.E.I.H.T., Toulouse, France, September 1980.

Organising the Systems research community in Europe:

(See also EuroSys, the European professional society in Systems, and SIGOPS, the ACM Special Interest Group on Operating Systems.)

What's wrong with us? Marc Shapiro. IEEE Distributed Systems Online, vol. 7, no. 5, May 2006, art. no. 0506-o5003. [ Journal | @ IEEE Xplore | Article HTML | Article PDF (IEEE Xplore) | BibTeX ]
Fostering Systems Research in Europe. Peter Druschel, Rebecca Isaacs, Thomas Gross and Marc Shapiro. EuroSys White Paper. EuroSys, the European Professional Society in Systems, April 2006. [ EuroSys | EuroSys White Paper | PDF | BibTeX ]
Systems research, education and industry in Europe. Marc Shapiro, Yolande Berbers, Willy Zwaenepoel and Tim Harris. Text submitted to the European Commission by EuroSys. [ EuroSys | PDF | BibTeX ]
Strengths & weaknesses of European systems research -- and what to do about it . Panel discussion on "Systems research in Europe", SIGOPS European Workshop, Leuven, Belgium (Sept. 2004). [ Slides, Zip'ed Powerpoint | Slides, PDF ]
Summary of the Sixth SIGOPS European Wksh. on ``Matching Operating Systems to Application Needs.'' Marc Shapiro. Operating Systems Review 29(1), p. 47--51. [ @ ACM Digital Library | More info (INRIA) | PDF | Gzip'ed PostScript | BibTeX ]

Marc.Shapiro =at= acm.org

Last modified: Tue Dec 8 11:10:54 CET 2009