@Comment{For bib2hal: use emacs control-c-atsign, or bibtool, to remove
@Comment{atsign-String and atsign-Comment as defined in ./predef.bib and
@Comment{./abbrev-latex.bib} 

@Comment{Some entries incompatible with bib2hal, check atsign-Comment's!}

@Comment{for_bib2hal,
  doi =		 {},
  url =		 {},
  pdf =		 {},
  x-anrproject = {},
  x-audience =	 intl,
  x-conferencestartdate ={},
  x-europeanproject =syncfree,
  x-international-audience =yes,
  x-invitedcommunication =no,
  x-keywords_en ={},
  x-keywords_fr ={},
  x-language =	 en,
  x-peerreviewing =yes,
  x-popularlevel =no,
  x-proceedings =yes,
  x-reporttype = rr,
  x-filesource = author,
comment =	 {the following for PhDthesis; pdf also mandatory},
  x-director =	 {},
  x-title_en =	 {},
  x-title_fr =	 {},
  x-abstract_en ={},
  x-abstract_fr ={},
  type =	 {thesis}, comment{or HDR},
comment = {the following mine, for traceability},
  x-repository = {SVN repository path}
  hal =          {HAL url}
}


%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%

                  
% 



@TechReport{pro:sos:278,
Keywords =       {pro,sos},
  author =       "Mesaac Makpangou and Marc Shapiro",
  title =        "The {SOS} object-oriented communication service",
  institution =  inria,
  year =         1988,
  type =         rr,
  number =       801,
  address =      rocq,
  month =        mar,
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{loo:c++:286,
Keywords =       {loo,c++},
  author =       "Philippe Gautron and Marc Shapiro",
  title =        "Two extensions to {C++}: A Dynamic Link Editor and
                 Inner data",
  booktitle =    "Proceedings and additional papers, {C++} Workshop",
  year =         1987,
  page =         "23--34", 
  organization = "USENIX",
  address =      "Berkeley, CA, USA",
  month =        nov,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1987},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{pro:sos:314,
Keywords =       {pro,sos},
  author =       "Mesaac Makpangou and Marc Shapiro",
  title =        "The {SOS} Object-Oriented Communication Service",
  booktitle =    "Proc.\ 9th Int.\ Conf.\ on Computer Communication",
  year =         1988,
  address =      "Tel Aviv, Israel",
  month =        "October--November",
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1988},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:315,
Keywords =       {sos},
  author =       "Marc Shapiro",
  title =        "The Design of a Distributed Object-Oriented Operating
                 System for Office Applications",
  booktitle =    "Proc.\ Esprit Technical Week 1988",
  year =         1988,
  address =      "Brussels, Belgium",
  month =        nov,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1988},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:prs:371,
Keywords =       {sos,prs},
  author =       "Marc Shapiro and Laurence Mosseri",
  title =        "A simple object storage system",
  booktitle =    pos,
  year =         1989,
  pages =        "320--327",
  editor =       "J. Rosenberg",
  address =      "Newcastle NSW, Australia",
  month =        jan,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1989},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{nom:sos:391,
Keywords =       {nom,sos},
  author =       "Le Narzul, Jean-Pierre and Marc Shapiro",
  title =        "Un Service de Nommage pour un Syst\`{e}me \`{a}
                  Objets R\'{e}partis",
  booktitle =    "Actes Convention Unix 89",
  year =         1989,
  pages =        "73--82",
  organization = "{AFUU}",
  address =      "Paris",
  month =        mar,
  comment =      {NAT LIP6 REGAL},
  x-conferencestartdate = {1989},
  x-audience  =  ntl,
  x-language  =  fr,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{nom:sos:391bis,
Keywords =       {nom,sos},
  author =       "Le Narzul, Jean-Pierre and Marc Shapiro",
  title =        "Un Service de Nommage pour un Syst\`{e}me 
                  R\'{e}partis \`{a} Objets",
  booktitle =    "S\'{e}minaire Franco-Br\'{e}silien sur les
                  Syst\`{e}mes Informatiques R\'{e}partis",
  year =         1989,
  pages =        "127--133",
  organization = "LAAS and UFSC",
  address =      "Florianopolis, Brazil",
  month =        sep,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1989},
  x-audience  =  intl,
  x-language  =  fr,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:prs:c++:397,
Keywords =       {sos,prs,c++},
  author =       "Marc Shapiro and Philippe Gautron and Laurence Mosseri",
  title =        "Persistence and Migration for {C}++ Objects",
  editor =       "Stephen Cook",
  series =       "British Computer Society Workshop Series",
  pages =        "191--204",
  booktitle =    ecoop,
  year =         1989,
  organization = "The British Computer Society",
  publisher =    "Cambridge University Society",
  address =      "Nottingham, GB",
  month =        jul,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1989},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{chorus:mem:411techreport,
Keywords =       {chorus,mem},
  author =       "V. Abrossimov and M. Rozier and M. Shapiro",
  title =        "Generic Virtual Memory Management for Operating System Kernels",
  institution =  "Chorus-Syst\`{e}mes",
  year =         1989,
  number =       "CS/TR-89-18",
  address =      "Montigny le Bretonneux {France}",
  month =        mar,
  x-language  =  en,
  x-reporttype = rr,
}


@InProceedings{chorus:mem:411,
Keywords =       {chorus,mem},
  author =       "V. Abrossimov and M. Rozier and M. Shapiro",
  title =        "Generic Virtual Memory Management for Operating System Kernels",
  booktitle =    sosp,
  year =         1989,
  pages =        "123--136",
  organization = acm,
  address =      "Litchfield Park AZ, USA",
  month =        dec,
  doi =          {10.1145/74850.74863},
  url =          {http://doi.acm.org/10.1145/74850.74863},
  local-url =    {~/Prof/MyProduction/published/Generic VM mgt for OS Kernels Abrossimov SOSP-1989.pdf},
  x-conferencestartdate = {1989},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:489,
Keywords =       {sos},
  author =       "Marc Shapiro",
  title =        "{P}rototyping a distributed object-oriented {OS} on {U}nix",
  booktitle =    "W.\ on Experiences with Building Dist.\ 
                  and Multiprocessor Systems",
  year =         1989,
  editor =       "Eugene Spafford",
  organization = "USENIX",
  address =      "Ft.\ Lauderdale FL, USA",
  month =        oct,
  comment =      {Also available as Rapport de Recherche INRIA no. 1082},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1989},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:499,
Keywords =       {sos},
  author =       "Marc Shapiro and Nuno Guimar{\~a}es",
  title =        "Software Integration in {SOMIW}: Goals,
                  Accomplishments, and Problems",
  booktitle =    {Esprit'89, 6th Annual Esprit Conf.},
  year =         1989,
  editor =       "{Commission of the European Communities}",
  publisher =    "North-Holland",
  month =        nov,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1989},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Article{sos:504,
Keywords =       {sos},
  author =       "Marc Shapiro and  Yvon Gourhant and  Sabine Habert
                  and Laurence Mosseri and  Michel Ruffin and
                  C\'{e}line Valot",
  title =        "{SOS}: An Object-Oriented Operating System ---
                  Assessment and Perspectives",
  journal =      "Computing Systems",
  year =         1989,
  volume =       "2",
  number =       "4",
  pages =        "287--338",
  month =        dec,
  local-url =    {./papers/SOS_computing-systems--fall89.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SOS_computing-systems--fall89.pdf},
  url =          {http://www.usenix.org/publications/compsystems/1989/fall.html},
  url =          {http://lip6.fr/Marc.Shapiro/papers/SOS_computing-systems--fall89.pdf},
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
}



@InProceedings{sos:572,
Keywords =       {sos},
  author =       "Yvon Gourhant and Marc Shapiro",
  title =        "{FOG/C++}: a Fragmented-Object Generator",
  booktitle =    "C++ Conference",
  year =         1990,
  pages =        "63--74",
  organization = "Usenix",
  address =      "San Francisco, CA, USA",
  month =        apr,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1990},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{sos:588,
Keywords =       {sos},
  author =       "Marc Shapiro and Yvon Gourhant and Sabine Habert and
                  Le Narzul, Jean-Pierre and Laurence Mosseri and
                  Michel Ruffin and C\'{e}line Valot",
  title =        "Un Bilan du Syst\`{e}me R\'{e}parti \`{a} objets {SOS}",
  institution =  inria,
  year =         1990,
  type =         rr,
  number =       1242,
  address =      rocq,
  month =        may,
  x-language  =  en,
  x-reporttype = rr,
}



@Article{sos:588bis,
Keywords =       {sos},
  author =       "Marc Shapiro and Yvon Gourhant and Sabine Habert and
                  Le Narzul, Jean-Pierre and Laurence Mosseri and
                  Michel Ruffin and C\'{e}line Valot",
  title =        "Un Bilan du syst\`{e}me r\'{e}parti \`{a} objets {SOS}",
  journal =      "AFCET Interfaces",
  year =         1991,
  number =       "103/104",
  pages =        "46--53",
  month =        may,
  comment =      {NAT LIP6 REGAL},
  x-audience  =  ntl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  fr,
}



@TechReport{gc:rep:673,
Keywords =       {gc,rep},
  author =       {Marc Shapiro and Olivier Gruber and David Plainfoss{\'e}},
  title =        "A garbage detection protocol for a realistic
                  distributed object-support system",
  institution =  inria,
  year =         1990,
  type =         rr,
  number =       1320,
  address =      rocq,
  month =        nov,
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{loo:exp:674,
Keywords =       {loo,exp},
  author =       "Marc Shapiro",
  title =        "Object-Support Operating Systems",
  booktitle =    "Workshop on Operating Systems and Object Orientation
                  at ECOOP\slash OOPSLA 1990",
  year =         1990,
  address =      "Ottawa, Canada",
  month =        oct,
  x-conferencestartdate = {1990},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Article{loo:exp:674bis,
Keywords =       {loo,exp},
  author =       "Marc Shapiro",
  title =        "Object-Support Operating Systems",
  journal =      "Newsletter of the IEEE Computer Society Technical Committee on
                  Operating Systems and Application Environments",
  year =         1991,
  volume =       5,
  number =       1,
  pages =        "39--42",
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = no,
  x-language  =  en,
}



@InProceedings{gc:rep:675,
Keywords =       {gc,rep},
  author =       "Marc Shapiro",
  title =        "Distributed Object-Support Operating Systems and
                  Garbage Collection",
  booktitle =    "W.\ on Garbage Collection at ECOOP\slash OOPSLA 1990",
  year =         1990,
  address =      "Ottawa, Canada",
  month =        oct,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1990},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{sos:loo:715,
Keywords =       {sos,loo},
  author =       "Mesaac Makpangou and Yvon Gourhant and Le Narzul,
                  Jean-Pierre and Marc Shapiro",
  title =        "Structuring Distributed Applications as Fragmented Objects",
  institution =  inria,
  year =         1991,
  type =         rr,
  number =       1404,
  address =      rocq,
  month =        jan,
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{exp:loo:769,
Keywords =       {exp,loo},
  author =       "Marc Shapiro",
  title =        "Soul: An Object-Oriented {OS} Framework for Object
                  Support",
  booktitle =    "W.\ on Operating Systems for the Nineties and Beyond",
  pages =        {251--255},
  year =         1991,
  editor =       {Arthur Karshmer and J{{\"u}}rgen Nehmer},
  volume =       1991,
  number =       563,
  series =       lncs,
  address =      "Dagstuhl Castle, Germany",
  month =        jul,
  publisher =    springer,
  doi =          {10.1007/BFb0024553},
  url =          {http://dx.doi.org/10.1007/BFb0024553},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1991},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{rep:gc:778,
Keywords =       {rep,gc},
  author =       {David Plainfoss{\'{e}} and Marc Shapiro},
  title =        "Un algorithme conservatif de d\'{e}tection des
                  miettes en milieu r\'{e}parti",
   pages =       "61--74",
  booktitle =    "Convention {U}nix 91",
  year =         1991,
  address =      "Paris",
  month =        mar,
  comment =      {NAT LIP6 REGAL},
  x-conferencestartdate = {1991},
  x-audience  =  ntl,
  x-language  =  fr,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InCollection{sos:790,
Keywords =       {sos},
  author =       "Mesaac Makpangou and Yvon Gourhant and Le Narzul,
                  Jean-Pierre and Marc Shapiro",
  title =        "Fragmented Objects for Distributed Abstractions",
  booktitle =    "Readings in Distributed Computing Systems",
  publisher =    "IEEE Computer Society Press",
  year =         1994,
  pages =        "170--186",
  editor =       "T. L. Casavant and M. Singhal",
  month =        jul,
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = no,
}



@InProceedings{gc:rep:793,
Keywords =       {gc,rep},
  author =       "Marc Shapiro",
  title =        "A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage
                  Detection Protocol",
  booktitle =    srds,
  year =         1991,
  address =      "Pisa, Italy",
  pages =        {208--217},
  month =        oct,
  doi =          {10.1109/RELDIS.1991.145426},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1991},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:con:loo:854,
Keywords =       {sos,con,loo},
  author =       "Makpangou, Mesaac and Gourhant, Yvon and Marc Shapiro",
  title =        "{BOAR}: A Library of Fragmented Object Types for
                  Distributed Abstractions",
  booktitle =    iwooos,
  year =         1991,
  address =      "Palo Alto, CA {(USA)}",
  month =        oct,
  pages =        {164--168},
  doi =          {10.1109/IWOOOS.1991.183043},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1991},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Proceedings{iwooos91-p,
  title =        iwooos,
  year =         1991,
  editor =       "Luis-Felipe Cabrera and Vince Russo and Marc Shapiro",
  publisher =    "IEEE Computer Society Press",
  organization = "IEEE",
  address =      {Palo Alto CA, USA},
  month =        oct,
  note =         "IEEE Computer Society Press Order Number 2265",
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = no,
}



@InProceedings{gc:rep:866,
Keywords =       {gc,rep},
  author =       {David Plainfoss{\'{e}} and Marc Shapiro},
  title =        "Distributed Garbage Collection in the System is Good",
  crossref =     "iwooos91-p",
  pages =        "94--99",
  booktitle =    iwooos,
  year =         1991,
  month =        oct,
  doi =          {10.1109/IWOOOS.1991.183028},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1991},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InCollection{exp:rep:fic:868,
Keywords =       {exp,rep,fic},
  author =       "Marc Shapiro",
  title =        "Gestion R\'{e}partie de Fichiers",
  booktitle =    "Construction des Syst\`{e}mes d'Exploitation R\'{e}partis",
  publisher =    "INRIA",
  year =         1991,
  editor =       "Balter, R. and Ban\^{a}tre, J.-P. and Krakowiak, S.",
  number =       9,
  series =       "Collection Didactique",
  chapter =      6,
  address =      rocq,
  month =        apr,
  comment =      {NAT LIP6 REGAL},
  x-audience  =  ntl,
  x-language  =  fr,
  x-popularlevel = no,
}



@Article{sos:871,
Keywords =       {sos},
  author =       "Marc Shapiro",
  title =        "Syst\`{e}mes d'Objets R\'{e}partis",
  journal =      "Newsletter of the IEEE Computer Society Technical Committee on
                  Operating Systems and Application Environments",
  year =         1991,
  volume =       5,
  number =       2,
  pages =        "12--14",
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = no,
  x-language  =  en,
}



@InCollection{exp:rep:loo:900,
Keywords =       {exp,rep,loo},
  author =       "Marc Shapiro",
  title =        "Gestion R\'{e}partie d'Objets",
  booktitle =    "Construction des Syst\`{e}mes d'Exploitation R\'{e}partis",
  publisher =    "INRIA",
  year =         1991,
  editor =       "Balter, R. and Ban\^{a}tre, J.-P. and Krakowiak, S.",
  number =       9,
  series =       "Collection Didactique",
  chapter =      7,
  address =      rocq,
  month =        apr,
  comment =      {INT LIP6 REGAL},
  x-audience  =  ntl,
  x-language  =  fr,
  x-popularlevel = no,
}



@InProceedings{gc:rep:pan:981,
Keywords =       {gc,rep,pan},
  author =       {Marc Shapiro and Dickman, Peter and David Plainfoss{\'{e}}},
  title =        "Robust, Distributed References and Acyclic Garbage
                  Collection",
  pages =        "135--146",
  note =         "Superseded by \cite{sor:nom:1083}: corrects a bug,
                  more elegant, more informative",
  booktitle =    podc,
  year =         1992,
  organization = "ACM",
  address =      "Vancouver, Canada",
  month =        aug,
  doi =          {10.1145/135419.135448},
  url =          {http://doi.acm.org/10.1145/135419.135448},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1992},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:gc:1026,
Keywords =       {sos,gc},
  author =       {David Plainfoss{\'{e}} and Marc Shapiro},
  title =        "Experience With a Fault-Tolerant Garbage Collector
                  in a Distributed {L}isp System",
  pages =        "116--133",
  booktitle =    intwkon # "Memory Management (IWMM)",
  year =         1992,
  address =      "Saint-Malo, France",
  month =        sep,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1992},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:nom:1036,
  Keywords =     {sos,nom},
  author =       "Maisonneuve, Julien and Marc Shapiro and Collet,
                  Pierre",
  title =        "Implementing References as Chains of Links",
  pages =        "236--243",
  booktitle =    iwooos,
  year =         1992,
  organization = ieeecs,
  publisher =    ieeecsp,
  address =      "Dourdan, France",
  month =        oct,
  doi =          {10.1109/IWOOOS.1992.252975},
  comment =      {title = "A Distributed {GC} for Object Oriented Systems", ????},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1992},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{sos:nom:rep:1062,
Keywords =       {sos,nom,rep},
  author =       "Dickman, Peter and Makpangou, Mesaac and Marc Shapiro",
  title =        "Contrasting Fragmented Objects with Uniform
                  Transparent Object References for Distributed Programming",
  booktitle =    {5th } # sigopsew # {, on ``Models and Paradigms for Distributed Systems Structuring''},
  year =         1992,
  organization = sigops,
  publisher =    "IRISA, INRIA-Rennes",
  address =      "Mont Saint-Michel ({F}rance)",
  month =        sep,
  doi =          {10.1145/506378.506395},
  url =          {http://dx.doi.org/10.1145/506378.506395},
  x-conferencestartdate = {1992},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{div:1065,
Keywords =       {div},
  author =       "Marc Shapiro",
  title =        "Operating System Support for Distributed and
                  Persistent Objects",
  pages =        "202--205",
  booktitle =    "Proc.\ Int.\ Workshop on
                  Distributed Object Management",
  year =         1992,
  address =      "Edmonton ({C}anada)",
  month =        aug,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1992},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@TechReport{sor:nom:1083,
  Keywords =     {sor,nom},
  author =       {Marc Shapiro and Dickman, Peter and David
                  Plainfoss{\'{e}}},
  title =        "{SSP} Chains: Robust, Distributed References
                  Supporting Acyclic Garbage Collection",
  institution =  inria,
  year =         1992,
  type =         rr,
  number =       1799,
  address =      rocq,
  month =        nov,
  local-url =    {./papers/SSPC_rr1799.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/SSPC_rr1799.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SSPC_rr1799.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@TechReport{sor:nom:of:1158,
Keywords =       {sor,nom,of},
  author =       "Marc Shapiro",
  title =        "Flexible Bindings for Fine-Grain, Distributed Objects",
  institution =  inria,
  year =         1993,
  type =         rr,
  number =       2007,
  address =      rocq,
  month =        aug,
  x-language  =  en,
  x-reporttype = rr,
}



@TechReport{sor:fic:prs:1159,
Keywords =       {sor,fic,prs},
  author =       "Paulo Ferreira and Marc Shapiro",
  title =        "Distribution and Persistence in Multiple and
                  Heterogeneous Address Spaces",
  institution =  inria,
  year =         1993,
  type =         rr,
  number =       2016,
  address =      rocq,
  month =        sep,
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{fic:prs:1159bis,
Keywords =       {fic,prs},
  title =        {Distribution and Persistence in Multiple and
                  Heterogeneous Address Spaces},
  address =      {Asheville, NC, USA},
  author =       {Ferreira, Paulo and Shapiro, Marc},
  booktitle =    iwooos,
  comment =      {INT LIP6 REGAL},
  doi =          {10.1109/IWOOOS.1993.324924},
  month =        dec,
  pages =        {83--93},
  publisher =    ieeecs,
  year =         1993,
  x-conferencestartdate = {1993},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{fic:prs:1159ter,
Keywords =       {fic,prs},
  author =       "Paulo Ferreira and Marc Shapiro",
  title =        "Distribution and Persistence in Multiple and
                  Heterogeneous Address Spaces",
  pages =        "83--94",
  booktitle =    "Broadcast 1st Open Workshop",
  year =         1993,
  address =      "Newcastle, UK",
  month =        oct,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1993},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = no,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{loo:1160,
Keywords =       {loo},
  author =       "Julien Maisonneuve and Marc Shapiro",
  title =        "Implementing Efficient Indirections",
  booktitle =    "Broadcast 1st Open Workshop",
  year =         1993,
  address =      "Newcastle, England",
  month =        oct,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1993},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = no,
  x-popularlevel = no,
  x-proceedings  = no, 
}




@InProceedings{sos:loo:1205,
Keywords =       {sos,loo},
  author =       "Marc Shapiro",
  title =        "A Binding Protocol for Distributed Shared Objects",
  booktitle =    icdcs,
  year =         1994,
  address =      "Poznan, Poland",
  month =        jun,
  pages =        {134--141},
  doi =          {10.1109/ICDCS.1994.302403},
  url =          {http://ieeexplore.ieee.org/iel2/980/7460/00302403.pdf?tp=&arnumber=302403&isnumber=7460},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1994},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{gc:rep:sor:1223,
  Keywords =     {gc,rep,sor},
  author =       "Paulo Ferreira and Marc Shapiro",
  title =        "Garbage Collection of Persistent Objects in
                  Distributed Shared Memory",
  pages =        "176--191",
  booktitle =    pos,
  year =         1994,
  publisher =    springer,
  address =      "Tarascon, France",
  month =        sep,
  local-url =    {./papers/GC-PERS-DSM_POS94.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/GC-PERS-DSM_POS94.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/GC-PERS-DSM_POS94.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1994},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{gc:mem:rep:sor:1224,
  Keywords =     {gc,mem,rep,sor},
  author =       "Paulo Ferreira and Marc Shapiro",
  title =        "Garbage Collection and {DSM} Consistency",
  pages =        "229--241",
  booktitle =    osdi,
  year =         1994,
  publisher =    "ACM",
  address =      {Monterey CA, USA},
  month =        nov,
  local-url =    {./papers/GC-DSM-CONSIS_OSDI94.pdf},
  url =          {http://www.usenix.org/publications/library/proceedings/osdi/ferr.html},
  url =          {http://lip6.fr/Marc.Shapiro/papers/GC-DSM-CONSIS_OSDI94.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/GC-DSM-CONSIS_OSDI94.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1994},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{gc:1225,
Keywords =       {gc},
  author =       {Marc Shapiro and David Plainfoss{\'{e}} and
                  Paulo Ferreira and Amsaleg, Laurent},
  title =        "Some Key Issues in the Design of Distributed Garbage
                  Collection and References",
  booktitle =    "Unifying Theory and Practice in Distributed Systems",
  Year =         1994,
  address =      "Dagstuhl, Germany",
  month =        sep,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1994},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{sos:gc:rep:1028,
Keywords =       {sos,gc,rep},
  author =       {David Plainfoss{\'{e}} and Marc Shapiro},
  title =        "A Distributed {GC} in an Object-Support Operating
                  System",
  pages =        "221--229",
  booktitle =    iwooos,
  year =         1992,
  organization = ieeecs,
  publisher =    ieeecsp,
  address =      "Dourdan, France",
  month =        oct,
  doi =          {10.1109/IWOOOS.1992.252977},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1992},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{gc:mem:rep:sor:1227,
Keywords =       {gc,mem,rep,sor},
  author =       "Marc Shapiro and Paulo Ferreira",
  title =        "Larchant-{RDOSS}: a Distributed Shared Persistent
                  Memory and its Garbage Collector",
  institution =  inria,
  year =         1994,
  type =         rr,
  number =       2399,
  address =      rocq,
  month =        nov,
  x-language  =  en,
  x-reporttype = rr,
}



@TechReport{gc:mem:rep:sor:1227bis,
Keywords =       {gc,mem,rep,sor},
  author =       "Marc Shapiro and Paulo Ferreira",
  title =        "Larchant-{RDOSS}: a Distributed Shared Persistent
                  Memory and its Garbage Collector",
  institution =  "Dept.\ of Comp.\ Sc., Cornell University",
  year =         1994,
  number =       "TR94-1466",
  address =      "Ithaca NY, USA",
  month =        nov,
  note =         "Incomplete version ",
  comment =      {INT LIP6 REGAL},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{gc:mem:rep:sor:1227ter,
  Keywords =     {gc,mem,rep,sor},
  author =       "Marc Shapiro and Paulo Ferreira",
  title =        "Larchant-{RDOSS}: a Distributed Shared Persistent
                  Memory and its Garbage Collector",
  booktitle =    "W.\ on Distributed Algorithms (WDAG)",
  pages =        "198--214",
  year =         1995,
  editor =       {Jean-Michel H{\'e}lary and Michel Raynal},
  number =       972,
  series =       lncs,
  address =      "Le Mont Saint-Michel, France",
  month =        sep,
  publisher =    springer,
  local-url =    {./papers/LRDSPMGC_wdag95.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/LRDSPMGC_wdag95.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/LRDSPMGC_wdag95.pdf},
  doi =          {10.1007/BFb0022148},
  url =          {http://dx.doi.org/10.1007/BFb0022148},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1995},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{gc:svy:sor:1238,
Keywords =       {gc,svy,sor},
  author =       {Plainfoss{\'e}, David and Marc Shapiro},
  title =        "A Survey of Distributed Garbage Collection
                  Techniques",
  pages =        "211--249",
  booktitle =    "Second Closed BROADCAST Workshop",
  year =         1994,
  organization = "Broadcast Basic Research Action",
  address =      "Bruxelles, Belgique",
  month =        nov,
  x-conferencestartdate = {1994},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = no,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{gc:svy:sor:1238bis,
Keywords =       {gc,svy,sor},
  author =       {Plainfoss{\'e}, David and Marc Shapiro},
  title =        "A Survey of Distributed Garbage Collection Techniques",
  booktitle =    intwkon # "Memory Management (IWMM)",
  pages =        {211--249},
  year =         1995,
  editor =       {Henry G. Baker},
  volume =       986,
  series =       lncs,
  address =      "Kinross, Scotland, UK",
  month =        sep,
  publisher =    springer,
  url  =         {http://lip6.fr/Marc.Shapiro/papers/SDGC_iwmm95.pdf},
  doi =          {10.1007/3-540-60368-9_26},
  url =          {http://dx.doi.org/10.1007/3-540-60368-9_26},
  local-url =    {./papers/SDGC_iwmm95.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SDGC_iwmm95.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1995},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Article{exp:app:1287,
Keywords =       {exp,app},
  author =       "Marc Shapiro",
  title =        "Summary of the 6th {SIGOPS} {E}uropean Workshop on
                  ``{M}atching {O}perating {S}ystems to {A}pplication
                  {N}eeds''",
  journal =      "Operating Systems Review",
  year =         1995,
  volume =       29,
  number =       1,
  pages =        "47--51",
  month =        jan,
  url =          {https://dl.acm.org/authorize?N19698},
  url =          {https://doi.org/10.1145/202453.202462},
  doi =          {10.1145/202453.202462},
  url =          {ftp://ftp.inria.fr/INRIA/Projects/SOR/papers/1995/sigops94summary_OSR-jan95.pdf},
  pdf =          {ftp://ftp.inria.fr/INRIA/Projects/SOR/papers/1995/sigops94summary_OSR-jan95.pdf},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = no,
  x-language  =  en,
}



@InProceedings{mem:rep:gc:alg:1324,
Keywords =       {mem,rep,gc,alg},
  author =       "Paulo Ferreira and Marc Shapiro",
  title =        "Garbage Collection in the {L}archant Persistent
                  Distributed Store",
  booktitle =    "W.\ on Future Trends in
                  Dist.\ Comp.\ Sys.\ (FTDCS)",
  year =         1995,
  address =      "Cheju Island, Republic of Korea",
  pages =        {461--467},
  month =        aug,
  hal =          {https://hal.inria.fr/inria-00444637},
  x-conferencestartdate = {1995},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{prs:perf:1327,
Keywords =       {prs,perf},
  author =       "Amsaleg, Laurent and Paulo Ferreira and Franklin,
                  Michael and Marc Shapiro",
  title =        "Evaluating Garbage Collectors for Large Persistence Stores",
  booktitle =    {OOPSLA Workshop on Object Database Behavior,
                  Benchmarks, and Performance},
  year =         1995,
  address =      "Austin TX, USA",
  month =        oct,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1995},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{sos:gc:mem:1356,
Keywords =       {sos,gc,mem},
  author =       "Paulo Ferreira and Marc Shapiro",
  title =        "Larchant: Persistence by Reachability in Distributed
                  Shared Memory through Garbage Collection",
  booktitle =    icdcs,
  year =         1996,
  address =      "Hong Kong",
  month =        may,
  pages =        {394--401},
  doi =          {10.1109/ICDCS.1996.507987},
  local-url   =  {./papers/LPRDSMGC_icdcs96.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/LPRDSMGC_icdcs96.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/LPRDSMGC_icdcs96.pdf},
  hal =          {https://hal.inria.fr/inria-00444639},
  x-conferencestartdate = {1996},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{prs:rep:1395,
  Keywords =     {prs,rep},
  author =       {Marc Shapiro and Sytse Kloosterman and Fabio Riccardi},
  title =        {{PerDiS} --- a Persistent Distributed Store for
                  Cooperative Applications},
  booktitle =    {Proc.\ 3rd Cabernet Plenary W.},
  year =         1997,
  address =      {Rennes, France},
  month =        apr,
  local-url =    {./papers/PPDSCA_cabernet97.pdf},
  url =          {http://lip6.fr/Marc.Shapiro//papers/PPDSCA_cabernet97.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro//papers/PPDSCA_cabernet97.pdf},
  url =          {http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/cabernet/workshops/plenary/3rd-plenary-papers/14-kloosterman.html},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1997},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{gc:rep:1405,
Keywords =       {gc,rep},
  author =       {Fabrice le Fessant and Ian Piumarta and Marc Shapiro},
  title =        {An implementation of complete, asynchronous, distributed
                  garbage collection}, 
  booktitle =    pldi,
  year =         1998,
  organization = {ACM SIGPLAN},
  address =      {Montreal, Canada},
  month =        jun,
  doi =          {10.1145/277650.277715},
  url =          {http://doi.acm.org/10.1145/277650.277715},
  local-url  =   {./papers/ICADGC_pldi98.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/ICADGC_pldi98.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/ICADGC_pldi98.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/ICADGC_pldi98.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1998},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{gc:mem:rep:1406,
Keywords =       {gc,mem,rep},
  author =       {Paulo Ferreira and Marc Shapiro},
  title =        {Modelling a Distributed Cached Store for Garbage
                  Collection: the algorithm and its correctness proof},
  booktitle =    ecoop,
  year =         1998,
  pages =        {234--259},
  editor =       {Eric Jul},
  volume =       1445,
  series =       lncs,
  address =      {Brussels, Belgium},
  month =        jul,
  publisher =    springer,
  doi =          {10.1007/BFb0054094},
  url =          {http://dx.doi.org/10.1007/BFb0054094},
  local-url =    {./papers/MDCSGC_ecoop98.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/MDCSGC_ecoop98.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/MDCSGC_ecoop98.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/MDCSGC_ecoop98.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1998},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{prs:mem:rep:1408,
  Keywords =     {prs,mem,rep},
  author =       {Paulo Ferreira and Marc Shapiro and Xavier Blondel and
                  Olivier Fambon and Jo{\^{a}}o Garcia and Sytse
                  Kloosterman and Nicolas Richer and Marcus Roberts and
                  Fadi Sandakly and George Coulouris and Jean Dollimore
                  and Paulo Guedes and Daniel Hagimont and Sacha
                  Krakowiak},
  title =        {{PerDiS}: design, implementation, and use of a
                  {PER}sistent {DI}stributed {S}tore},
  institution =  {QMW, CSTB, INRIA and INESC},
  year =         1998,
  number =       {QMW TR 752, CSTB ILC/98-1392, INRIA RR 3525, INESC
                  RT/5/98},
  month =        oct,
  local-url =    {./papers/PDIUPDS_rr3525.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/PDIUPDS_rr3525.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/PDIUPDS_rr3525.pdf},
  comment =      {INT LIP6 REGAL},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{gc:rep:mem:1409,
Keywords =       {gc,rep,mem},
  author =       {Xavier Blondel and Paulo Ferreira and Marc Shapiro},
  title =        {{PerDiS PPF} Case Study: Fitting a Distributed Garbage
                Collection Algorithm to a Persistent Distributed Store 
                Architecture},
  booktitle =    {OOPSLA'97 W.\ on Garbage Collection and Memory
  Management},
  year =         1997,
  address =      {Atlanta GA, USA},
  month =        oct,
  local-url =    {./papers/PPCS_oopsla97.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/PPCS_oopsla97.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/PPCS_oopsla97.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1997},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{gc:prs:1410,
Keywords =       {gc,prs},
  author =       "Xavier Blondel and Paulo Ferreira and Marc Shapiro",
  title =        "Implementing Garbage Collection in the {PerDiS} system",
  booktitle =    pos,
  year =         1998,
  month =        aug,
  local-url =    {./papers/IGCPS_pos8.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/IGCPS_pos8.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/IGCPS_pos8.pdf},
  address =      {Tiburon CA, USA},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1998},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InBook{rep:svy:1411,
Keywords =       {rep,svy},
  editor =       {Jacquart, Ren{\'e}},
  title =        {Informatiques, enjeux tendances et {\'e}volutions},
  booktitle =    {Informatiques, enjeux tendances et {\'e}volutions},
  chapter =      {Le partage d'informations dans les syst{\`e}mes
                  r{\'e}partis grande {\'e}chelle},
  author =       {Marc Shapiro},
  publisher =    {Herm{\`e}s Science},
  year =         2000,
  volume =       19,
  number =       {1-2-3},
  series =       tsi,
  address =      {Paris},
  month =        jan,
  pages =        {455--462},
  comment =      {NAT LIP6 REGAL},
  x-audience  =  ntl,
  x-language  =  fr,
  x-popularlevel = no,
}



@InCollection{prs:rep:1412,
Keywords =       {prs,rep},
  author =       {Paulo Ferreira and Marc Shapiro and Xavier Blondel and
                  Olivier Fambon and Jo{\~{a}}o Garcia and Sytse
                  Kloosterman and Nicolas Richer and Marcus Roberts and
                  Fadi Sandakly and George Coulouris and Jean Dollimore
                  and Paulo Guedes and Daniel Hagimont and Sacha Krakowiak},
  title =        {{PerDiS}: design, implementation, and use of a
                  {PER}sistent {DI}stributed {S}tore},
  booktitle =    {Recent Advances in Distributed Systems},
  publisher =    springer,
  year =         2000,
  editor =       {S. Krakowiak and S. K. Shrivastava},
  volume =       1752,
  series =       lncs,
  chapter =      18,
  pages =        {427--452},
  month =        feb,
  issn =         {0302-9743},
  doi =          {10.1007/3-540-46475-1_18},
  local-url =    {./papers/PDIUPDS_lncs1752.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/PDIUPDS_lncs1752.pdf},
  url =          {http://www.springerlink.com/content/vmptt4r5k418udvy/},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/PDIUPDS_lncs1752.pdf},
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = no,
}



@InCollection{gc:rep:1413,
Keywords =       {gc,rep},
  author =       {Marc Shapiro and le Fessant, Fabrice and Paulo Ferreira},
  title =        {Recent Advances in Distributed Garbage Collection},
  booktitle =    {Recent Advances in Distributed Systems},
  publisher =    springer,
  year =         2000,
  editor =       {S. Krakowiak and S. K. Shrivastava},
  volume =       1752,
  series =       lncs,
  chapter =      5,
  pages =        {104--126},
  month =        feb,
  doi =          {10.1007/3-540-46475-1_5},
  local-url =    {./papers/RAIDGC_lncs1752.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/RAIDGC_lncs1752.pdf},
  url  =         {http://www.springerlink.com/content/11xn227wnvhn0972/},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/RAIDGC_lncs1752.pdf},
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = no,
}



@InProceedings{prs:rep:1420,
Keywords =       {prs,rep},
  author =       {Marc Shapiro and Paulo Ferreira and Nicolas Richer},
  title =        {Experience with the {PerDiS} large-scale data-sharing
                  middleware},
  booktitle =    pos,
  year =         2000,
  editor =       {G.N.C. Kirby and A. Dearle and D.I.K. Sj{\o}berg},
  volume =       2135,
  series =       lncs,
  pages =        {57--71},
  address =      {Lillehammer, Norway},
  month =        sep,
  publisher =    springer,
  doi =          {10.1007/3-540-45498-5_6},
  local-url =    {./papers/EwPLSDSM_pos2000.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/EwPLSDSM_pos2000.pdf},
  url  =         {http://www.springerlink.com/content/d36fcmt3x9l4vd5l/},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/EwPLSDSM_pos2000.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2000},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{loo:rep:1421,
Keywords =       {loo,rep},
  author =       {Marc Shapiro and Antony Rowstron and Anne-Marie Kermarrec},
  title =        {Application-independent reconciliation for nomadic
                  applications},
  booktitle =    sigopsew # { ``Beyond the PC:
                  New Challenges for the Operating System''},
  year =         2000,
  address =      {Kolding, Denmark},
  month =        sep,
  organization = sigops,
  local-url =    {./papers/sigops-ew-2000-logmerge.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/sigops-ew-2000-logmerge.pdf},
  url  =         {https://dl.acm.org/authorize?N19696},
  url =          {https://doi.org/10.1145/566726.566728},
  doi =          {10.1145/566726.566728}
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2000},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{syn:optim:rep:1432,
Keywords =       {syn,optim,rep},
  author =       {Anne-Marie Kermarrec and Antony Rowstron and Marc
                  Shapiro and Peter Druschel},
  title =        {The {I}ce{C}ube approach to the reconciliation of
                  divergent replicas}, 
  booktitle =    podc,
  year =         2001,
  address =      {Newport, RI, USA},
  month =        aug,
  organization = {ACM SIGACT-SIGOPS},
  publisher =    {ACM Press},
  doi =          {10.1145/383962.384020},
  url =          {http://doi.acm.org/10.1145/383962.384020},
  url =          {http://lip6.fr/Marc.Shapiro/papers/podc2001.pdf},
  local-url =    {./papers/podc2001.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/podc2001.pdf},
  x-conferencestartdate = {2001},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{prs:rep:1434,
Keywords =       {prs,rep},
  author =       {Marc Shapiro and Nicolas Richer},
  title =        {The memory behavior of the {WWW}, or: The {WWW}
                  considered as a persistent store},
  booktitle =    pos,
  year =         2000,
  editor =       {G.N.C. Kirby and A. Dearle and D.I.K. Sj{\o}berg},
  volume =       2135,
  series =       lncs,
  pages =        {169--184},
  address =      {Lillehammer, Norway},
  month =        sep,
  publisher =    springer,
  doi =          {10.1007/3-540-45498-5_14},
  local-url =    {./papers/EwPLSDSM_pos2000.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/EwPLSDSM_pos2000.pdf},
  url  =         {http://www.springerlink.com/content/0910jg1ffpyj038w/},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/EwPLSDSM_pos2000.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2000},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{rep:syn:optim:1436,
Keywords =       {rep,syn,optim},
  author =       {Yasushi Saito and Marc Shapiro},
  title =        {Replication: Optimistic Approaches},
  institution =  {Hewlett-Packard Laboratories},
  year =         2002,
  number =       {HPL-2002-33},
  month =        mar,
  url  =         {http://www.hpl.hp.com/techreports/2002/HPL-2002-33.html},
  x-language  =  en,
  x-reporttype = rr,
}



@TechReport{fic:rep:syn:optim:1439,
Keywords =       {fic,rep,syn,optim},
  author =       {Nuno Pregui{\c c}a and Marc Shapiro and Caroline Matheson},
  title =        {Efficient semantics-aware reconciliation for optimistic write sharing},
  institution =  {Microsoft Research},
  year =         2002,
  number =       {MSR-TR-2002-52},
  address =      {Cambridge, UK},
  month =        may,
  url  =         {http://research.microsoft.com/apps/pubs/default.aspx?id=66956},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{gc:rep:1452,
Keywords =       {gc,rep},
  author =       {Fabrice le Fessant and Ian Piumarta and Marc Shapiro},
  title =        {A detection algorithm for distributed cycles of garbage},
  booktitle =    {OOPSLA W.\ on Garbage Collection and Memory Management},
  year =         1997,
  address =      {Atlanta, GA, USA},
  month =        oct,
  local-url =    {./papers/DADCG_gcmm97.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/DADCG_gcmm97.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/DADCG_gcmm97.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1997},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{app:optim:syn:1473,
Keywords =       {app,optim,syn},
   author =      {Nuno Pregui{\c c}a and Marc Shapiro and J. Legatheaux Martins},
   title =       {{SqlIceCube}: Automatic Semantics-Based Reconciliation
                  for Mobile Databases},
   institution = {Universidade Nova de Lisboa, Dep.\ Inform{\'{a}}tica, FCT},
   year =        2003,
   number =      {TR-02-2003 DI-FCT-UNL},
   url  =        {http://asc.di.fct.unl.pt/~nmp/pubs/tr-di-2003-2.pdf},
   pdf =         {http://asc.di.fct.unl.pt/~nmp/pubs/tr-di-2003-2.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{optim:syn:1474,
Keywords =       {optim,syn},
  author =       {Nuno Pregui{\c c}a and Marc Shapiro and Caroline Matheson},
  title =        {Semantics-based reconciliation for collaborative and
                  mobile environments},
  booktitle =    coopis,
  year =         2003,
  pages =        {38--55},
  volume =       2888,
  series =       lncs,
  address =      {Catania, Sicily, Italy},
  month =        nov,
  publisher =    springer,
  local-url =    {./papers/coopis-2003.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/coopis-2003.pdf},
  url =          {http://www.springerlink.com/content/xygj6u96h1kgew05/},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/coopis-2003.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2003},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{optim:rep:syn:1475,
Keywords =       {optim,rep,syn},
  author =       {Yasushi Saito and Marc Shapiro},
  title =        {Optimistic Replication},
  institution =  {Microsoft Research},
  year =         2003,
  number =       {MSR-TR-2003-60},
  month =        oct,
  url  =         {ftp://ftp.research.microsoft.com/pub/tr/tr-2003-60.pdf},
  pdf =          {ftp://ftp.research.microsoft.com/pub/tr/tr-2003-60.pdf},
  note =         {Refer to rep:syn:1500 instead},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{optim:syn:lan:1476,
Keywords =       {optim,syn,lan},
  author =       {Nuno Pregui{\c c}a and Marc Shapiro and J. {Legatheaux
                  Martins}},
  title =        {Automating semantics-based reconciliation for mobile 
                  transactions},
  booktitle =    cfse,
  pages =        {515--524},
  year =         2003,
  address =      {La-Colle-sur-Loup, France},
  month =        oct,
  local-url =    {./papers/SQLIceCube_cfse2003.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SQLIceCube_cfse2003.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/SQLIceCube_cfse2003.pdf},
  comment =      {NAT LIP6 REGAL},
  x-conferencestartdate = {2003},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{rep:syn:1482,
Keywords =       {rep,syn},
  author =       {Marc Shapiro and Nuno Pregui{\c c}a and James O'Brien},
  title =        {Rufis: mobile data sharing using a generic
                  constraint-oriented reconciler},
  booktitle =    {Conf.\ on Mobile Data Management},
  year =         2004,
  address =      {Berkeley, CA, USA},
  month =        jan,
  pages =        {146--151},
  doi =          {10.1109/MDM.2004.1263052},
  local-url  =   {./papers/mdm-2004-final.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/mdm-2004-final.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/mdm-2004-final.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2004},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{rep:syn:optim:1484,
Keywords =       {rep,syn,optim},
  author =       {Marc Shapiro and Karthikeyan Bhargavan},
  title =        {The {A}ctions-{C}onstraints approach to replication:
                  Definitions and proofs},
  institution =  {Microsoft Research},
  year =         2004,
  number =       {MSR-TR-2004-14},
  month =        mar,
  url  =         {ftp://ftp.research.microsoft.com/pub/tr/TR-2004-14.pdf},
  pdf =          {ftp://ftp.research.microsoft.com/pub/tr/TR-2004-14.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@Article{app:syn:optim:1487,
Keywords =       {app,syn,optim},
  author =       {Youssef Hamadi and Marc Shapiro},
  title =        {Pushing log-based reconciliation},
  journal =      {Int.\ J.\ on Artif.\ Intelligence Tools (IJAIT)},
  year =         2005,
  volume =       14,
  number =       {3--4},
  pages =        {445--458},
  month =        jun,
  local-url =    {./papers/ijait05Log.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/ijait05Log.pdf},
  doi =          {10.1142/S0218213005002193},
  url =          {http://dx.doi.org/10.1142/S0218213005002193},
  url =          {http://lip6.fr/Marc.Shapiro/papers/ijait05Log.pdf},
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
}



@TechReport{rep:syn:optim:1491,
Keywords =       {rep,syn,optim},
  author =       {Marc Shapiro and Karthikeyan Bhargavan and Yek Chong and
                  Youssef Hamadi},
  title =        {A formalism for consistency and partial replication},
  institution =  {Microsoft Research},
  year =         2004,
  number =       {MSR-TR-2004-58},
  address =      {Cambridge, UK},
  month =        jun,
  url  =         {ftp://ftp.research.microsoft.com/pub/tr/TR-2004-58.pdf},
  pdf =          {ftp://ftp.research.microsoft.com/pub/tr/TR-2004-58.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{app:syn:1495,
Keywords =       {app,syn},
  author =       {James O'Brien and Marc Shapiro},
  title =        {Undo for anyone, anywhere, anytime},
  booktitle =    sigopsew,
  year =         2004,
  address =      {Leuven, Belgium},
  month =        sep,
  doi =          {10.1145/1133572.1133579},
  url =          {http://doi.acm.org/10.1145/1133572.1133579},
  local-url =    {./papers/Joyce_Sigops_EW-2004.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Joyce_Sigops_EW-2004.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/Joyce_Sigops_EW-2004.pdf},
  organization = sigops,
  x-conferencestartdate = {2004},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@techreport{app:rep:1496,
Keywords =       {app,rep},
  author =       {James O'Brien and Marc Shapiro},
  title =        {An Application Agnostic Replication System for
                  Ubiquitous Computing},
  institution =  {Microsoft Research Cambridge},
  year =         2004,
  number =       {MSR-TR-2004-64},
  month =        jul,
  url  =         {ftp://ftp.research.microsoft.com/pub/tr/TR-2004-64.pdf},
  pdf =          {ftp://ftp.research.microsoft.com/pub/tr/TR-2004-64.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{optim:rep:syn:1498,
Keywords =       {optim,rep,syn},
  author =       {Marc Shapiro and Karthikeyan Bhargavan and Nishith Krishna},
  title =        {A Constraint-based Formalism for Consistency in
                  Replicated Systems},
  booktitle =    opodis,
  year =         2004,
  number =       3544,
  series =       lncs,
  address =      {Grenoble, France},
  month =        dec,
  pages =        {331--345},
  local-url  =   {./papers/opodis2004-final-2004-10-30.pdf},
  doi =          {10.1007/11516798_24},
  url =          {http://dx.doi.org/10.1007/11516798_24},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/opodis2004-final-2004-10-30.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/opodis2004-final-2004-10-30.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2004},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Article{optim:rep:syn:1500,
Keywords =       {optim,rep,syn},
Group =          {replication+consistency},
  author =       {Yasushi Saito and Marc Shapiro},
  title =        {Optimistic Replication},
  journal =      acmcs,
  year =         2005,
  volume =       37,
  number =       1,
  pages =        {42--81},
  month =        mar,
  doi  =         {1057977.1057980},
  url  =         {http://doi.acm.org/10.1145/1057977.1057980},
  url =          {http://lip6.fr/Marc.Shapiro/papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf},
  local-url =    {./papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
}



@Unpublished{rep:1505,
Keywords =       {rep},
  author =       {Nishith Krishna and Marc Shapiro and Karthikeyan Bhargavan},
  title =        {Exploring the consistency problem space},
  note =         {Submitted PODC 2005},
  month =        mar,
  year =         2005,
  local-url =    {~/Prof/MyProduction/submitted+unpublished/Exploring the consistency problem space rejected-podc-2005.pdf},
  x-language  =  en,
}



@InProceedings{rep:1507,
Keywords =       {rep},
  author =       {Nishith Krishna and Marc Shapiro and Karthikeyan
                  Bhargavan},
  title =        {Brief announcement: Exploring the Consistency Problem
                  Space},
  booktitle =    podc,
  pages =        {168--168},
  year =         2005,
  address =      {Las Vegas, Nevada, USA},
  month =        jul,
  organization = {ACM SIGACT-SIGOPS},
  doi =          {10.1145/1073814.1073845},
  url =          {http://doi.acm.org/10.1145/1073814.1073845},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2005},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{fic:1508,
Keywords =       {fic},
  author =       {Nuno Pregui{{\c c}}a and Carlos Baquero and Legatheaux
                  Martins, Jose and Marc Shapiro and S{\'e}rgio
                  Almeida, Paulo and Henrique Domingos and Victor Fonte and
                  S{\'e}rgio Duarte},
  title =        {{FEW}: File Management for Portable Devices},
  booktitle =    {Int.\ W.\ on Software Support for Portable Storage},
  year =         2005,
  address =      {San Francisco, CA, USA},
  month =        mar,
  local-url =    {./papers/FEW_File_Management_for_Portable_Devices_IWSSPS.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/FEW_File_Management_for_Portable_Devices_IWSSPS.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/FEW_File_Management_for_Portable_Devices_IWSSPS.pdf},
  url  =         {http://asc.di.fct.unl.pt/few/papers/few-iwssps2005.pdf},
  pdf =          {http://asc.di.fct.unl.pt/few/papers/few-iwssps2005.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2005},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Misc{misc:1528,
Keywords =       {misc},
  author =       {Marc Shapiro and Yolande Berbers and Willy Zwaenepoel and Tim Harris},
  title =        {Systems research, education and industry in {E}urope},
  howpublished = {Text submitted to the {E}uropean {C}ommission},
  not          = {Text submitted to the {E}uropean {C}ommission},
  month =        jun,
  year =         2005,
  local-url  =   {./papers/Systems_research,_education_and_industry_in_Europe.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/Systems_research,_education_and_industry_in_Europe.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Systems_research,_education_and_industry_in_Europe.pdf},
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = yes,
}



@InProceedings{formel:rep:1529,
Keywords =       {formel,rep},
  author =       {Marc Shapiro and Nishith Krishna},
  title =        {The three dimensions of data consistency},
  booktitle =    {Journ{\'e}es Francophones sur la Coh{\'e}rence des
                  Donn{\'e}es en Univers R{\'e}parti (CDUR)},
  pages =        {54--58},
  year =         2005,
  address =      {CNAM, Paris, France},
  month =        nov,
  local-url  =   {./papers/cdur2005.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/cdur2005.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/cdur2005.pdf},
  comment =      {NAT LIP6 REGAL},
  x-conferencestartdate = {2005},
  x-audience  =  ntl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@TechReport{syn:formel:1530tr,
Keywords =       {syn,formel},
  author =       {Vafeiadis, Viktor and Herlihy, Maurice and Hoare, Tony
                  and Shapiro, Marc},
  title =        {Proving Correctness of Highly-Concurrent Linearisable Objects},
  institution =  inria,
  year =         2005,
  type =         rr,
  number =       {RR-5716},
  address =      rocq,
  month =        oct,
  url  =         {http://www.inria.fr/rrrt/rr-5716.html},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{syn:formel:1530,
Keywords =       {syn,formel},
  author =       {Vafeiadis, Viktor and Herlihy, Maurice and Hoare, Tony
                  and Shapiro, Marc},
  title =        {Proving Correctness of Highly-Concurrent Linearisable Objects},
  booktitle =    ppopp,
  year =         2006,
  address =      {New York, USA},
  month =        mar,
  pages =        {129--136},
  local-url =    {./papers/PPoPP-2006-listRG.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/PPoPP-2006-listRG.pdf},
  doi =          {10.1145/1122971.1122992},
  url =          {http://doi.acm.org/10.1145/1122971.1122992},
  url =          {http://lip6.fr/Marc.Shapiro//papers/PPoPP-2006-listRG.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2006},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{app:rep:1532,
Keywords =       {app,rep},
  author =       {James O'Brien and Marc Shapiro},
  title =        {An Application Framework for Collaborative, Nomadic
                  Applications},
  institution =  inria,
  year =         2005,
  type =         rr,
  number =       {RR-5745},
  address =      rocq,
  month =        nov,
  url  =         {http://www.inria.fr/rrrt/rr-5745.html},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{formel:rep:1534,
Keywords =       {formel,rep},
  author =       {Marc Shapiro and Karthikeyan Bhargavan and Yek Chong and
                  Youssef Hamadi}, 
  title =        {Brief Announcement: A formalism for consistency and
                  partial replication},
  booktitle =    disc,
  year =         2004,
  editor =       {Rachid Guerraoui},
  address =      {Trippenhuis, Amsterdam, the Netherlands},
  month =        oct,
  volume =       {3274/2004},
  ISBN =         {0302-9743},
  pubisher =     springer,
  series =       lncs,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2004},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{rep:1538,
Keywords =       {rep},
  author =       {Marc Shapiro and Yasushi Saito},
  title =        {Scaling Optimistic Replication},
  booktitle =    {W.\ on Future Directions in Distributed Computing
                  ({FuDiCo} 2002): Research and Position Papers},
  pages =        {164--168},
  year =         2002,
  month =        jun,
  editor =       {A. Schiper and A. A. Shvartsman and H. Weatherspoon
                  and B. Y. Zhao},
  volume =       2584,
  series =       lncs,
  address =      {Bertinoro, Forl{\`i}, Italy},
  publisher =    springer,
  url  = 
                  {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2584&spage=164},
  doi =          {10.1007/3-540-37795-6_30},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2002},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@Article{mem:rep:1539,
Keywords =       {mem,rep},
  author =       {Isabelle Demeure and Marc Shapiro},
  title =        {Num{\'e}ro sp{\'e}cial sur la M{\'e}moire
                  Partag{\'e}e R{\'e}partie},
  journal =      tsi,
  year =         1997,
  month =        dec,
  comment =      {NAT LIP6 REGAL},
  x-audience  =  ntl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  fr,
}



@InProceedings{app:1540,
Keywords =       {app},
  author =       "Ayache, J. M. and B. Carrichon and M. Devy and M. Diaz
                  and B. Potin and M. Shapiro",
  title =        "A distributed control system for industrial plants",
  booktitle =    "Euromicro 80 Conference",
  address =      {London, United Kingdom},
  month =        sep, year = 1980,
  x-conferencestartdate = {1980},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}


@Comment{Not accepted by bib2hal, complains about missing PDF!}

@PhdThesis{div:1541,
Keywords =       {div},
  author =       "Marc Shapiro",
  title =        "Une m{\'e}thode de conception progressive des
                  syst{\`e}mes parall{\`e}les utilisant le langage C.S.P.",
  school =       "Institut National Polytechnique de Toulouse,
                  E.N.S.E.E.I.H.T.",
  year =         1980,
  address =      {Toulouse, France},
  month =        sep,
  type =         "Th{\`e}se de Docteur-Ing{\'e}nieur",
  comment =      {INT LIP6 REGAL},
  x-director =   {Michel Diaz},
  x-language  =  fr, 
  x-title_en =   {A refinement methodology for the design of parallel
                  systems using the CSP language},
  x-abstract_fr = {XX},
  x-abstract_en = {XX},
  x-keywords_fr = {syst{\`e}mes parall{\`e}les, CSP, conception de syst{\`e}me},
  x-keywords_en = {parallel systems, CSP, system design},
  x-filesource = author,
}



@InProceedings{app:1541bis,
Keywords =       {app},
    author =     "Ayache, J.M. and B. Carrichon and J.P. Courtiat and M.
              Diaz and B. Potin and M. Shapiro",
        title =  "Fault Tolerance in {R}ebus, a Distributed System for
                  Industrial Real Time Control", 
    booktitle =  "Symp.\ on Fault-Tolerant Computing (FTCS-11)",
    address =    "Portland, Maine, USA",
    month =      jun, year = 1981,
  x-conferencestartdate = {1981},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{app:1542,
Keywords =       {app},
    author =     "Guy Bernard and Pierre Bouchet and Thierry Fleury and
              Marc Shapiro and de Talhouet, Yves",
        title =  {Micror{\'{e}}zo\,: le projet r{\'{e}}seau local du {Centre
             Mondial}},
    booktitle =  "1983 World Conference on Systems",
    address =    "Caracas, Venezuela",
    date =       jul,
    year =       1983,
    x-conferencestartdate = {1983},
  x-audience  =  intl,
  x-language  =  fr,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{app:1543,
Keywords =       {app},
    author =     "Marc Shapiro",
        title =  {Une proposition pour {M}icror{\'{e}}zo\,: {G}irolle, un protocole
             d'appel de proc{\'{e}}dure distante},
    booktitle =  {``G{\'{e}}nie Logiciel\,: le second souffle\,?'',
                 Journ{\'{e}}es Bigre 1983},
    address =    {Le Cap d'Agde, France},
    month =      oct,
    year =       1983,
    x-conferencestartdate = {1983},
  x-audience  =  ntl,
  x-language  =  fr,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{app:1544,
Keywords =       {app},
  author =       "Marc Shapiro",
  title =        "The contributions of an object-oriented approach to
                  the programming of distributed applications",
  editor =       "Jean B{\'e}zivin and Pierre Cointe",
  number =       37,
  series =       "BIGRE",
  pages =        "149--159",
  booktitle =    "Journ{\'e}e d'{\'E}tude sur les Langages
                  Orient{\'e}s Objet",
  year =         1983,
  organization = "AFCET-Informatique",
  address =      "Le Cap d'Agde, France",
  month =        oct,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1983},
  x-audience  =  ntl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{app:1545,
Keywords =       {app},
  author =       "Marc Shapiro",
  title =        "Les tendances de l'{\'e}volution des syst{\`e}mes 
                  d'exploitation",
  booktitle =    "Conf{\'e}rences techniques, Convention Unix 90",
  year =         1990,
  organization = "AFUU",
  publisher =    "AFUU",
  address =      "Paris",
  month =        mar,
  comment =      {NAT LIP6 REGAL},
  x-conferencestartdate = {1990},
  x-audience  =  intl,
  x-language  =  fr,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = yes,
  x-proceedings  = yes, 
}



@Article{app:1546,
Keywords =       {app},
  author =       "Marc Shapiro",
  title =        "Les tendances de l'{\'e}volution des syst{\`e}mes 
                  d'exploitation",
  journal =      "{IX-M}agazine",
  year =         1991,
  volume =       6,
  number =       41,
  month =        mar,
  comment =      {NAT LIP6 REGAL},
  x-audience  =  ntl, 
  x-popularlevel = yes,
  x-peerreviewing = yes,
  x-language  =  fr,
}



@InProceedings{app:rep:1547,
Keywords =       {app,rep},
  author =       {James O'Brien and Marc Shapiro},
  title =        {An Application Framework for Nomadic, Collaborative
                  Applications},
  booktitle =    {Int.\ Conf.\ on Dist.\ App.\ and Interop.\ Sys.\ (DAIS)},
  pages =        {48--63},
  year =         2006,
  address =      {Bologna, Italy},
  month =        jun,
  organization = {IFIP WG 6.1},
  doi =          {10.1007/11773887_4},
  url =          {http://dx.doi.org/10.1007/11773887_4},
  local-url  =   {./papers/Joyce_DAIS-2006.pdf},
  url  =         {http://lip6.fr/Marc.Shapiro/papers/Joyce_DAIS-2006.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Joyce_DAIS-2006.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2006},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{misc:1553,
Keywords =       {misc},
  author =       {Peter Druschel and Rebecca Isaacs and Thomas Gross and
                  Marc Shapiro},
  title =        {Fostering {S}ystems Research in {E}urope},
  institution =  {{EuroSys}, the European Professional Society in Systems},
  year =         2006,
  type =         {White Paper},
  month =        apr,
  url  =         {http://www.eurosys.org/whitepaper-2006/},
  comment =      {INT LIP6 REGAL},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{loo:rep:1554,
Keywords =       {loo,rep},
  author =       "Marc Shapiro",
  title =        "Structure and Encapsulation in Distributed Systems:
                 the {P}roxy {P}rinciple",
  booktitle =    icdcs,
  pages =        "198--204",
  year =         1986,
  address =      {Cambridge, MA, USA},
  month =        May,
  organization = "{IEEE}",
  local-url =    {./papers/SEDSPP_icdcs86.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SEDSPP_icdcs86.pdf},
  hal =          {https://hal.archives-ouvertes.fr/inria-00444651},
  x-conferencestartdate = {1986},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{loo:rep:1555,
Keywords =       {loo,rep},
  author =       "Shapiro, Marc",
  title =        "{SOS}: a distributed Object-Oriented Operating System",
  booktitle =    sigopsew # { on ``Making Distributed Systems Work{''}},
  year =         1986,
  address =      "Amsterdam, the Netherlands",
  month =        sep,
  organization = sigops,
  doi =          {10.1145/503956.503997},
  url =          {http://doi.acm.org/10.1145/503956.503997},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1986},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Article{loo:rep:1556,
Keywords =       {loo,rep},
  author =       "Shapiro, Marc and Abrossimov, Vadim and Gautron, Philippe
                  and Habert, Sabine and Makpangou,
        Mesaac Mounchili",
  title =        "{SOS}~: un syst\`{e}me d'exploitation r\'{e}parti bas\'{e}
                 sur les objets",
  journal =      tsi,
  year =         1987,
  volume =       6,
  number =       2,
  pages =        "166--169",
  comment =      {NAT LIP6 REGAL},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  fr,
}



@Article{app:1558,
Keywords =       {app},
  author =       "Marc Shapiro",
  title =        "Le service d'appel de proc\'{e}dure distante {G}irolle",
  journal =      tsi,
  year =         1984,
  volume =       3,
  number =       6,
  pages =        "435--442",
  month =        dec,
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  fr,
}



@InProceedings{app:1559,
Keywords =       {app},
  author =       "Shapiro, Marc",
  title =        "An Experiment in Distributed Program Design, Using
                 Control Enrichment",
  booktitle =    icdcs,
  year =         1982,
  address =      "Miami-Ft.\ Lauderdale {FL}, USA",
  month =        Oct,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1982},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@PhdThesis{rep:1560,
Keywords =       {rep},
  author =       {Marc Shapiro},
  title =        {La gestion des objets dans les syst{\`e}mes r{\'e}partis de grande {\'e}chelle},
  school =       {Universit{\'e} Paris VI --- Pierre et Marie Curie},
  year =         2002,
  type =         {Habilitation {\`a} diriger des recherches},
  address =      {Paris, France},
  month =        nov,
  local-url  =   {./habilitation/},
  url  =         {http://lip6.fr/Marc.Shapiro/habilitation/},
  pdf =          {http://lip6.fr/Marc.Shapiro/habilitation/shabilo.pdf},
  comment =      {NAT LIP6 REGAL},
  x-director =   {Claude Girault},
  x-language  =  en, 
  x-title_en =   {Object management in large-scale distributed systems},
  x-title_fr =   {La gestion des objets dans les syst{\`e}mes r{\'e}partis de grande {\'e}chelle},
  x-abstract_fr = {XX},
  x-abstract_en = {XX},
  x-keywords_en = {object management, large-scale distributed systems},
  x-keywords_fr = {gestion d'objets, syst{\`e}mes r{\'e}partis de grande
                    {\'e}chelle},
  x-filesource =   author,
}



@InProceedings{loo:1562,
  Keywords =     {loo},
  author =       {Marc Shapiro},
  title =        {Domains and dynamic loading: reconciling autonomy and
                  integration},
  booktitle =    sigopsew # { on ``Autonomy or interdependence in
                  distributed systems?''},
  year =         1988,
  month =        sep,
  address =      {Cambridge, UK},
  organization = sigops,
  doi =          {10.1145/504092.504127},
  url =          {http://doi.acm.org/10.1145/504092.504127},
  local-url =    {./papers/Domains_and_dynamic_loading_reconciling_autonomy_and_integration_EW-1988.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Domains_and_dynamic_loading_reconciling_autonomy_and_integration_EW-1988.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1988},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Comment Misc{loo:1563,
@Comment   note =         {see sh125},
@Comment }



@Article{misc:1568,
Keywords =       {misc},
  author =       {Marc Shapiro},
  title =        {What's wrong with us?},
  journal =      {Distributed Systems Online},
  publisher =    {IEEE},
  year =         2006,
  volume =       7,
  number =       5,
  month =        may,
  note =         {Art.\ no.\ 0506-o5003},
  doi =          {10.1109/MDSO.2006.34},
  url  =         {http://www.computer.org/csdl/mags/ds/2006/05/o5003.pdf},
  pdf =          {http://www.computer.org/csdl/mags/ds/2006/05/o5003.pdf},
  comment =      {INT LIP6 REGAL},
  x-audience  =  intl, 
  x-popularlevel = yes,
  x-peerreviewing = no,
  x-language  =  en,
}



@TechReport{optim:syn:rep:1579,
Keywords =       {optim,syn,rep},
  author =       {Pierre Sutra and Jo{\~{a}}o Barreto and Marc Shapiro},
  title =        {An asynchronous, decentralised commitment protocol for
                  semantic optimistic replication},
  institution =  inria,
  year =         2006,
  type =         rr,
  number =       {6069},
  address =      rocq,
  month =        dec,
  pages =        {21},
  local-url =    {./papers/RR-6069.pdf},
  url  =         {https://hal.inria.fr/inria-00120734},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/RR-6069.pdf},
  hal  =         {https://hal.inria.fr/inria-00120734},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{syn:rep:1580,
Keywords =       {syn,rep},
  author =       {Jo{{\~a}}o Barreto and Paulo Ferreira and Marc Shapiro},
  title =        {Exploiting our computational surroundings for better
                  mobile collaboration},
  booktitle =    intconfon # {Mobile Data Management (MDM)},
  year =         2007,
  pages =        {110--117},
  address =      {Mannheim, Germany},
  local-url =    {./papers/DecoupledConsistency-MDM-2007.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/DecoupledConsistency-MDM-2007.pdf},
  doi =          {10.1109/MDM.2007.24},
  url =          {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4417131},
  month =        may,
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2007},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{app:rep:1591:techreport,
Keywords =       {app,rep},
  author =       {Ignat, Claudia  and  Oster, G{\'e}rald  and  Molli, Pascal
                  and  Cart, Mich{\`e}le  and  Ferri{\'e}, Jean  and
                  Kermarrec, Anne-Marie  and Sutra, Pierre  and
                  Shapiro, Marc  and 
                  Benmouffok, Lamia  and  Busca, Jean-Michel  and
                  Guerraoui, Rachid},
  title =        {A Comparison of Optimistic Approaches to Collaborative
                  Editing of {W}iki Pages},
  institution =  inria,
  year =         2007,
  type =         {Research Report},
  number =       {RR-6278},
  month =        sep,
  hal  =         {https://hal.inria.fr/inria-00169395},
  hal  =         {https://hal.inria.fr/inria-00169395},
  annote =       {see 1596},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{rep:1592,
Keywords =       {rep},
  author =       {Pierre Sutra and Jo{{\~a}}o Barreto and Marc Shapiro},
  title =        {Decentralised Commitment for Optimistic Semantic
                  Replication},
  booktitle =    coopis,
  year =         2007,
  address =      {Vilamoura, Algarve, Portugal},
  month =        nov,
  doi =          {10.1007/978-3-540-76848-7_21},
  local-url =    {./papers/sutra-barreto-shapiro-coopis40.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/sutra-barreto-shapiro-coopis40.pdf},
  url =          {http://www.springerlink.com/content/u126126582647jmx/},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2007},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{rep:db:1593,
Keywords =       {rep,db},
  author =       {Pierre Sutra and Marc Shapiro},
  title =        {Comparing Optimistic Database Replication Techniques},
  booktitle =    {Bases de Donn{\'e}es Avanc{\'e}es (BDA)},
  year =         2007,
  address =      {Marseille, France},
  local-url =    {./papers/sutra-shapiro-bda2007.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/sutra-shapiro-bda2007.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/sutra-shapiro-bda2007.pdf},
  month =        oct,
  comment =      {NAT LIP6 REGAL},
  x-conferencestartdate = {2007},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{app:rep:1596,
Keywords =       {app,rep},
  author =       {Ignat, Claudia-Lavinia  and  Oster, G{\'e}rald  and
                  Molli, Pascal 
                  and  Cart, Mich{\`e}le  and  Ferri{\'e}, Jean  and
                  Kermarrec, Anne-Marie  and Sutra, Pierre  and
                  Shapiro, Marc  and 
                  Benmouffok, Lamia  and  Busca, Jean-Michel  and
                  Guerraoui, Rachid},
  title =        {A Comparison of Optimistic Approaches to Collaborative
                  Editing of {W}iki Pages},
  booktitle =    intconfon # {Collaborative Comp.: Networking, Apps.\ and
                  Worksharing (CollaborateCom)}, 
  year =         2007,
  number =       3,
  address =      {White Plains, NY, USA},
  month =        nov,
  local-url =    {./papers/comparison-wiki-collaboratecom-2007.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/comparison-wiki-collaboratecom-2007.pdf},
  doi =          {10.1109/COLCOM.2007.4553878},
  url =          {http://dx.doi.org/10.1109/COLCOM.2007.4553878},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/comparison-wiki-collaboratecom-2007.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2007},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{alg:rep:1598,
Keywords =       {alg,rep},
  author =       {Marc Shapiro and Nuno Pregui{\c c}a},
  title =        {Designing a commutative replicated data type},
  Institution =  inria,
  year =         2007,
  type =         rr,
  number =       {RR-6320},
  address =      rocq,
  month =        oct,
  local-url =    {./papers/Commutative-Replicated-Data-Type-RR-6320_2007-10.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Commutative-Replicated-Data-Type-RR-6320_2007-10.pdf},
  hal  =         {http://hal.inria.fr/inria-00177693/},
  hal  =         {http://hal.inria.fr/inria-00177693/},
  url =          {http://lip6.fr/Marc.Shapiro/papers/Commutative-Replicated-Data-Type-RR-6320_2007-10.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{app:rep:optim:1608,
Keywords =       {app,rep},
  author =       {Lamia Benmouffok and Jean-Michel Busca and Marc
                  Shapiro}, 
  title =        {Semantic Middleware for Designing Collaborative
                  Applications in Mobile Environment}, 
  booktitle =    {Middleware for Network Eccentric and Mobile Apps.\ W.\
                  ({MiNEMA})},
  year =         2007,
  pages =        {58--61},
  address =      {Magdeburg, Germany},
  month =        sep,
  local-url =    {./papers/benmouffok-busca-minema-2007.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/benmouffok-busca-minema-2007.pdf},
  url =          {http://minema.cs.uni-magdeburg.de/downloads/folien/minema07-proceedings.pdf},
  x-conferencestartdate = {2007},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@TechReport{alg:rep:pan:1610,
Keywords =       {alg,rep,pan},
  author =       {Pierre Sutra and Marc Shapiro},
  title =        {Fault-Tolerant Partial Replication in Large-Scale
                  Database Systems},
  comment =      {replaced by sh127},
  institution =  inria,
  year =         2008,
  type =         rr,
  number =       6440,
  address =      rocq,
  month =        feb,
  hal =          {http://hal.inria.fr/inria-00232662/en/},
  url =          {http://arxiv.org/abs/0802.0137v2},
  x-language  =  en,
  x-reporttype = rr,
}




@InProceedings{alg:formel:sh123,
  author =       {Marc Shapiro},
  title =        {Practical proofs of concurrent programs},
  booktitle =    {Int.\ Conf.\ on Functional Programming (ICFP)},
  year =         2006,
  pages =        {123--123},
  address =      {Portland, Oregon, USA},
  month =        sep,
  organization = {ACM Sigplan},
  publisher =    acm,
  note =         {Invited Talk},
  doi =          {10.1145/1159803.1159819},
  url =          {http://doi.acm.org/10.1145/1159803.1159819},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2006},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = yes,
  x-peerreviewing = no,
  x-popularlevel = no,
  x-proceedings  = yes, 
}






@InProceedings{app:sh125,
Keywords =       {app},
  author =       {Shapiro, Marc},
  title =        {Binding should be flexible in a distributed system},
  booktitle =    iwooos,
  year =         1993,
  pages =        {216--217},
  address =      {Asheville, NC, USA},
  month =        dec,
  publisher =    ieeecs,
  doi =          {10.1109/IWOOOS.1993.324900},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {1993},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}





@TechReport{rep:optim:sh126,
Keywords =       {rep,optim},
  author =       {Benmouffok, Lamia  and  Busca, Jean-Michel  and
                  Manuel Marqu{\`e}s, Joan  and  Shapiro, Marc  and  Sutra,
                  Pierre  and  Tsoukalas, Georgios},
  title =        {Telex: Principled System Support for Write-Sharing in
                  Collaborative Applications}, 
  institution =  inria,
  year =         2008,
  type =         rr,
  number =       6546,
  address =      rocq,
  month =        may,
  local-url =    {./papers/Telex-principled-RR-6546-2008-06.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Telex-principled-RR-6546-2008-06.pdf},
  hal =          {http://hal.inria.fr/inria-00281329/en/},
  url =          {http://hal.inria.fr/inria-00281329/en/},
  note =         {Use \cite{rep:sh133} instead!},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{syn:pan:sh127,
Keywords =       {syn,pan},
  author =       {Pierre Sutra and Marc Shapiro},
  title =        {Fault-Tolerant Partial Replication in Large-Scale
                  Database Systems},
  booktitle =    europar,
  year =         2008,
  pages =        {404--413},
  address =      {Las Palmas de Gran Canaria, Spain},
  month =        aug,
  doi =          {10.1007/978-3-540-85451-7_44},
  local-url =    {./papers/Fault-Tolerant-Partial-Replication-in-Large-Scale-Database-Systems_Sutra_Shapiro_EuroPar-2008.pdf},
  url =          {http://www.springerlink.com/content/g667712123656274/},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Fault-Tolerant-Partial-Replication-in-Large-Scale-Database-Systems_Sutra_Shapiro_EuroPar-2008.pdf},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2008},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{alg:rep:sh128,
  author =       {Nuno Pregui{\c c}a and Marc Shapiro and J. Legatheaux
                  Martins}, 
  title =        {Designing a commutative replicated data type for
                  cooperative editing systems},
  institution =  {Universidade Nova de Lisboa, Dep.\ Inform{\'{a}}tica, FCT},
  year =         2008,
  number =       {TR-02-2008 DI-FCT-UNL},
  x-language  =  en,
  x-reporttype = rr,
}



@InCollection{opt:db:sh129,
Keywords =       {opt,db},
Group =          {papers},
  author =       {Marc Shapiro},
  title =        {Optimistic Replication and Resolution},
  booktitle =    EnDBSys,
  note =         {Online and print},
  publisher =    springer,
  year =         2009,
  month =        oct,
  editor =       {{\"O}zsu, M. Tamer and Liu, Ling},
  local-url =    {./papers/optimistic-replication-Encyclopedia-DB-systems-2009.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/optimistic-replication-Encyclopedia-DB-systems-2009.pdf},
  url =          {http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-0-387-49616-0},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/optimistic-replication-Encyclopedia-DB-systems-2009.pdf},
  x-proceedings = yes,
  x-editorial-board = {yes},
  x-audience    = intl,
  comment =      {INT LIP6 REGAL},
  comment =      {This entry is published in the Encyclopedia
                  of Database Systems by Springer.  The Encyclopedia,
                  under the editorial guidance of Ling Liu and M. Tamer
                  {\"O}zsu, is a multiple volume, comprehensive,
                  and authoritative reference on databases, data
                  management, and database systems. Since it is
                  available in both print and online formats,
                  researchers, students, and practitioners benefit
                  from advanced search functionality and convenient
                  interlinking possibilities with related online
                  content.  The Encyclopedia's online version is
                  accessible on the platform SpringerLink.},
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = yes,
}



@Comment{"See also rep:syn:sh192"}
@InCollection{opt:proto:sh130,
Keywords =       {opt,proto},
Group =          {papers},
  author =       {Marc Shapiro and Bettina Kemme},
  title =        {Eventual Consistency},
  booktitle =    EnDBSys,
  note =         {Online and print},
  publisher =    springer,
  year =         2009,
  month =        oct,
  editor =       {{\"O}zsu, M. Tamer and Liu, Ling},
  local-url =    {./papers/eventual-consistency-Encyclopedia-DB-systems-2009.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/eventual-consistency-Encyclopedia-DB-systems-2009.pdf},
  url =          {http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-0-387-49616-0},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/eventual-consistency-Encyclopedia-DB-systems-2009.pdf},
  x-proceedings = yes,
  x-editorial-board = {yes},
  x-audience    = intl,
  x-pays =       {CA},
  comment =      {INT LIP6 REGAL},
comment =        {This entry is published in the Encyclopedia
                  of Database Systems by Springer.  The Encyclopedia,
                  under the editorial guidance of Ling Liu and M. Tamer
                  {\"O}zsu, is a multiple volume, comprehensive,
                  and authoritative reference on databases, data
                  management, and database systems. Since it is
                  available in both print and online formats,
                  researchers, students, and practitioners benefit
                  from advanced search functionality and convenient
                  interlinking possibilities with related online
                  content.  The Encyclopedia's online version is
                  accessible on the platform SpringerLink.},
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = yes,
}



@InProceedings{alg:rep:sh131,
Keywords =       {alg,rep},
  author =       {Nuno Pregui{\c c}a and Joan Manuel Marqu{\`e}s and
                  Marc Shapiro and Mihai Le{\c t}ia},
  title =        {A commutative replicated data type for cooperative editing},
  booktitle =    icdcs,
  year =         2009,
  pages =        {395--403},
  address =      {Montr{\'e}al, Canada},
  month =        jun,
  local-url =    {./papers/icdcs09-treedoc.pdf},
  doi =          {10.1109/ICDCS.2009.20},
  url =          {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2009.20},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/icdcs09-treedoc.pdf},
  x-proceedings = yes,
  x-editorial-board = {yes},
  x-audience    = intl,
  x-pays =       {PT, ES},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2009},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}

@InProceedings{alg:rep:sh131-latin10,
Keywords =       {alg,rep},
  author =       {Nuno Pregui{\c c}a and Joan Manuel Marqu{\`e}s and
                  Marc Shapiro and Mihai Le{\textcommabelow{t}}ia},
  title =        {A commutative replicated data type for cooperative editing},
  booktitle =    icdcs,
  year =         2009,
  pages =        {395--403},
  address =      {Montr{\'e}al, Canada},
  month =        jun,
  doi =          {10.1109/ICDCS.2009.20},
  url =          {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2009.20},
  local-url =    {./papers/icdcs09-treedoc.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/icdcs09-treedoc.pdf},
  x-proceedings = yes,
  x-editorial-board = {yes},
  x-audience    = intl,
  x-pays =       {PT, ES},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2009},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{alg:rep:sh132,
Keywords =       {alg,rep},
  author =       {Mihai Le{\c t}ia and Nuno Pregui{\c c}a
                  and Marc Shapiro},
  title =        {{CRDTs}: Consistency without concurrency control},
  institution =  inria,
  year =         2009,
  type =         rr,
  number =       {RR-6956},
  address =      rocq,
  month =        jun,
  local-url =    {./papers/RR-6956.pdf},
  hal =          {http://hal.inria.fr/inria-00397981/},
  url =          {http://hal.inria.fr/inria-00397981/},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/RR-6956.pdf},
  x-pays =       {PT, ES},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{rep:sh133,
  author =       {Lamia Benmouffok and Jean-Michel Busca and Joan Manuel
                  Marqu{\`e}s and  Marc Shapiro and Pierre Sutra and
                  Georgios Tsoukalas},
  title =        {Telex: A Semantic Platform for Cooperative Application
                  Development},
  booktitle =    cfse,
  year =         2009,
  address =      {Toulouse, France},
  month =        sep,
  local-url =    {./papers/Telex-CFSE-2009.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Telex-CFSE-2009.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/Telex-CFSE-2009.pdf},
  x-proceedings = yes,
  x-editorial-board = yes,
  x-international-audience = yes,
  x-pays =       {GR, ES},
  comment =      {NAT LIP6 REGAL},
  x-conferencestartdate = {2009},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}


%% ``Le{\textcommabelow{t}}ia'' REQUIRES \usepackage[latin10]{inputenc}


@Article{alg:rep:sh134,
  title =        {Consistency without concurrency control in large,
                  dynamic systems},
  author =       {Mihai Le{\c t}ia and Nuno Pregui{\c c}a
                  and Marc Shapiro},
  journal =      osr,
  year =         2010,
  volume =       44,
  number =       2,
  pages =        {29--34},
  month =        apr,
  doi =          {10.1145/1773912.1773921},
  url =          {http://doi.acm.org/10.1145/1773912.1773921},
  publisher =    acm,
  address =      {New York, NY, USA},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
}

@Article{alg:rep:sh134-latin10,
  title =        {Consistency without concurrency control in large,
                  dynamic systems},
  author =       {Mihai Le{\textcommabelow{t}}ia and Nuno Pregui{\c c}a
                  and Marc Shapiro},
  journal =      osr,
  year =         2010,
  volume =       44,
  number =       2,
  pages =        {29--34},
  month =        apr,
  doi =          {10.1145/1773912.1773921},
  url =          {http://doi.acm.org/10.1145/1773912.1773921},
  publisher =    acm,
  address =      {New York, NY, USA},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
}


@InProceedings{alg:rep:sh134-wk,
Keywords =       {alg,rep},
  author =       {Mihai Le{\c t}ia and Nuno Pregui{\c c}a
                  and Marc Shapiro},
  title =        {Consistency without concurrency control in large,
                  dynamic systems},
  booktitle =    {{SOSP} W.\ on Large Scale Distributed Systems and
                  Middleware (LADIS)},
  year =         2009,
  volume =       44,
  number =       2,
  series =       osr,
  pages =        {29--34},
  address =      {Big Sky, MT, USA},
  month =        oct,
  organization = sigops,
  publisher =    acm,
  doi =          {10.1145/1773912.1773921},
  local-url =    {./papers/LS-consistency-ladis-2009.pdf},
  url =          {http://doi.acm.org/10.1145/1773912.1773921},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/LS-consistency-ladis-2009.pdf},
  x-proceedings = yes,
  x-editorial-board = yes,
  x-international-audience = yes,
  x-pays =       {PT},
  comment =      {INT LIP6 REGAL},
  x-conferencestartdate = {2009},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




%% hal-00476885, version 2
%% http://hal.archives-ouvertes.fr/hal-00476885/en/

@comment{use rep:pan:sh142 instead}
@TechReport{rep:pan:sh135,
  author =       {{S}utra, {P}ierre and {S}hapiro, {M}arc},
  title =        {{F}ast {G}enuine {G}eneralized {C}onsensus},
  institution =  inria,
  year =         2010,
  type =         rr,
  number =       {???},
  address =      rocq,
  month =        may,
  local-url =    {./papers/SutraShapiroFastGenuineGeneralizedConsensus.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SutraShapiroFastGenuineGeneralizedConsensus.pdf},
  hal =          {http://hal.archives-ouvertes.fr/hal-00476885},
  url =          {http://hal.archives-ouvertes.fr/hal-00476885},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SutraShapiroFastGenuineGeneralizedConsensus.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@InProceedings{rep:opt:sh136,
  author =       {Marc Shapiro},
  title =        {R{\'e}plication\,: les approches optimistes (conf.\
                  invit{\'e}e)},
  booktitle =    {Journ{\'e}es Bases de Donn{\'e}es Avanc{\'e}es (BDA)},
  year =         2002,
  editor =       {Philippe Pucheral},
  address =      {{\'E}vry, France},
  month =        oct,
  note =         {Invited Talk},
  x-conferencestartdate = {2002},
  x-audience  =  ntl,
  x-language  =  fr,
  x-invitedcommunication = yes,
  x-peerreviewing = no,
  x-popularlevel = no,
  x-proceedings  = no, 
}




@InProceedings{app:sh137,
  author =       {Jonathan Michaux and Xavier Blanc and Pierre Sutra and
                  Marc Shapiro},
  title =        {A Semantically Rich Approach for Collaborative Model
                  Edition},
  booktitle =    {Symp.\ on Applied Computing (SAC)},
  year =         2011,
  volume =       26,
  pages =        {1470--1475},
  address =      {TaiChung, Taiwan},
  month =        mar,
  organization = {ACM SIGAPP},
  publisher =    acm,
  local-url =    {./papers/SAC2011-Cpraxis_wholePaper.pdf},
  doi =          {10.1145/1982185.1982500},
  url =          {http://doi.acm.org/10.1145/1982185.1982500},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SAC2011-Cpraxis_wholePaper.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-01248198},
  x-conferencestartdate = {2011},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{rep:syn:sh138,
  author =       {Marc Shapiro and Nuno Pregui{\c c}a and Carlos Baquero
                  and Marek Zawirski},
  title =        {A comprehensive study of {C}onvergent and {C}ommutative
                  {R}eplicated {D}ata {T}ypes},
  institution =  inria,
  year =         2011,
  type =         rr,
  number =       {7506},
  address =      rocq,
  month =        jan,
  hal =          {http://hal.archives-ouvertes.fr/inria-00555588/},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Comprehensive-CRDTs-RR7506-2011-01.pdf},
  x-language  =  en,
  x-reporttype = rr,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svn/treedoc-src/papers/crdt-portfolio-design-RR-7506+PODC-reject_2011-01/techreport.tex}
}



@InProceedings{rep:pan:sh139,
  author =       {Pierre Sutra and Marc Shapiro},
  title =        {R{\'e}solution efficace du consensus
                  g{\'e}n{\'e}ralis{\'e} dans les syst{\`e}mes
                  r{\'e}partis par passage de messages},
  booktitle =    {Rencontres Francophones sur les Aspects Algorithmiques
                  des T{\'e}l{\'e}communications (AlgoTel)},
  year =         2011,
  address =      {Cap Est{\'e}rel, France},
  month =        may,
  local-url =    {./papers/Resolution efficace du consensus generalise_Algotel-2011.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/Resolution%20efficace%20du%20consensus%20generalise_Algotel-2011.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Resolution%20efficace%20du%20consensus%20generalise_Algotel-2011.pdf},
  hal =          {https://hal.archives-ouvertes.fr/inria-00586591},
  x-conferencestartdate = {2011},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{alg:rep:sh140,
  author =       {Marek Zawirski and Marc Shapiro and Nuno Pregui{\c c}a},
  title =        {Asynchronous rebalancing of a replicated tree},
  booktitle =    cfse,
  year =         2011,
  pages =        12,
  address =      {Saint-Malo, France},
  month =        may,
  local-url =    {./papers/Asynch rebalancing of a replicated tree Zawirski-CFSE-2011.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/Asynch%20rebalancing%20of%20a%20replicated%20tree%20Zawirski-CFSE-2011.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Asynch%20rebalancing%20of%20a%20replicated%20tree%20Zawirski-CFSE-2011.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-01248197},
  x-conferencestartdate = {2011},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@Misc{alg:rep:sh141,
  author =       {Nuno Pregui{\c c}a and Marc Shapiro and Marek Zawirski},
  title =        {Position paper: CRDTs for large-scale incremental processing},
  howpublished = {\url{http://lip6.fr/Marc.Shapiro/papers/crdt+dataflow_submitted-2011-06.pdf}},
  note =         {Position Paper},
  month =        {jun},
  year =         2011,
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = no,
}



@InProceedings{rep:pan:sh142,
  comment =      {FGGC},
  author =       {Sutra, Pierre and Shapiro, Marc},
  title =        {{F}ast {G}enuine {G}eneralized {C}onsensus},
  booktitle =    srds,
  year =         2011,
  address =      {Madrid, Spain},
  month =        oct,
  pages =        {255--264},
  local-url =    {./papers/FGGC-SRDS-2011.pdf},
  url =          {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6076784},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/FGGC-SRDS-2011.pdf},
  doi =          {10.1109/SRDS.2011.38},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932839},
  x-conferencestartdate = {2011},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{syn:rep:sh143,
  author =       {Marc Shapiro and Nuno Pregui{\c c}a and Carlos Baquero
                  and Marek Zawirski},
  title =        {Conflict-free Replicated Data Types},
  booktitle =    sss,
  year =         2011,
  editor =       {Xavier D{\'e}fago and Franck Petit and V. Villain},
  volume =       6976,
  series =       lncs,
  pages =        {386--400},
  address =      {Grenoble, France},
  month =        oct,
  publisher =    springer,
  local-url =    {./papers/CRDTs_SSS-2011.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/CRDTs_SSS-2011.pdf},
  doi =          {10.1007/978-3-642-24550-3_29},
  url =          {http://www.springerlink.com/content/3rg39l2287330370/},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932836},
  x-conferencestartdate = {2011},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svn/treedoc-src/papers/SSS-2011}
}
@TechReport{syn:rep:sh143-tr,
  author =       {Marc Shapiro and Nuno Pregui{\c c}a and Carlos Baquero
                  and Marek Zawirski},
  title =        {Conflict-free Replicated Data Types},
  institution =  inria,
  year =         2011,
  type =         rr,
  number =       {RR-7687},
  address =      rocq,
  month =        jul,
  hal =          {http://hal.inria.fr/inria-00609399/en/},
  url =          {http://hal.inria.fr/inria-00609399/en/},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/RR-7687.pdf},
  x-language  =  en,
  x-reporttype = rr,
}



@Article{syn:sh144,
  author =       {Marc Shapiro and Nuno Pregui{\c c}a and Carlos Baquero and
                  Marek Zawirski},
  title =        {Convergent and Commutative Replicated Data Types},
  journal =      {Bulletin of the European Association for Theoretical
                  Computer Science (EATCS)},
  year =         2011,
  number =       104,
  pages =        {67--88},
  month =        jun,
  local-url =    {./papers/CRDTs-beatcs-2011-06.pdf},
  url =          {http://www.eatcs.org/images/bulletin/beatcs104.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/CRDTs-beatcs-2011-06.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932833},
  comment =      {BEATCS},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svn/treedoc-src/papers/crdt-portfolio-design-RR-7506+PODC-reject_2011-01/beatcs-2011.tex}
}



@Article{gc:sh145-jrnl,
  author =       {Gidra, Lokesh and Thomas, Ga{\"e}l and Sopena,
                  Julien and Shapiro, Marc},
  title =        {Assessing the scalability of garbage collectors on
                  many cores},
  journal =      {Best papers from PLOS'11, SIGOPS Oper.\ Sys.\ 
                  Review (OSR)},
  year =         2011,
  volume =       45,
  number =       3,
  pages =        {15--19},
  month =        dec,
  local-url =    {./papers/GC-scalability_PLOS-2011-10.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/GC-scalability_PLOS-2011-10.pdf},
  doi =          {10.1145/2094091.2094096},
  url =          {http://doi.acm.org/10.1145/2094091.2094096},
  publisher =    acm,
  hal =          {https://hal.archives-ouvertes.fr/hal-00932831},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
}



@InProceedings{gc:sh145-wkshp,
  author =       {Gidra, Lokesh and Thomas, Ga{\"e}l and Sopena, Julien
                  and Shapiro, Marc},
  title =        {Assessing the Scalability of Garbage Collectors on
                  Many Cores},
  booktitle =    {SOSP W.\ on Prog.\ Lang.\ and Op.\ Sys.\ (PLOS)},
  year =         2011,
  local-url =    {./papers/GC-scalability_PLOS-2011-10.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/GC-scalability_PLOS-2011-10.pdf},
  doi =          {10.1145/2039239.2039249},
  url =          {http://doi.acm.org/10.1145/2039239.2039249},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932818},
  pages =        {7:1--7:5},
  address =      {Cascais, Portugal},
  month =        oct,
  publisher =    acm,
  x-conferencestartdate = {2011},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{syn:sh146,
  author =       {Saeida Ardekani, Masoud and Pierre Sutra and Marc
                  Shapiro},
  title =        {Impossibility of Genuine Replicated {STM} under {SI}},
  booktitle =    {W.\ on the Theory of Transactional Memory (WTTM)},
  year =         2011,
  address =      {Rome, Italy (in conjunction with DISC 2011)},
  month =        sep,
  local-url =    {./papers/Impossibility_of_Genuine_Replicated_STM_under_SI-WTTM-2011.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Impossibility_of_Genuine_Replicated_STM_under_SI-WTTM-2011.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932809},
  x-conferencestartdate = {2011},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@inproceedings{sos:147,
  author =       {Shapiro, Marc},
  title =        {SOS: a distributed object-oriented operating system},
  booktitle =    sigopsew # {on ``Making Distributed Systems Work''},
  series =       sigopsew,
  year =         {1986},
  month =        sep,
  address =      {Amsterdam, the Netherlands},
  pages =        {1--3},
  doi =          {10.1145/503956.503997},
  url =          {http://doi.acm.org/10.1145/503956.503997},
   hal =          {https://hal.archives-ouvertes.fr/hal-01248236},
 publisher =    {ACM},
  x-conferencestartdate = {1986},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
} 

                  

@TechReport{rep:syn:sh148-tr,
  author =       {Saeida Ardekani, Masoud and Sutra, Pierre and
                  Pregui{\c c}a, Nuno and Shapiro,
                  Marc},
  title =        {{N}on-{M}onotonic {S}napshot {I}solation},
  institution =  inria,
  year =         2011,
  type =         rr,
  number =       7805,
  address =      rocq,
  month =        nov,
  local-url =    {./papers/NMSI-ICDCS-2011-11-RR-7805.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/NMSI-ICDCS-2011-11-RR-7805.pdf},
  url =          {http://hal.inria.fr/hal-00643430/en/},
  hal =          {http://hal.inria.fr/hal-00643430/en/},
  x-language  =  en,
  x-reporttype = rr,
}



@Comment Unpublished{rep:syn:sh148,
@Comment   author =       {Saeida Ardekani, Masoud and Sutra, Pierre and
@Comment                   Pregui{\c c}a, Nuno and Shapiro,
@Comment                   Marc},
@Comment   title =        {{N}on-{M}onotonic {S}napshot {I}solation},
@Comment   note =         {Submitted for publication},
@Comment   month =        nov,
@Comment   year =         2011,
@Comment   x-language  =  en,
@Comment }



@InProceedings{rep:sh149,
  author =       {Saeida Ardekani, Masoud and Marek Zawirski and Pierre
                  Sutra and Marc Shapiro},
  title =        {The Space Complexity of Transactional Interactive
                  Reads},
  booktitle =    intwkon # {Hot Topics in Cloud Data Processing
                  (HotCDP)},
  year =         2012,
  address =      {Bern, Switzerland},
  month =        apr,
  pages =        {4:1--4:5},
  local-url =    {./papers/interactive-reads-HotCDP-2012.pdf},
  url =          {http://doi.acm.org/10.1145/2169090.2169094},
  doi =          {10.1145/2169090.2169094},
  publisher =    acm,
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/interactive-reads-HotCDP-2012.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932803},
  x-conferencestartdate = {2012},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{rep:opt:sh150,
  author =       {Annette Bieniusa and Marek Zawirski and Nuno Pregui{\c
                  c}a and Marc Shapiro and Carlos Baquero and Valter
                  Balegas and S{\'e}rgio Duarte},
  title =        {Brief Announcement: Semantics of Eventually Consistent
                  Replicated Sets},
  booktitle =    disc,
  year =         2012,
  editor =       {Aguilera, Marcos K.},
  volume =       7611,
  series =       lncs,
  pages =        {441--442},
  address =      {Salvador, Bahia, Brazil},
  month =        oct,
  publisher =    springer,
  local-url =    {./papers/semantics-sets-BA-DISC-2012.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf},
  doi =          {10.1007/978-3-642-33651-5_48},
  url =          {http://dx.doi.org/10.1007/978-3-642-33651-5_48},
  hal =          {https://hal.archives-ouvertes.fr/hal-00769554},
  x-conferencestartdate = {2012},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svn/treedoc-src/papers/disc-2012/main-brief-semantics.tex},
}




@TechReport{rep:opt:sh151,
  author =       {Annette Bieniusa and Marek Zawirski and Nuno 
                  Pregui{\c c}a and Marc Shapiro and Carlos Baquero and Valter
                  Balegas and S{\'e}rgio Duarte},
  title =        {An Optimized Conflict-free Replicated Set},
  institution =  inria,
  year =         2012,
  type =         rr,
  number =       {RR-8083},
  address =      rocq,
  month =        oct,
  local-url =    {./papers/RR-8083.pdf},
  hal =          {http://hal.inria.fr/hal-00738680},
  url =          {http://hal.inria.fr/hal-00738680},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/RR-8083.pdf},
  x-language  =  en,
  x-reporttype = rr,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svn/treedoc-src/papers/disc-2012/RR-8083.tex},
}



@InProceedings{rep:sh152,
  author =       {Pierpaolo Cincilla and S{\'e}bastien Monnet and Marc
                  Shapiro},
  title =        {Gargamel: boosting {DBMS} performance by parallelising
                  write transactions},
  booktitle =    intconfon # {Parallel and Dist.\ Sys.\ (ICPADS)},
  year =         2012,
  pages =        {572--579},
  address =      {Singapore},
  month =        dec,
  organization = ieeecs,
  local-url =    {papers/gargamel-ICPADS-2012.pdf},
  doi =          {10.1109/ICPADS.2012.83},
  url =          {http://dx.doi.org/10.1109/ICPADS.2012.83},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/gargamel-ICPADS-2012.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932795},
  x-conferencestartdate = {2012},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{syn:gc:sh153,
  author =       {Lokesh Gidra and Ga{\"e}l Thomas and Julien Sopena and
                  Marc Shapiro},
  title =        {A Study of the Scalability of Stop-the-world Garbage
                  Collectors on Multicores},
  booktitle =    asplos,
  year =         2013,
  pages =        {229--240},
  address =      {Houston, TX, USA},
  month =        mar,
  publisher =    acm,
  local-url =    {./papers/multicoreGC-asplos-2013.pdf},
  doi =          {10.1145/2499368.2451142},
  url =          {http://dx.doi.org/10.1145/2499368.2451142},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/multicoreGC-asplos-2013.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-00868012},
  x-conferencestartdate = {2013},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@InProceedings{rep:app:sh154,
  author =       {David Navalho and S{\'e}rgio Duarte and Nuno Pregui{\c
                  c}a and Marc Shapiro},
  title =        {Incremental Stream Processing using {C}omputational
                  {C}onflict-free {R}eplicated {D}ata {T}ypes},
  booktitle =    intwkon # {Cloud Data and Platforms (CloudDP)},
  year =         2013,
  pages =        {31--36},
  address =      {Prague, Czech Republic},
  month =        apr,
  local-url =    {./papers/computational-CRDTs-CloudDP-2013.pdf},
  doi =          {10.1145/2460756.2460762},
  url =          {http://dx.doi.org/10.1145/2460756.2460762},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/computational-CRDTs-CloudDP-2013.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932788},
  x-conferencestartdate = {2013},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}




@InProceedings{pan:rep:sh155,
  author =       {Saeida Ardekani, Masoud and Sutra, Pierre and Shapiro,
                  Marc and Pregui{\c c}a, Nuno},
  title =        {On the Scalability of Snapshot Isolation},
  booktitle =    europar,
  year =         2013,
  editor =       {Wolf, Felix and Mohr, Bernd and Mey, Dieter},
  volume =       8097,
  series =       lncs,
  pages =        {369--381},
  address =      {Aachen, Germany},
  month =        aug,
  publisher =    springer,
  local-url =    {./papers/scalability-SI-EuroPar-2013.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/scalability-SI-EuroPar-2013.pdf},
  doi =          {10.1007/978-3-642-40047-6_39},
  url =          {http://dx.doi.org/10.1007/978-3-642-40047-6_39},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/scalability-SI-EuroPar-2013.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932781},
  x-conferencestartdate = {2013},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}




@InProceedings{rep:syn:sh156,
  author =       {Saeida Ardekani, Masoud and Pierre Sutra and Marc
                  Shapiro},
  title =        {{N}on-{M}onotonic {S}napshot {I}solation: scalable and
                  strong consistency for geo-replicated transactional
                  systems},
  booktitle =    srds,
  year =         2013,
  pages =        {163--172},
  address =      {Braga, Portugal},
  month =        oct,
  organization = ieeecs,
  local-url =    {./papers/NMSI-SRDS-2013.pdf},
  url =          {http://dx.doi.org/10.1109/SRDS.2013.25},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/NMSI-SRDS-2013.pdf},
  doi =          {10.1109/SRDS.2013.25},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932758},
  x-conferencestartdate = {2013},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svnroot/regal/trunk/papers/2013/msaeida/SRDS2013/paper.tex}
}




@comment{See also rep:sh162}

@Article{rep:sh157,
  author =       {Bettina Kemme and Ganesan Ramalingam and Andr{\'e}
                  Schiper and Marc Shapiro and Kapil Vaswani},
  title =        {Consistency in Distributed Systems ({D}agstuhl Seminar
                  13081)},
  pages =        {92--126},
  journal =      {Dagstuhl Reports},
  ISSN =         {2192-5283},
  year =         2013,
  volume =       3,
  number =       2,
  editor =       {Bettina Kemme and Ganesan Ramalingam and Andr{\'e}
                  Schiper and Marc Shapiro and Kapil Vaswani},
  publisher =    {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =      {Dagstuhl, Germany},
  local-url =    {./papers/dagstuhl-consistency-2013-02.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/dagstuhl-consistency-2013-02.pdf},
  doi =          {10.4230/DagRep.3.2.92},
  url =          {http://dx.doi.org/10.4230/DagRep.3.2.92},
  url =          {http://drops.dagstuhl.de/opus/volltexte/2013/4014},
  hal =          {https://hal.inria.fr/hal-00932737},
  annote =       {Keywords: Replication, Consistency, Strong
                  Consistency, Weak Consistency, Distributed Systems,
                  Distributed Algorithms},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = no,
  x-language  =  en,
}





@InProceedings{app:syn:sh158,
  author =       {Maia, Felipe and Ara{\'u}jo, Rafael and Muniz, Luiz
                  Carlos and Zirtany, Rayrone and Coutinho, Luciano and
                  Vale, Samyr and Silva, Francisco Jos{\'e} and Cincilla,
                  Pierpaolo and Chabbouh, Ikram and Monnet, S{\'e}bastien
                  and Arantes, Luciana and Shapiro, Marc},
  title =        {A Grid Based Distributed Cooperative Environment for
                  Health Care Research},
  booktitle =    {Foundations of Health Information Engineering and
                  Systems (FHIES)},
  year =         2012,
  month =        aug,
  editor =       {Weber, Jens and Perseil, Isabelle},
  volume =       7789,
  series =       lncs,
  pages =        {142--150},
  address =      {Paris, France},
  publisher =    springer,
  local-url =    {./papers/ecadeg_accepted-FHIES-2012.pdf},
  url =          {http://lip6.fr/Marc.Shapiro/papers/ecadeg_accepted-FHIES-2012.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/ecadeg_accepted-FHIES-2012.pdf},
  doi =          {10.1007/978-3-642-39088-3_9},
  hal =          {https://hal.inria.fr/hal-00932708},
  x-conferencestartdate = {2012},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
}



@TechReport{rep:syn:sh159,
  author =       {Marek Zawirski 
                  and Annette Bieniusa
                  and Valter Balegas 
                  and S{\'e}rgio Duarte 
                  and Carlos Baquero
                  and Marc Shapiro 
                  and Nuno Pregui{\c c}a},
  title =        {{S}wift{C}loud: Fault-Tolerant Geo-Replication Integrated
                  all the Way to the Client Machine},
  institution =  inria,
  year =         2013,
  type =         rr,
  number =       {RR-8347},
  address =      rocq,
  month =        aug,
  local-url =    {./papers/SwiftCloud-RR-8347.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SwiftCloud-RR-8347.pdf},
  url =          {http://fr.arxiv.org/abs/1310.3107},
  hal =          {http://hal.inria.fr/hal-00870225/},
  x-language  =  en,
  x-reporttype = rr,
}




@InProceedings{rep:syn:sh160,
  author =       {Mahsa Najafzadeh and Marc Shapiro and Valter Balegas
                  and Nuno Pregui{\c c}a},
  title =        {Improving the scalability of geo-replication with
                  reservations},
  booktitle =    {ACM SIGCOMM } # intwkon # {Distributed Cloud Computing (DCC)},
  year =         2013,
  address =      {Dresden, Germany},
  month =        dec,
  local-url =    {./papers/escrow-DCC-2013.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro//papers/escrow-DCC-2013.pdf},
  url =          {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6809446},
  hal =          {https://hal.archives-ouvertes.fr/hal-00932657},
  x-conferencestartdate = {2013},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
            
}



@InProceedings{rep:syn:sh161,
  author =       {Valter Balegas and Nuno Pregui{\c c}a and S{\'e}rgio
                  Duarte and Carla Ferreira and Rodrigo Rodrigues and
                  Mahsa Najafzadeh and Marc Shapiro},
  title =        {The Case for Fast and Invariant-Preserving Geo-Replication},
  booktitle =    wkon # {Planetary-Scale Distributed Systems (W-PSDS)},
  year =         2014,
  month =        oct,
  address =      {co-located with SRDS, Nara, Japan},
  local-url =    toappear,
  doi =          {10.1109/SRDSW.2014.30},
  url =          {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7000128},
  hal =          {https://hal.archives-ouvertes.fr/hal-01109107},
  x-conferencestartdate = {2014},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@comment{See also rep:sh157}
@article{rep:sh162,
  author =       {Kemme, Bettina and Schiper, Andr{\'e} and Ramalingam,
                  Ganesan and Shapiro, Marc},
  title =        {Dagstuhl Seminar Review: Consistency in Distributed
                  Systems},
  journal =      sigact-news,
  volume =       45,
  number =       1,
  month =        mar,
  year =         2014,
  issn =         {0163-5700},
  pages =        {67--89},
  local-url =    {./papers/Dagstuhl-SIGACT-DC-col53-Mar14.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Dagstuhl-SIGACT-DC-col53-Mar14.pdf},
  url =          {http://doi.acm.org/10.1145/2596583.2596601},
  doi =          {10.1145/2596583.2596601},
  hal =          {https://hal.archives-ouvertes.fr/hal-01109111},
  publisher =    acm,
  address =      {New York, NY, USA},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
} 



% also LADIS 2014: Exploring the spectrum of strongly-consistent transactional protocols
@InProceedings{syn:pan:sh163,
  author =       {Masoud Saeida Ardekani and Pierre Sutra and Marc Shapiro},
  title =        {{G-DUR}: A Middleware for Assembling, Analyzing, and
                  Improving Transactional Protocols},
  booktitle =    middleware,
  year =         2014,
  pages =        {13--24},
  month =        dec,
  address =      {Bordeaux, France},
  local-url =    {./papers/GDUR-Middleware-2014.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/GDUR-Middleware-2014.pdf},
  doi =          {10.1145/2663165.2663336},
  url =          {http://dx.doi.org/10.1145/2663165.2663336},
  hal =          {https://hal.archives-ouvertes.fr/hal-01109114},
  x-conferencestartdate = {2014},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svnroot/regal/trunk/papers/2014/msaeida/Middleware2014/paper.tex}
}



@InProceedings{syn:rep:sh164,
  author =       {Pierpaolo Cincilla and S{\'e}bastien Monnet and Marc Shapiro},
  title =        {Multi-site {G}argamel: Optimistic Synchronization for
                  Reliable Geo-Replicated Databases},
  booktitle =    wkon # {Middleware for Next Gen.\ Internet
                  Comp.\ (MW4NG)},
  note =         {Co-located with Middleware Conf.},
  year =         2014,
  month =        dec,
  address =      {Bordeaux, France},
  local-url =    {papers/multi-gargamel-MW4NG-2014-12.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/multi-gargamel-MW4NG-2014-12.pdf},
  doi =          {10.1145/2676733.2676737},
  url =          {http://dx.doi.org/10.1145/2676733.2676737},
  hal =          {https://hal.archives-ouvertes.fr/hal-01105053},
  x-conferencestartdate = {2014},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@InProceedings{syn:gc:sh165,
  author =       {Lokesh Gidra and Ga{\"e}l Thomas and Julien Sopena and
                  Marc Shapiro and Nhan Nguyen},
  title =        {{NumaGiC}: a garbage collector for big data on big
                  {NUMA} machines},
  booktitle =    asplos,
  year =         2015,
  pages =        {661--673},
  address =      {Istanbul, Turkey},
  month =        mar,
  publisher =    acm,
  local-url =    {./papers/NumaGiC- a Garbage Collector for Big Data on Big NUMA Machines_ASPLOS-2015.pdf},
  doi =          {10.1145/2694344.2694361},
  url =          {http://dx.doi.org/10.1145/2694344.2694361},
  hal =          {https://hal.archives-ouvertes.fr/hal-01178790},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  x-repository = {svn+ssh://shapiro@scm.gforge.inria.fr/svn/regal/trunk/papers/2015/lokesh/asplos2015/main.tex},
}




@Proceedings{sh166,
  title =        {Principles of Distributed Systems},
  year =         2014,
  booktitle =    {18th } # opodis # { 2014},
  editor =       {Aguilera, Marcos K. and Querzoni, Leonardo and Shapiro, Marc},
  volume =       8878,
  series =       lncs,
  address =      {Cortina d'Ampezzo, Italy},
  month =        dec,
  publisher =    springer,
  doi =          {10.1007/978-3-319-14472-6},
  url =          {http://link.springer.com/book/10.1007/978-3-319-14472-6},
  hal =          {https://hal.archives-ouvertes.fr/hal-01109118},

  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = no,
}




% also presented at LADIS 2014
@InProceedings{rep:syn:sh167,
  author =       {Valter Balegas and Nuno Pregui{\c c}a and Rodrigo Rodrigues
                  and S{\'e}rgio Duarte and Carla Ferreira and Mahsa
                  Najafzadeh and Marc Shapiro},
  title =        {Putting Consistency back into Eventual Consistency},
  booktitle =    eurosys,
  year =         2015,
  month =        apr,
  pages =        {6:1--6:16},
  address =      {Bordeaux, France},
  local-url =    {./papers/putting-consistency-back-EuroSys-2015.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/putting-consistency-back-EuroSys-2015.pdf},
  doi =          {10.1145/2741948.2741972},
  url =          {http://dl.acm.org/citation.cfm?doid=2741948.2741972},
  hal =          {https://hal.archives-ouvertes.fr/hal-01248191},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes, 
  
}
@InProceedings{rep:syn:sh167-ladis,
  author =       {Valter Balegas and Nuno Pregui{\c c}a and Rodrigo Rodrigues
                  and S{\'e}rgio Duarte and Carla Ferreira and Mahsa
                  Najafzadeh and Marc Shapiro},
  title =        {Putting the Consistency back into Eventual Consistency},
  booktitle =    ladis,
  year =         2014,
  month =        apr,
  address =      {Cambridge, UK},
  hal =          {https://hal.inria.fr/hal-01109719},
  x-conferencestartdate = {2014},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,   
}



@InProceedings{sh168,
  author =       {Marc Shapiro and Saeida-Ardekani, Masoud and Pierre Sutra},
  title =        {Exploring the spectrum of strongly-consistent
                  transactional protocols}, 
  booktitle =    ladis,
  year =         2014,
  month =        oct,
  address =      {Cambridge, UK},
  url =          {http://ladisworkshop.org/node/10},
  hal =          {https://hal.inria.fr/hal-01109740},
  x-conferencestartdate = {2014},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no, 
}



@Article{sh169,
  author =       {Balegas, Valter and Duarte, S{\'e}rgio and Ferreira,
                  Carla and Rodrigues, Rodrigo and Pregui\c{c}a, Nuno
                  and Najafzadeh, Mahsa and Shapiro, Marc}, 
  title =        {Towards Fast Invariant Preservation in Geo-replicated Systems},
  journal =      osr,
  note =         {Selected Papers from LADIS 2014 Eighth Workshop on
                  Large-Scale Distributed Systems and Middleware},
  year =         2015,
  volume =       49,
  number =       1,
  pages =        {121--125},
  month =        jan,
  local-url =    {~/Contrib/CRDTs/Towards Fast Invariant Preservation in Geo-replicated Systems LADIS-2014-Balegas.pdf},
  doi =          {10.1145/2723872.2723889},
  url =          {http://doi.acm.org/10.1145/2723872.2723889},
  hal =          {https://hal.inria.fr/hal-01111206},
  x-audience  =  intl, 
  x-popularlevel = no,
  x-peerreviewing = yes,
  x-language  =  en,
  repository =   {https://projectos.fct.unl.pt/svn/di-di95/papers/OSR15},
  
}



@InProceedings{rep:pro:sh170,
  author =       {Tyler Crain and Marc Shapiro},
  title =        {Designing a causally consistent protocol for
                  geo-distributed partial replication},
  booktitle =    papoc,
  year =         2015,
  editor =       {Carlos Baquero and Marco Serafini},
  series =       {co-located with EuroSys 2015},
  month =        apr,
  address =      {Bordeaux, France},
  organization = sigops,
  publisher =    acm,
  local-url =    {papers/causal+partial-replication_PaPOC-2015.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/causal+partial-replication_PaPOC-2015.pdf},
  doi =          {10.1145/2745947.2745953},
  url =          {http://dx.doi.org/10.1145/2745947.2745953},
  hal =          {https://hal.inria.fr/hal-01218204},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  repository  =  {@scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/mixed-replication/PaPoC2015},
}



@InProceedings{rep:pro:sh171,
  author =       {Tomsic, Alejandro Z. and Tyler Crain and Marc Shapiro},
  title =        {An empirical perspective on causal consistency},
  booktitle =    papoc,
  year =         2015,
  editor =       {Carlos Baquero and Marco Serafini},
  series =       {co-located with EuroSys 2015},
  month =        apr,
  address =      {Bordeaux, France},
  organization = sigops,
  publisher =    acm,
  local-url =    {./papers/causal-empirical_PaPOC 2015.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/causal-empirical_PaPOC 2015.pdf},
  doi =          {10.1145/2745947.2745949},
  url =          {http://dx.doi.org/10.1145/2745947.2745949},
  hal =          {https://hal.inria.fr/hal-01248189},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  repository =  {@scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/causal-study/PaPoc-2015},
}



@InProceedings{fic:rep:sh172,
  author =       {Vinh Tao and Marc Shapiro and Vianney Rancurel},
  title =        {Merging Semantics for Conflict Updates in
                  Geo-Distributed File Systems},
  booktitle =    systor,
  year =         2015,
  pages =        {10.1--10.12},
  month =        may,
  address =      {Haifa, Israel},
  local-url =    {./papers/geodistr-FS-Systor-2015.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf},
  doi =          {10.1145/2757667.2757683},
  url =          {http://dx.doi.org/10.1145/2757667.2757683},
  hal =          {https://hal.inria.fr/hal-01248190},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  repository =   {@scm.gforge.inria.fr/svn/regal/trunk/papers/2015/vinh/Systor2015},
}



@TechReport{app:rep:sh173,
  author =       {Reddy Malikireddy, Dastagiri and Saeida Ardekani,
                  Masoud and Shapiro, Marc},
  title =        {Emulating Geo-Replication on {G}rid'5000},
  institution =  inria,
  year =         2014,
  type =         {Technical Report},
  number =       {RT-455},
  address =      parisrocq,
  month =        aug,
  Keywords =     {Grid'5000;  cloud computing},
  local-url =    {./papers/RT-455.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/RT-455.pdf},
  hal =          {https://hal.inria.fr/hal-01149185},
  url =          {https://hal.inria.fr/hal-01149185},
  x-language  =  en,
  x-reporttype = rr,
  repository =   {@scm.gforge.inria.fr/svn/regal/trunk/papers/2014/msaeida/DastagiriReport},
}



@Comment{"See also rep:pan:sh177"}

@TechReport{pan:rep:sh174,
  author =       {Zawirski, Marek and Pregui{\c c}a, Nuno and Duarte,
                  S{\'e}rgio and Bieniusa, Annette and Balegas, Valter
                  and Shapiro, Marc},
  title =        {Write Fast, Read in the Past: Causal Consistency for
                  Client-side Applications},
  institution =  inria,
  year =         2015,
  type =         {Research Report},
  number =       {RR-8729},
  address =      parisrocq,
  month =        may,
  Keywords =     {geo-replication; causal consistency; eventual
                  consistency; fault tolerance; client-side
                  applications},
  local-url =    {./papers/SwiftCloud-extended-RR-8729.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/SwiftCloud-extended-RR-8729.pdf},
  hal =          {https://hal.inria.fr/hal-01158370},
  url =          {https://hal.inria.fr/hal-01158370},
  x-language  =  en,
  x-reporttype = rr,
  repository =   {@scm.gforge.inria.fr/svn/concordant/papers/write-fast-read-in-past-middleware-2015/RR-8729}
}



@InProceedings{rep:sh175,
  author =       {Valter Balegas and Diogo Serra and S{\'e}rgio Duarte
                  and Carla
                  Ferreira and Marc Shapiro and Rodrigo Rodrigues
                  and Nuno Pregui{\c c}a},
  title =        {Extending Eventually Consistent Cloud Databases for
                  Enforcing Numeric Invariants}, 
  booktitle =    srds,
  year =         2015,
  pages =        {31--36},
  month =        sep,
  address =      {Montr{\'e}al, Canada},
  organization = ieeecs,
  publisher =    ieeecs,
  comment =      {Short paper},
  local-url =    {papers/numeric-invariants-SRDS-2015.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/numeric-invariants-SRDS-2015.pdf},
  doi =          {10.1109/SRDS.2015.32},
  url =          {http://dx.doi.org/10.1109/SRDS.2015.32},
  hal =          {https://hal.inria.fr/hal-01248192},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = yes,
  repository   = {https://projectos.fct.unl.pt/svn/di-di95/papers/SRDS15},
}



@InProceedings{sh176,
  author =       {Alejandro Z. Tomsic and Tyler Crain and Marc Shapiro},
  title =        {Scaling geo-replicated databases to the {MEC} environment},
  booktitle =    wkon # {Planetary-Scale Distributed Systems},
  year =         2015,
  month =        sep,
  address =      {Montr{\'e}al, Canada},
  note =         {Co-located with SRDS.  No proceedings.},
  local-url =    {papers/Scaling geo-replicated databases to the MEC environment.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/Scaling geo-replicated databases to the MEC environment.pdf},
  hal =          {https://hal.inria.fr/hal-01248195},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings  = no,
  repository   = {@scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/mobile-edge-computing}
}



@InProceedings{rep:pan:sh177,
  author =       {Zawirski, Marek and Pregui{\c c}a, Nuno and Duarte,
                  S{\'e}rgio and Bieniusa, Annette and Balegas, Valter
                  and Shapiro, Marc},
  title =        {Write Fast, Read in the Past: Causal Consistency for
                  Client-side Applications},
  booktitle =    middleware,
  year =         2015,
  pages =        {75--87},
  month =        dec,
  address =      {Vancouver, BC, Canada},
  organization = {ACM/IFIP/Usenix},
  Keywords =     {geo-replication; causal consistency; eventual
                  consistency; fault tolerance; client-side
                  applications},
  local-url =    {./papers/write-fast-read-past-middleware-2015.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/write-fast-read-past-middleware-2015.pdf},
  doi =          {10.1145/2814576.2814733},
  url =          {http://dx.doi.org/10.1145/2814576.2814733},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/write-fast-read-past-middleware-2015.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-01248194},
  x-conferencestartdate = {2015},
  x-audience  =  intl,
  x-language  =  en,
  x-invitedcommunication = no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-proceedings = yes, 
  repository    = {@scm.gforge.inria.fr/svn/concordant/papers/write-fast-read-in-past-middleware-2015},
}



@Article{misc:sh178,
  author =       {Marc Shapiro},
  title =        {Bringing the cloud closer to users},
  Journal =      {EU Research},
  year =         2015,
  volume =       2015,
  number =       1,
  pages =        {68--69},
  month =        sep,
  local-url =    {./papers/syncfree-cloud-closer-EU-Research-2015-09.pdf},
  url =          {http://www.issuu.com/euresearcher/docs/eu_research_07_digital_mag__1_},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/syncfree-cloud-closer-EU-Research-2015-09.pdf},
  hal =          {https://hal.inria.fr/hal-01248193},
  x-audience  =  intl, 
  x-popularlevel = yes,
  x-peerreviewing = no,
  x-language  =  en,
  repository   = {@scm.gforge.inria.fr/svnroot/syncfree/trunk/papers},
}



@InProceedings{syn:app:sh179,
  author =	 {Alexey Gotsman and Hongseok Yang and Carla Ferreira
                  and Mahsa Najafzadeh and Marc Shapiro},
  title =	 {{'C}ause {I}'m {S}trong {E}nough: Reasoning about
                  Consistency Choices in Distributed Systems},
  booktitle =	 popl,
  address =	 {St.~Petersburg, FL, USA},
  year =	 2016,
  mon =		 jan,
  pages =	 {371--384},
  local-url =	 {./papers/CISE-POPL-2016.pdf},
  pdf =		 {http://lip6.fr/Marc.Shapiro/papers/CISE-POPL-2016.pdf},
  url =		 {http://dx.doi.org/10.1145/2837614.2837625},
  doi =		 {10.1145/2837614.2837625},
  hal =		 {https://hal.inria.fr/hal-01243192},
  hal =		 {https://hal.inria.fr/hal-01243192},
  x-conferencestartdate ={2016},
  x-audience =	 intl,
  x-language =	 en,
  x-invitedcommunication =no,
  x-peerreviewing =yes,
  x-popularlevel =no,
  x-proceedings =yes,
  repository =	 {@software.imdea.org/svn/seplogic/distrmm/logic/popl16},
  abstract =	 {Large-scale distributed systems often rely on
                  replicated databases that allow a programmer to
                  request different data consistency guarantees for
                  different operations, and thereby control their
                  performance. Using such databases is far from trivial:
                  requesting stronger consistency in too many places may
                  hurt performance, and requesting it in too few places
                  may violate correctness. To help programmers in this
                  task, we propose the first proof rule for establishing
                  that a particular choice of consistency guarantees for
                  various operations on a replicated database is enough
                  to ensure the preservation of a given data integrity
                  invariant. Our rule is modular: it allows reasoning
                  about the behaviour of every operation separately
                  under some assumption on the behaviour of other
                  operations. This leads to simple reasoning, which we
                  have automated in an SMT-based tool. We present a
                  nontrivial proof of soundness of our rule and
                  illustrate its use on several examples.},
}



@Misc{app:sh179-demo,
  author =       {Mahsa Najafzadeh and Marc Shapiro},
  title =        {Demo of the {CISE} tool},
  month =        nov,
  comment =      {General-audience video demonstrating the CISE tool,
                    with explanations},
  note =	 {\href{https://youtu.be/HJjWqNDh-GA}{YouTube video}},
  year =         2015,
  x-audience  =  intl,
  x-language  =  en,
  x-popularlevel = yes,
  url            = {https://youtu.be/HJjWqNDh-GA},
  hal            = {https://hal.inria.fr/medihal-01242710},
  repository     = {@scm.gforge.inria.fr/svnroot/syncfree/trunk/slides/Y2-review-Brussels-2015-10}
}



@InProceedings{syn:sh180,
  author =	 {Marek Zawirski and Carlos Baquero and Annette Bieniusa
                  and Nuno Pregui{\c c}a and Marc Shapiro},
  title =	 {Eventually Consistent Register Revisited},
  booktitle =	 papoc,
  year =	 2016,
  month =	 apr,
  address =	 {London, UK},
  organization = eurosys,
  publisher =	 acm,
  local-url =	 {./papers/registers-papoc-2016.pdf},
  doi =		 {10.1145/2911151.2911157},
  url =		 {http://dx.doi.org/10.1145/2911151.2911157},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/registers-papoc-2016.pdf},
  hal =          {https://hal.inria.fr/hal-01242700},
  x-audience =	 intl,
  x-europeanproject =syncfree,
  x-invitedcommunication =no,
  x-peerreviewing =yes,
  x-popularlevel =no,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/registers/mvreg_papoc_camera.tex}
}

@TechReport{syn:sh180-tr,
  author =       {Marek Zawirski and Carlos Baquero and Annette Bieniusa
                  and Nuno Pregui{\c c}a and Marc Shapiro},
  title =        {Eventually Consistent Register Revisited},
  institution =  {\url{arXiv.org}},
  year =         2015,
  number =       {arXiv:1511.05010 [cs.DC]},
  month =        nov,
  local-url =    {papers/EC-register-revisited-arXiv-1511.05010v1.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/EC-register-revisited-arXiv-1511.05010v1.pdf},
  url =          {http://arxiv.org/abs/1511.05010},
  hal =          {https://hal.inria.fr/hal-01242700},
  x-language  =  en,
  x-reporttype = rr,
  repository =   {@scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/registers}
}





@InProceedings{fic:syn:sh181,
  author =	 {Segura, Marc and Rancurel, Vianney and Tao, Vinh and
                  Shapiro, Marc},
  title =	 {Scality's Experience with a Geo-distributed File
                  System},
  booktitle =	 {Posters \& Demos Session, } # middleware,
  year =	 2014,
  series =	 {Middleware Posters and Demos '14},
  pages =	 {31--32},
  month =	 dec,
  address =	 {Bordeaux, France},
  doi =		 {10.1145/2678508.2678524},
  url =		 {http://doi.acm.org/10.1145/2678508.2678524},
  hal =          {https://hal.inria.fr/hal-01111208},
  x-audience =	 intl,
  x-conferencestartdate ={2014-12-08},
  x-invitedcommunication =no,
  x-peerreviewing =yes,
  x-popularlevel =no,
  x-proceedings =yes,
}



@InProceedings{rep:pro:sh182,
  author =	 {Akkoorath, Deepthi Devaki and Alejandro Z. Tomsic and
                  Manuel Bravo and Zhongmiao Li and Tyler Crain and
                  Annette Bieniusa and Nuno Pregui{\c c}a and Marc Shapiro},
  title =	 {{C}ure: Strong semantics meets high availability and
                  low latency},
  booktitle =	 icdcs,
  year =	 2016,
  pages =	 {405--414},
  month =	 jun,
  address =	 {Nara, Japan},
  local-url =	 {./papers/Cure-final-ICDCS16.pdf},
  doi =		 {10.1109/ICDCS.2016.98},
  url =          {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2016.98},
  hal =		 {https://hal.inria.fr/hal-01350558},
  pdf =		 {http://lip6.fr/Marc.Shapiro/papers/Cure-final-ICDCS16.pdf},
  x-audience =	 yes,
  x-europeanproject =syncfree,
  x-filesource = author,
  x-invitedcommunication =no,
  x-language =	 en,
  x-peerreviewing =yes,
  x-popularlevel =no,
  x-repository =  {svn+ssh://scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/wp2-doc/antidote_paper/paper.tex},
  abstract =      {Developers of cloud-scale applications
                  face a difficult decision of which kind of storage to
                  use, summarised by the CAP theorem. Currently the
                  choice is between classical CP databases, which
                  provide strong guarantees but are slow, expensive, and
                  unavailable under partition; and NoSQL-style AP
                  databases, which are fast and available, but too hard
                  to program against. We present an alternative: Cure
                  provides the highest level of guarantees that remains
                  compatible with availability. These guarantees
                  include: causal consistency (no ordering anomalies),
                  atomicity (consistent multi-key updates), and support
                  for high-level data types (developer friendly API)
                  with safe resolution of concurrent updates
                  (guaranteeing convergence). These guarantees minimise
                  the anomalies caused by parallelism and distribution,
                  thus facilitating the development of
                  applications. This paper presents the protocols for
                  highly available transactions, and an experimental
                  evaluation showing that Cure is able to achieve
                  scalability similar to eventually- consistent NoSQL
                  databases, while providing stronger guarantees.},
}

@TechReport{syn:rep:sh182-tr,
  author =	 {Akkoorath, Deepthi Devaki and Tomsic, Alejandro and
                  Bravo, Manuel and Li, Zhongmiao and Crain, Tyler and
                  Bieniusa, Annette and Pregui{\c c}a, Nuno and Shapiro,
                  Marc},
  title =	 {{C}ure: Strong semantics meets high availability and
                  low latency},
  institution =	 inria,
  year =	 2016,
  type =	 rr,
  number =	 {RR-8858},
  address =	 rocq,
  month =	 feb,
  Keywords =	 {geo-replication; fault tolerance; distributed
                  database; transactions; causal consistency; CRDT},
  local-url =	 {./papers/RR-8858.pdf},
  url =		 {https://hal.inria.fr/hal-01270776},
  pdf =	         {http://lip6.fr/Marc.Shapiro/papers/RR-8858.pdf},
  hal =		 {https://hal.inria.fr/hal-01270776},
  x-europeanproject =syncfree,
  x-language =	 en,
  x-peerreviewing =no,
  x-repository =
                  {svn+ssh://gforge.inria.fr/svnroot/syncfree/trunk/papers/wp2-doc/antidote_paper/RR-8858.tex}
}



@InProceedings{app:sh183,
  author =	 {Mahsa Najafzadeh and Alexey Gotsman and Hongseok Yang
                  and Carla Ferreira and Marc Shapiro},
  title =	 {The {CISE} Tool: Proving Weakly-Consistent
                  Applications Correct},
  booktitle =	 papoc,
  year =	 2016,
  series =	 {EuroSys 2016 workshops},
  month =	 apr,
  address =	 {London, UK},
  organization = sigops,
  publisher =	 acm,
  local-url =	 {./papers/CISE-tool-PaPoC-2016.pdf},
  doi =		 {10.1145/2911151.2911160},
  url =		 {http://dx.doi.org/10.1145/2911151.2911160},
  pdf =		 {http://lip6.fr/Marc.Shapiro/papers/CISE-tool-PaPoC-2016.pdf},
  hal =          {https://hal.inria.fr/hal-01350636},
  x-audience =	 intl,
  x-europeanproject =syncfree,
  x-filesource = author,
  x-invitedcommunication =no,
  x-language =	 en,
  x-peerreviewing =yes,
  x-popularlevel =no,
  x-proceedings =yes,
  x-repository = {svn+ssh://marc.shapiro@software.imdea.org/svn/seplogic/distrmm/logic/PaPoC/Camera-Ready}
}
@TechReport{app:sh183-tr,
  author =	 {Mahsa Najafzadeh and Alexey Gotsman and Hongseok Yang
                  and Carla Ferreira and Marc Shapiro},
  title =	 {The {CISE} Tool: Proving Weakly-Consistent Applications
                  Correct},
  institution =	 inria,
  year =	 2016,
  type =	 rr,
  number =	 {RR-8870},
  address =	 rocq,
  month =	 feb,
  local-url =	 {./papers/RR-8870.pdf},
  pdf =		 {https://hal.inria.fr/hal-01279495/file/RR-8870.pdf},
  hal =          {https://hal.inria.fr/hal-01279495},
  x-europeanproject ={SyncFree},
  x-language =	 {en},
  x-peerreviewing =no,
  x-repository = {svn+ssh://software.imdea.org/svn/seplogic/distrmm/logic/PaPoC/}
}



@Article{syn:rep:sh184,
  author =	 {Valter Balegas and Cheng Li and Mahsa Najafzadeh and
                  Daniel Porto and Allen Clement and S{\'e}rgio Duarte
                  and Carla Ferreira and Johannes Gehrke and Jo{\~a}o
                  Leit{\~a}o and Nuno Pregui{\c c}a and Rodrigo
                  Rodrigues and Marc Shapiro and Viktor Vafeiadis},
  title =	 {Geo-Replication: Fast If Possible, Consistent If
                  Necessary},
  journal =	 {Data Engineering Bulletin},
  year =	 2016,
  volume =	 39,
  number =	 1,
  pages =	 {81--92},
  month =	 mar,
  local-url =	 {./papers/GeoReplication-DataEngineering-2016-05.pdf},
  url =		 {http://sites.computer.org/debull/A16mar/A16MAR-CD.pdf},
  pdf =          {http://lip6.fr/Marc.Shapiro/papers/GeoReplication-DataEngineering-2016-05.pdf},
  hal =          {https://hal.inria.fr/hal-01350652},
  x-abstract_en ={Geo-replicated storage systems are at the core of
                  current Internet services. Unfortunately, there exists
                  a fundamental tension between consistency and
                  performance for offering scalable
		  geo-replication. Weakening consistency semantics leads
                  to less coordination and consequently a good user
                  experience, but it may introduce anomalies such as
                  state divergence and invariant violation. In contrast,
                  maintaining stronger consistency precludes anomalies
                  but requires more coordination. This paper discusses
                  two main contributions to address this tension. First,
                  RedBlue Consistency enables blue operations to be fast
                  (and weakly consistent) while the remaining red
                  operations are strongly consistent (and slow). We
                  identify sufficient conditions for determining when
                  operations can be blue or must be red. Second,
                  Explicit Consistency further increases the space of
                  operations that can be fast by restricting the
                  concurrent execution of only the operations that can
                  break application-defined invariants. We further show
                  how to allow operations to complete locally in the
                  common case, by relying on a reservation system that
                  moves coordination off the critical path of operation
                  execution.},
  x-audience =	 intl,
  x-europeanproject =syncfree,
  x-filesource = author,
  x-invitedcommunication =no,
  x-language =	 en,
  x-peerreviewing =no,
  x-popularlevel =no,
  x-repository = {https://github.com/pandaworrior/IEEE_Data_Eng_Bull_2016}
}



@Comment{skipped}



@Comment{skipped}



@Comment{skipped}



@InProceedings{syn:sh188,
  author =	 {Alejandro Z. Tomsic and Tyler Crain and Marc Shapiro},
  title =	 {Physi{CS}-{NMSI}: efficient consistent snapshots for
                  scalable snapshot isolation},
  booktitle =	 papoc,
  year =	 2016,
  month =	 apr,
  address =	 {London, UK},
  organization = eurosys,
  publisher =	 acm,
  local-url =	 {./papers/PhysiCS-NMSI-PaPoC-2016.pdf},
  doi =		 {10.1145/2911151.2911166},
  url =		 {http://dx.doi.org/10.1145/2911151.2911166},
  pdf =
                  {http://lip6.fr/Marc.Shapiro/papers/PhysiCS-NMSI-PaPoC-2016.pdf},
  hal =		 {https://hal.inria.fr/hal-01350657},
  abstract =	 {Non-Monotonic Snapshot Isolation (NMSI), a variant of
                  the widely deployed Snapshot Isolation (SI), aims at
                  improving scalability by relaxing snapshots.  In
                  contrast to SI, NMSI snapshots are causally
                  consistent, which allows for more parallelism and a
                  reduced abort rate.

                  This work documents the design of
                  PhysiCS-NMSI, a transactional protocol implementing
                  NMSI in a partitioned data store.  It is the first
                  protocol to rely on a single scalar taken from a
                  physical clock for tracking causal dependencies and
                  building causally consistent snapshots.  Its commit
                  protocol ensures atomicity and the absence of
                  write-write conflicts.  Our PhysiCS-NMSI approach
                  increases concurrency and reduces abort rate and
                  metadata overhead as compared to state-of-art
                  systems.},
  x-audience =	 intl,
  x-europeanproject =syncfree,
  x-invitedcommunication =no,
  x-peerreviewing =yes,
  x-popularlevel =no,
  x-repository =
                  {svn+ssh://scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/physics_papoc_2016/main.tex}
}


@InProceedings{app:syn:sh189,
  author =	 {Lo{\"i}ck Briot and Pascal Urso and Marc Shapiro},
  title =	 {High Responsiveness for Group Editing {CRDT}s},
  booktitle =	 intconfon # {Supporting Group Work},
  year =	 2016,
  month =	 nov,
  address =	 {Sanibel Island, FL, USA},
  pages =        {51--60},
  organization = acm,
  publisher =	 acm,
  local-url =	 {./papers/rgasplit-group2016-11.pdf},
  url =		 {http://dx.doi.org/10.1145/2957276.2957300},
  doi =		 {10.1145/2957276.2957300},
  pdf =		 {http://lip6.fr/Marc.Shapiro/papers/rgasplit-group2016-11.pdf},
  hal =          {https://hal.inria.fr/hal-01343941v1},
  keywords =     {CRDT, sequence data structure, list data structure,
                  tombstones},
  abstract =     {Group editing is a crucial feature for many end-user applications.  It requires high responsiveness, which can be provided only by optimistic replication algorithms, which come in two classes: classical Operational Transformation (OT), or more recent Conflict-Free Replicated Data Types (CRDTs).

Typically, CRDTs perform better on *downstream* operations, i.e., when merging concurrent operations than OT, because the former have logarithmic complexity and the latter quadratic.  However, CRDTs are often less responsive, because their *upstream* complexity is linear.  To improve this, this paper proposes to interpose an auxiliary data structure, called the *identifier data structure* in front of the base CRDT.  The identifier structure ensures logarithmic complexity and does not require replication or synchronization.  Combined with a block-wise storage approach, this approach improves upstream execution time by several orders of magnitude, with negligeable impact on memory occupation, network bandwidth, and downstream execution performance.},                  
  x-audience =	 intl,
  x-europeanproject =syncfree,
  x-filesource = author,
  x-invitedcommunication =no,
  x-peerreviewing = yes,
  x-popularlevel = no,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/rgasplit/main.tex}
}



@TechReport{syn:formel:sh190-tr,
  author =	 {Marc Shapiro and Saeida Ardekani, Masoud and Gustavo
                  Petri},
  title =	 {Consistency in {3D}},
  institution =	 inria,
  year =	 2016,
  type =	 rr,
  number =	 {RR-8932},
  address =	 rocq,
  month =	 jul,
  local-url =	 {./papers/RR-8932.pdf},
  url =		 {https://hal.archives-ouvertes.fr/hal-01343592},
  pdf =		 {http://lip6.fr/Marc.Shapiro/papers/RR-8932.pdf},
  hal =          {https://hal.archives-ouvertes.fr/hal-01343592},
 keywords =     {C.2.4 Distributed databases; D.1.3 Concurrent
                  programming; D.2.4 Software/Program Verification; E.1
                  Distributed data structures; Consistency models;
                  Replicated data; Structural invariants; Correctness of
                  distributed systems},
  x-abstract_en ={Comparisons of different consistency models often try
                  to place them in a linear strong-to-weak order.
                  However this view is clearly inadequate, since it is
                  well known, for instance, that Snapshot Isolation and
                  Serialisability are incomparable.  In the interest of
                  a better understanding, we propose a new
                  classification, along three dimensions, related to: a
                  total order of writes, a causal order of reads, and
                  transactional composition of multiple operations.  A
                  model may be stronger than another on one dimension
                  and weaker on another.  We believe that this new
                  classification scheme is both scientifically sound and
                  has good explicative value.  The current paper
                  presents the three-dimensional design space
                  intuitively.  },
  x-abstract_fr ={Les comparaisons entre mod{\`e}les de la coh{\'e}rence
                  tentent souvent de les classer dans un ordre
                  lin{\'e}aire, de faible {\`a} forte.  Cette vue est
                  clairement inad{\'e}quate, puisque il est bien connu
                  que, par exemple, les mod{\`e}les Snapshot Isolation
                  et Serialisability sont incomparables.  Dans
                  l'int{\'e}r{\^e}t d'une meilleure compr{\'e}hension du
                  domaine, nous proposons une nouvelle classification,
                  en trois dimensions~: les garanties li{\'e}es {\`a} un
                  ordre total des {\'e}critures~; celles li{\'e}es {\`a}
                  un ordre causal des lectures~; et celles li{\'e}es
                  {\`a} la composition transactionelle d'op{\'e}rations
                  multiples.  Un mod{\`e}le peut {\^e}tre plus fort
                  qu'un autre dans une dimension, et moins dans une
                  autre.  Nous pensons que ce nouveau sch{\'e}ma de
                  classification, {\`a} la fois est scientifiquement
                  valide, et a une bonne valeur explicative.  Le
                  pr{\'e}sent rapport pr{\'e}sente l'espace de
                  conception en trois dimensions de fa{\c c}on
                  intuitive.  },
  x-europeanproject =syncfree,
  x-filesource = author,
  x-keywords_en ={C.2.4 Distributed databases; D.1.3 Concurrent
                  programming; D.2.4 Software/Program Verification; E.1
                  Distributed data structures; Consistency models;
                  Replicated data; Structural invariants; Correctness of
                  distributed systems},
  x-keywords_fr ={C.2.4 Bases de donn{\'e}es r{\'e}parties; D.1.3
                  Programmation parall{\`e}le; D.2.4 V{\'e}rification de
                  programme et de logiciel; E.1 Structures de
                  donn{\'e}es r{\'e}parties; Mod{\`e}les de
                  coh{\'e}rence; Donn{\'e}es r{\'e}pliqu{\'e}es;
                  Invariants de structurels; Caract{\`e}re correct de
                  syst{\`e}me r{\'e}parti},
  x-language =	 en,
  x-peerreviewing =no,
  x-popularlevel =no,
  x-proceedings =no,
  x-reporttype = rr,
  x-repository = {svn+ssh://shapiro@scm.gforge.inria.fr/svnroot/regal/trunk/papers/2016/shapiro/consistency-3D/paper/RR-8932.tex}
}

@InProceedings{syn:formel:sh190,
  author =	 {Marc Shapiro and Saeida Ardekani, Masoud and Gustavo
                  Petri},
  title =	 {Consistency in {3D}},
  booktitle =	 concur,
  year =	 2016,
  editor =	 {Jos\'ee Desharnais and Radha Jagadeesan},
  volume =	 59,
  series =	 lipics,
  pages =	 {3:1--3:14},
  month =	 aug,
  address =	 {Qu{\'e}bec, Qu{\'e}bec, Canada},
  publisher =	 dagstuhl-pub,
  Keywords =	 {C.2.4 Distributed databases; D.1.3 Concurrent
                  programming; D.2.4 Software/Program Verification; E.1
                  Distributed data structures; Consistency models;
                  Replicated data; Structural invariants; Correctness of
                  distributed systems},
  local-url =	 {./papers/concur-2016-invited.pdf},
  url =          {http://drops.dagstuhl.de/opus/volltexte/2016/6188/pdf/LIPIcs-CONCUR-2016-3.pdf},
  pdf =          {http://drops.dagstuhl.de/opus/volltexte/2016/6188/pdf/LIPIcs-CONCUR-2016-3.pdf},
  doi =		 {10.4230/LIPIcs.CONCUR.2016.3},
  hal =          {https://hal.inria.fr/hal-01350668},
  x-abstract_en ={Comparisons of different consistency models often try
                  to place them in a linear strong-to-weak order.
                  However this view is clearly inadequate, since it is
                  well known, for instance, that Snapshot Isolation and
                  Serialisability are incomparable.  In the interest of
                  a better understanding, we propose a new
                  classification, along three dimensions, related to: a
                  total order of writes, a causal order of reads, and
                  transactional composition of multiple operations.  A
                  model may be stronger than another on one dimension
                  and weaker on another.  We believe that this new
                  classification scheme is both scientifically sound and
                  has good explicative value.  The current paper
                  presents the three-dimensional design space
                  intuitively.},
  x-audience =	 intl,
  x-europeanproject =syncfree,
  x-filesource = author,
  x-invitedcommunication =yes,
  x-keywords_en ={C.2.4 Distributed databases; D.1.3 Concurrent
                  programming; D.2.4 Software/Program Verification; E.1
                  Distributed data structures; Consistency models;
                  Replicated data; Structural invariants; Correctness of
                  distributed systems},
  x-keywords_fr ={C.2.4 Bases de donn{\'e}es r{\'e}parties; D.1.3
                  Programmation parall{\`e}le; D.2.4 V{\'e}rification de
                  programme et de logiciel; E.1 Structures de
                  donn{\'e}es r{\'e}parties; Mod{\`e}les de
                  coh{\'e}rence; Donn{\'e}es r{\'e}pliqu{\'e}es;
                  Invariants de structurels; Caract{\`e}re correct de
                  syst{\`e}me r{\'e}parti},
  x-language =	 en,
  x-peerreviewing =no,
  x-popularlevel =no,
  x-proceedings =yes,
  x-repository =
                  {svn+ssh://shapiro@scm.gforge.inria.fr/svnroot/regal/trunk/papers/2016/shapiro/consistency-3D/paper/concur-2016-invited.tex}
}




@Misc{sh191,
  author =	 {Marc Shapiro},
  title =	 {Rencontre avec {M}arc {S}hapiro et son projet europ{\'e}en
                  {S}ync{F}ree},
  howpublished = {Inria Accueil Centre Paris Actualit{\'e}s},
  month =	 sep,
  year =	 2016,
  note =         {\url{https://www.inria.fr/centre/paris/actualites/rencontre-avec-marc-shapiro-et-son-projet-europeen-syncfree}},
  local-url =	 {papers/inria-actualites-2016-09.pdf},
  url =          {https://www.inria.fr/centre/paris/actualites/rencontre-avec-marc-shapiro-et-son-projet-europeen-syncfree},
  x-abstract_fr ={Ma th{\'e}matique de travail\,: autour du compromis entre
                  la disponibilit{\'e} et la coh{\'e}rence des donn{\'e}es},
  x-audience =	 national,
  x-europeanproject =syncfree,
  x-language =	 fr,
  x-peerreviewing =no,
  x-popularlevel =yes,
  x-title_en =	 {An encounter with {M}arc {S}hapiro and his
                  {S}ync{F}ree European project}
}




@Comment{"See also opt:proto:sh130"}
@InBook{rep:syn:sh192,
  author = 	 {Marc Shapiro and Bettina Kemme},
  title = 	 EnDBSys,
  chapter = 	 {Eventual Consistency},
  publisher = 	 springer,
  year = 	 2017,
  type = 	 {Online and in print},
  month = 	 apr,
  pages = 	 2,
  local-url = {???},
  doi = 	 {10.1007/978-1-4899-7993-3_1366-2},
  url = 	 {https://link.springer.com/referenceworkentry/10.1007/978-1-4899-7993-3_1366-2},
  pdf = 	 {???},
  hal = 	 {https://hal.inria.fr/hal-01547451},
  x-abstract_en = {In a replicated database, the consistency level defines whether and how the values of the replicas of a logical object may diverge in the presence of updates. Eventual consistency is the weakest consistency level that guarantees convergence. Informally, it requires that all replicas of an object will eventually reach the same final value, assuming that no new updates are submitted to the object.},
  x-audience = intl,
  x-keywords_en = {Lazy Replication; Optimistic Replication;
                  Distributed Computing; Availability under Partition},
  x-keywords_fr = {R{\'e}plication paresseuse; r{\'e}plication optimiste;
                  informatique r{\'e}partie; disponibilit{\'e} sous partition},
  x-language = en,
  x-peerreviewing = yes,
  x-popularlevel = yes,
  x-repository = {svn+ssh://scm.gforge.inria.fr/svnroot/syncfree/trunk/papers/encylopedia-DBsys-2016/eventual-consistency.tex}
}




%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%
%