@Academia.edu

Marc Shapiro Intro Biography Publications Teaching (2009-2010) Working with me Links Contact

EuroSys 2010, 13-16 April 2010, Paris

Internships, post-docs and job offers with Regal group
Stages, post-docs et offres d'emploi Équipe Regal

• Understanding replication and consistency . Replication is an essential feature of a distributed system, but updates cause the issue of consistency between replicas. Strong consistency is easy to understand but expensive (and impossible if there are failures); weaker models are complex. Our Actions-Constraints Formalism provides a formal model for modelling, comparing, and reasoning about consistency.
• Simple proof techniques for concurrent programs. Programming concurrent programs with shared memory is incredibly bug-prone yet more and more prevalent. Testing cannot reproduce all possible interleavings. Therefore formal tools are needed to compare a real program with its specification. We use the "Rely-Guarantee" method (a relatively simple extension of sequential Hoare logic) to prove safety properties of real concurrent programs without combinatorial explosion.

I also have an expertise in distributed garbage collection.

I work for INRIA, the French National Institute for Computer Science and Control Science. I am part of Regal, a joint group between INRIA and LIP6 (the Computer Science laboratory of Université Paris-VI Pierre-et-Marie-Curie) in Paris.

I previously led the Cambridge Distributed Systems Group (Camdis) at Microsoft Research Cambridge (MSRC), from October 1998 to March 2005. For several years before that I was the leader of INRIA's SOR (Systèmes d'objets répartis, Distributed Object Systems) group.

I am a member of the ACM Europe Council. I am the past chair of EuroSys, the European professional society in Computer Systems, which I was instrumental in creating. EuroSys is is the European chapter of SIGOPS. I am currently a member of the EuroSys 2010 Programme Committee, PC co-Chair for LADIS 2010 (with Marcos Aguilera), and PC member for SASO 2010.

Short biography

Dr. Shapiro graduated from ENSEEIHT , in Toulouse (France), in 1978, and received his Ph.D. from the Université Paul-Sabatier of Toulouse in 1980. After a post-doc at MIT, 1980--1982, he worked for the Centre Mondial Informatique et Ressources Humaines (CMIRH) in Paris from 1982 to 1984. His collaboration with INRIA started in 1983; in 1985 he started the SOR group. He spent the 1993--1994 year on sabbatical at the Computer Science Department of Cornell University in Ithaca, NY (USA). He was the coordinator for the Esprit Long Term Research project PerDiS, a Persistent Distributed Store for Cooperative Engineering applications. He led the Cambridge Distributed Systems Group at MSRC, Microsoft Research Ltd. in Cambridge (UK) from October 1998 to March 2005. He is currently at INRIA Rocquencourt, in the Regal group, located at Université Pierre et Marie Curie (Paris 6).

Dr. Shapiro, a Senior Member of the ACM, is a member of the ACM Europe Council. He is the founder and past chair of the EuroSys, the European professional society in systems and European Chapter of SIGOPS. He was Vice-Chair of ACM SIGOPS , the Special Interest Group on Operating Systems, from 1995 to 1999. He founded its French chapter, ASF, which he chaired from 1996 to 2000.

He has been a member of several Program Commitees in operating systems, distributed systems, persistent systems, and garbage collection. Currently he is a PC member of EuroSys 2010.

Links

Housing in Paris for visiting researchers, students and interns.

Working with me: Masters' internships, PhD proposals, post-doc proposals.

Links about myself:

• Publications of Marc Shapiro
• Habilitation à diriger les recherches.
• Curriculum Vitæ or Resume, in English (brief or detailed) or in French (brief or detailed).

Systems research in Europe:

• The European Systems Conference: EuroSys 2009
• Our professional society is EuroSys, the European Chapter of the ACM SIG on Operating Systems (SIGOPS).
• Association SIGOPS de France (ASF) , French chapter of SIGOPS
• Directory of European research groups in Systems
• A full history of the SIGOPS European Workshop series.
• Catalog of European scientific societies in informatics (in French)

Also of interest: Writing reviews for systems conferences by Timothy Roscoe.

My current place of work:

• Projet Regal.
• LIP6 (Laboratoire d'Informatique de Paris 6).
• Directions to LIP6.
• Convenient hotels.

• INRIA home page.
• Paris-Rocquencourt research unit.
• Rocquencourt campus location and access.
• INRIA Paris campus: 23, avenue d'Italie, 75013 Paris.

Art: Nat Mayer Shapiro

Sports:

• Climbing (in Fontainebleau or cliffs), ski-mountaineering (AKA randonnée ski), cross-country skiing, nordic skiing, snow-shoeing, hiking, bicycling, mountain bike: see CIHM.
• Escalade (escalade Fontainebleau, escalade falaise, escalade mur), ski de montagne (dit aussi ski de randonnée, ski de rando, ski alpinisme, ski de raid, ou ski de printemps), ski de fond (ski nordique, raquettes, randonnée en raquettes), randonnée (randonnée pedestre, marche sportive), vélo (cyclotourisme, randonnée en vélo), VTT (vélo tous terrains, randonnée VTT, raid VTT) : voir CIHM.

Contact:

Other contacts:

• Pierre Sens, leader of Regal.

My daughters, Zoé (left) and Léa (right), with their friend Cassia,