Selected papers and presentations:
(Almost) Full list, by topic:
See also:
- bib: bibliographical citation record (BibTeX format)
- DL_0: free digital library (ACM via Authorizer, Usenix, arXiV, etc.)
- DL_€: paywall digital library (Springer, IEEE, etc.)
- preprint: local preprint.
In reverse chronological order:
-
'Cause I'm Strong Enough: Reasoning about Consistency Choices in
Distributed Systems.
A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
Symp. on
Principles of Programming Languages,
Jan. 2016.
St. Petersburg, Florida, USA.
[ DL_0
| DL_€
| preprint
| CISE tool demo
| bib
]
-
Write Fast, Read in the Past: Causal Consistency for
Client-side Applications.
M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas,
M. Shapiro.
Annual
ACM/IFIP/USENIX Middleware conference, Dec. 2015.
Vancouver, BC, Canada.
[ DL_0
| DL_€
| Extended Tech Report, Inria RR-8729
| preprint
| bib
]
-
Putting Consistency back into Eventual Consistency.
V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira,
M. Najafzadeh, M. Shapiro.
Euro. Conf. on Computing
Systems (EuroSys),
Bordeaux, France, 21–24 April 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
NumaGiC: a garbage collector for big data on big NUMA machines.
L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen.
Int. Conf. on
Archi. Support for Prog. Lang. and Systems (ASPLOS).
Istanbul, Turkey, 13--18 March 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
Non-Monotonic Snapshot Isolation: scalable and strong consistency
for geo-replicated transactional systems.
M. Saeida Ardekani, P. Sutra, M. Shapiro.
Int. Symp. on Reliable Distributed Systems (SRDS),
Oct. 2013, Braga, Portugal.
[ DL_€
| preprint
| bib
]
-
Conflict-free Replicated Data Types.
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
Int. Symp. on Stabilization,
Safety, and Security of Distributed Systems (SSS).
Grenoble, France, October 2011.
[ DL_€
| preprint
| Tech Report, with proofs
| bib
]
-
Proving Correctness of Highly-Concurrent Linearisable Objects.
V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro.
Principles and Practice of Parallel
Programming (PPoPP).
New York, USA, March 2006.
[ DL_0
| DL_€
| preprint
| bib
]
-
Optimistic Replication.
Y. Saito, M. Shapiro.
Computing Surveys, vol. 37, n° 1, pp. 42-81, March 2005.
[ DL_0
| DL_€
| preprint
| bib
]
-
The IceCube approach to the reconciliation of divergent replicas.
A.-M. Kermarrec, A. Rowstron, M. Shapiro, P. Druschel.
Symp. on Principles of
Dist. Comp. (PODC),
Newport RI (USA), Aug. 2001.
[ DL_0
| DL_€
| preprint
| bib ]
-
An implementation of complete, asynchronous, distributed
garbage collection
.
F. le Fessant, I. Piumarta, M. Shapiro.
Programming Languages
Design and Implementation (PLDI),
June 1998.
[ DL_0
| DL_€
| preprint
| bib
]
-
Garbage Collection and DSM Consistency.
P. Ferreira, M. Shapiro.
Symp. on Operating Systems Design and Implementation (OSDI),
November 1994, Monterey, CA (USA).
[ DL_0
| preprint
| bib ]
-
Generic Virtual Memory Management in Operating Systems Kernels.
V. Abrossimov, M. Rozier, M. Shapiro.
12th ACM Symp. on Operating Systems Principles (SOSP), Phoenix,
December 1989.
[ DL_0
| DL_€
| preprint
| bib ]
-
Structure and Encapsulation in Distributed Systems: the Proxy
Principle
.
M. Shapiro.
Int. Conf. on Dist. Comp. Sys. (ICDCS), Cambridge MA (USA), May 1986.
[ preprint
| bib ]
-
Technical Perspective: Unexpected connections.
M. Shapiro.
Communications of the ACM (CACM)
vol. 60, number 8, Aug. 2017.
[ DL_0
| DL_€
| preprint
| bib
]
-
Consistency in 3D.
M. Shapiro, M. Saeida Ardekani, G. Petri.
Invited talk, Int. Conf. on Concurrency
Theory (CONCUR 2016), Québec, QC, Canada. August 2016.
[ slides
| paper DL_0
| preprint
| bib
]
-
High Responsiveness for Group Editing CRDTs.
L. Briot, P. Urso, M. Shapiro.
Int. Conf. on Supporting Group Work, Sanibel Island,
Florida, USA, Nov. 2016.
[ DL_0
| DL_€
| preprint
| bib
]
-
Cure: Strong semantics meets high availability and low latency.
D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain,
A. Bieniusa, N. Preguiça, M. Shapiro.
Int. Conf. on Dist. Comp. Sys. (ICDCS), Nara, Japan, June
2016.
[ DL_€
| preprint
| bib
]
-
Geo-Replication: Fast If Possible, Consistent If Necessary.
V. Balegas, C. Li, M. Najafzadeh, D. Porto, A. Clement,,
S. Duarte, C. Ferreira, J. Gehrke, J. Leitão, N. Preguiça, R. Rodrigues, M. Shapiro, V. Vafeiadis.
Bulletin of the Technical Committee on Data Engineering
39(1), IEEE Computer Society, March 2016.
[ DL_0
| preprint
| bib
]
-
The CISE Tool: Proving Weakly-Consistent Applications Correct
M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro.
W. on the Principles
and Practice of Consistency for Distributed
Data (PaPoC), London, UK, Apr. 2016.
[ Inria Tech. Rep. n° RR-8870
| DL_0
| DL_€
| preprint
| bib
]
-
Eventually Consistent Register Revisited.
M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro.
arXiv.org Technical Report arXiv:1511.05010 [cs.DC].
[ DL_0
| preprint
| bib
]
-
'Cause I'm Strong Enough: Reasoning about Consistency Choices in
Distributed Systems.
A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
Symp. on
Principles of Programming Languages,
Jan. 2016.
St. Petersburg, Florida, USA.
[ DL_0
| DL_€
| preprint
| CISE tool demo
| bib
]
-
Write Fast, Read in the Past: Causal Consistency for
Client-side Applications.
.
M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas,
M. Shapiro.
Annual
ACM/IFIP/USENIX Middleware conference, Dec. 2015.
Vancouver, BC, Canada.
[ DL_0
| DL_€
| Extended Tech Report, Inria RR-8729
| preprint
| bib
]
-
Putting Consistency back into Eventual Consistency.
V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira,
M. Najafzadeh, M. Shapiro.
Euro. Conf. on Computing
Systems (EuroSys),
Bordeaux, France, 21–24 April 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
AntidoteDB: The developer-friendly open-source cloud database for
Just-Right Consistency.
Paris DataGeeks meetup, Vente-Privée, 23 May 2017.
[ Announcement
and abstract
| slides
]
-
Data consistency in 3D (It’s the invariants, stupid).
Invited talk, Int. Conf. on Concurrency
Theory (CONCUR 2016), Québec, QC, Canada. August 2016.
[ Announcement
| slides
| paper DL_0
| preprint
| bib
]
-
Just-Right Consistency: Static analysis for minimal
synchronisation.
Keynote Speaches, Laboratoire d'Informatique de Grenoble, 3
March 2016.
[ Announcement
| Slides
| Video
]
-
Demo of CISE tool:
Static verification whether a distributed program maintains its invariants.
[
CISE tool demo
| Paper “'Cause I'm Strong Enough”
]
- CRDTs in practice.
Marc Shapiro and Nuno Preguiça.
CodeMesh, London,
November 2015.
[ Video
| Slides
]
-
Encapsulating replication, high concurrency and
consistency with CRDTs.
Marc Shapiro.
CurryOn, Prague, Czech Republic,
July 2015.
[ Video
]
-
Performance vs. programmability in geo-replicated systems.
Marc Shapiro.
Invited talk at Technion Colloquium, June 2014.
ACM Distinguished Speaker Program talk.
[ Announcement
| Slides
]
-
Write Fast, Read in the Past: Scalable Consistency all the way to the client.
Marc Shapiro.
Invited talk at Technion TCE Systems Day.
ACM Distinguished Speaker Program talk.
[ TCE
Systems Day
| Slides
]
-
From Strong to Eventual Consistency: Getting it Right.
Nuno Preguiça, Marc Shapiro.
Tutorial at
OPODIS 2013,
Nice (France), Dec. 2014.
[ Slides
]
-
Extending the cloud all the way to your machine, with
Conflict-free Replicated Data Types.
MAKI Distinguished Lecture Series, Darmstadt Tech. U., 20 June 2013.
[ Lecture series
| Slides
]
-
NumaGiC: a garbage collector for big data on big NUMA machines.
L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen.
Int. Conf. on
Archi. Support for Prog. Lang. and Systems (ASPLOS).
Istanbul, Turkey, 13--18 March 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
A Study of the Scalability of Stop-the-world Garbage
Collectors on Multicores.
L. Gidra, G. Thomas, J. Sopena, M. Shapiro.
Int. Conf. on Archi. Support for
Prog. Lang. and Systems (ASPLOS),
Houston, TX, USA, 16--20 March 2013.
[ DL_0
| DL_€
| preprint
| bib
]
- Assessing the Scalability of Garbage Collectors on Many Cores.
L. Gidra, G. Thomas, J. Sopena, M. Shapiro.
Best papers from
SOSP Workshop on
Programming Languages and Operating Systems (PLOS), Cascais,
Portugal. October 2011.
[ DL_0
| DL_€
| preprint
| bib
]
-
Proving Correctness of Highly-Concurrent Linearisable Objects.
V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro.
Principles and Practice of Parallel
Programming (PPoPP).
New York, USA, March 2006.
[ DL_0
| DL_€
| preprint
| bib
]
-
Practical proofs of concurrent programs
M. Shapiro.
Invited paper,
Int. Conf. on Functional Programming (ICFP),
Portland OR, USA, 2006.
[ DL_0
| DL_€
| bib
]
-
Technical Perspective: Unexpected connections.
M. Shapiro.
Communications of the ACM (CACM)
vol. 60, number 8, Aug. 2017.
[ DL_0
| DL_€
| preprint
| bib
]
-
High Responsiveness for Group Editing CRDTs.
L. Briot, P. Urso, M. Shapiro.
Int. Conf. on Supporting Group Work, Sanibel Island,
Florida, USA, Nov. 2016.
[ DL_0
| DL_€
| preprint
| bib
]
-
The CISE Tool: Proving Weakly-Consistent Applications Correct
M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro.
W. on the Principles
and Practice of Consistency for Distributed
Data (PaPoC), London, UK, Apr. 2016.
[ Inria Tech. Rep. n° RR-8870
| DL_0
| DL_€
| preprint
| bib
]
-
'Cause I'm Strong Enough: Reasoning about Consistency Choices in
Distributed Systems.
A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
Symp. on
Principles of Programming Languages,
Jan. 2016.
St. Petersburg, Florida, USA.
[ DL_0
| DL_€
| preprint
| CISE tool demo
| bib
]
-
Eventually Consistent Register Revisited.
M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro.
arXiv.org Technical Report arXiv:1511.05010 [cs.DC].
[ DL_0
| preprint
| bib
]
-
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
.
V. Balegas, N. Preguiça, C. Ferreira, S. Duarte, R. Rodrigues,
M. Shapiro, D. Serra.
Symposium on Reliable
Distributed Systems (SRDS), Montréal, Canada, Sept. 2015.
[ preprint
| bib
]
-
Merging Semantics for Conflict Updates in Geo-Distributed File Systems.
V. Tao, M. Shapiro, V. Rancurel
ACM Int. Systems and Storage
Conf. (Systor),
Haifa, Israel, May 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
Towards Fast Invariant Preservation in Geo-replicated Systems.
V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça,
M. Najafzadeh, M. Shapiro.
Operating Systems Review 49(1),
Special Topic: Selected Papers from LADIS 2014 Eighth Workshop on
Large-Scale Distributed Systems and Middleware, Jan 2015.
[ DL_0
| DL_€
| bib
]
-
The Case for Fast and Invariant-Preserving Geo-Replication.
V. Balegas, N. Preguiça, S. Duarte, C. Ferreira, R. Rodrigues,
M. Najafzadeh, M. Shapiro.
W. on Planetary-Scale Distributed Systems (W-PSDS).
co-located with SRDS, Nara, Japan October 2014.
-
SwiftCloud: Fault-Tolerant Geo-Replication Integrated
all the Way to the Client Machine.
M. Zawirski, V. Balegas, A. Bieniusa, N. Preguiça, S. Duarte,
M. Shapiro, C. Baquero.
Rapport de recherche INRIA RR-8347, Aug. 2014.
[ DL_0
| preprint
| bib
]
-
Improving the scalability of geo-replication with reservations.
M. Najafzadeh, M. Shapiro, V. Balegas, N. Preguiça.
Int. W. on Distributed Cloud Computing (DCC),
Dresden, Germany, December 2013.
[ preprint
| DL_€
| bib
]
-
Incremental Stream Processing using Computational Conflict-free
Replicated Data Types.
D. Navalho, S. Duarte, N. Preguiça, M. Shapiro.
Int. W. on Cloud Data and Platforms (CloudDP'13).
Prague, Czech Republic, April 2013.
[ DL_0
| DL_€
| preprint
| bib
]
-
An Optimized Conflict-free Replicated Set.
A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro,
Carlos Baquero, Valter Balegas, Sérgio Duarte.
Rapport de Recherche INRIA RR-8083, October 2012.
[ preprint
| bib
]
-
Brief Announcement: Semantics of Eventually Consistent
Replicated Sets.
A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero,
V. Balegas, S. Duarte.
Int. Symp. on
Distributed Computing (DISC),
Salvador, Bahia, Brazil, Oct 2012.
[ DL_€
| preprint
| bib
]
-
Conflict-free Replicated Data Types.
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
Int. Symp. on Stabilization,
Safety, and Security of Distributed Systems (SSS),
Grenoble, France, October 2011.
[ DL_€
| preprint
| Tech Report , with proofs
| bib
]
-
Convergent and Commutative Replicated
Data Types.
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
Bulletin of the European Association for Theoretical Computer Science
(EATCS), Number 104, June 2011.
[ DL_0
| preprint
| Slides
| Technical report (fuller version)
| bib
]
-
Asynchronous rebalancing of a replicated tree.
M. Zawirski, M. Shapiro, N. Preguiça.
Conf. Française
de Systèmes d'Exploitation (CFSE),
Saint-Malo, France, May 2011.
[ preprint
| Slides (PowerPoint)
(animations essential)
| bib
]
-
A comprehensive study of Convergent and Commutative Replicated
Data Types.
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
INRIA Technical Report RR-7506, January 2011.
[ DL_0
| preprint
| Slides
| Shorter paper
| bib
]
-
Consistency without concurrency control in large, dynamic systems.
M. Leția, N. Preguiça, M. Shapiro.
SOSP Workshop
on Large Scale Distributed Systems and Middleware (LADIS),
Big Sky, MT, USA, Oct. 2009.
[ DL_0
| DL_€
| preprint
| bib
| Slides
]
- A commutative replicated data type for cooperative editing.
N. Preguiça, J.-M. Marquès, M. Shapiro, M. Leția.
Int. Conf. on Distributed Computing Systems (ICDCS), Montréal, Canada, June
2009.
[ DL_€
| preprint
| bib
]
- Designing a commutative replicated data type.
M. Shapiro, N. Preguiça.
Rapport de recherche INRIA RR-6320, oct. 2007.
[ DL_0
| preprint
| bib ]
-
Consistency in 3D.
M. Shapiro, M. Saeida Ardekani, G. Petri.
Invited talk, Int. Conf. on Concurrency
Theory (CONCUR 2016), Québec, QC, Canada. August 2016.
[ slides
| paper DL_0
| preprint
| bib
]
-
Cure: Strong semantics meets high availability and low latency.
D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain,
A. Bieniusa, N. Preguiça, M. Shapiro.
Int. Conf. on Dist. Comp. Sys. (ICDCS), Nara, Japan, June
2016.
[ DL_€
| preprint
| bib
]
-
The CISE Tool: Proving Weakly-Consistent Applications Correct
M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro.
W. on the Principles
and Practice of Consistency for Distributed
Data (PaPoC), London, UK, Apr. 2016.
[ Inria Tech. Rep. n° RR-8870
| DL_0
| DL_€
| preprint
| bib
]
-
'Cause I'm Strong Enough: Reasoning about Consistency Choices in
Distributed Systems.
A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
Symp. on
Principles of Programming Languages,
Jan. 2016.
St. Petersburg, Florida, USA.
[ DL_0
| DL_€
| preprint
| CISE tool demo
| bib
]
-
Putting Consistency back into Eventual Consistency.
V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira,
M. Najafzadeh, M. Shapiro.
Euro. Conf. on Computing
Systems (EuroSys),
Bordeaux, France, 21–24 April 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
G-DUR: A Middleware for Assembling, Analyzing, and Improving
Transactional Protocols.
M. Saeida-Ardekani, P. Sutra, M. Shapiro.
Middleware,
Bordeaux, France, Dec. 2014.
[ DL_0
| DL_€
| preprint
| bib
]
-
Non-Monotonic Snapshot Isolation: scalable and strong consistency
for geo-replicated transactional systems.
M. Saeida Ardekani, P. Sutra, M. Shapiro.
Int. Symp. on Reliable Distributed Systems (SRDS),
Oct. 2013, Braga, Portugal.
[ DL_€
| preprint
| bib
]
-
Dagstuhl Seminar Review: Consistency in Distributed Systems.
B. Kemme, G. Ramalingam, A. Schiper, M. Shapiro.
Summary of
Dagstuhl Seminar 13081 (Feb. 2013).
SIGACT News 45(1) March 2014, pp. 66--89.
An expanded version appears as:
Dagstuhl
Reports 3(2), 2013.
[ DL_0
| DL_€
| preprint
| bib
]
-
On the Scalability of Snapshot Isolation.
M. Saeida Ardekani, P. Sutra, M. Shapiro, N. Preguiça.
Euro-Par 2013,
Aachen, Germany, August 2013.
[ Preprint
| DL_€
| bib
]
- Gargamel: boosting DBMS performance by parallelising
write transactions.
P. Cincilla, S. Monnet, M. Shapiro.
Int. Conf. on Parallel and Distr. Sys. (ICPADS),
Singapore, Dec. 2012.
[ Paper (preprint)
| bibtex
]
- The Space Complexity of Transactional Interactive Reads.
M. Saeida Ardekani, M. Zawirski, P. Sutra, M. Shapiro.
Int. Workshop on Hot Topics in Cloud Data Processing (HotCDP),
Bern, Switzerland, April 2012.
[ DL_0
| DL_€
| preprint
| bibtex
]
- Non-Monotonic Snapshot Isolation.
M. Saeida Ardekani, P. Sutra, N. Preguiça, M. Shapiro.
INRIA Technical Report RR-7805, November 2011.
[ DL_0
| preprint
| bib
]
- Fast Genuine Generalized Consensus.
P. Sutra, M. Shapiro.
Symposium on Reliable Distributed Systems (SRDS),
Madrid, Spain, Oct. 2011.
[ preprint
| bib
]
- Impossibility of Genuine Replicated STM under SI.
M. Saeida Ardekani, P. Sutra, M. Shapiro.
TransForm/Euro-TM WTTM 2011, W. on the Theory of Transactional Memory,
September, Rome, Italy (in conjunction with DISC 2011).
[ preprint
| bib
]
-
Résolution efficace du consensus généralisé dans les systèmes
répartis par passage de messages.
P. Sutra and M. Shapiro.
Rencontres
Francophones sur les Aspects Algorithmiques des Télécommunications
(AlgoTel),
Cap Estérel, France, May 2011.
[ preprint
| bib
]
- Fault-Tolerant Partial Replication in Large-Scale
Database Systems.
P. Sutra, M. Shapiro.
Euro-Par 2008,
Las Palmas de Gran Canaria, Spain, August 2008.
[ DL_€ LNCS
| preprint
| bib ]
- Decentralised Commitment for Optimistic Semantic
Replication.
P. Sutra, J. Barreto, M. Shapiro.
Int. Conf. on Co-operative Information Systems (CoopIS),
nov. 2007
[ DL_€ LNCS
| preprint
| bib ]
- Comparing Optimistic Database Replication Techniques.
P. Sutra, M. Shapiro.
Bases de données avancées,
oct. 2007.
[ preprint
| bib
]
-
An asynchronous, decentralised commitment protocol for
semantic optimistic replication.
P. Sutra, J. Barreto and M. Shapiro.
Rapport de Recherche RR-6069, INRIA Rocquencourt, December 2006.
[ DL_0
| preprint
| bib
]
- Chapters in Encyclopedia of database systems, Springer, 2017:
-
Consistency in 3D.
M. Shapiro, M. Saeida Ardekani, G. Petri.
Invited talk, Int. Conf. on Concurrency
Theory (CONCUR 2016), Québec, QC, Canada. August 2016.
[ slides
| paper DL_0
| preprint
| bib
]
-
Cure: Strong semantics meets high availability and low latency.
D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain,
A. Bieniusa, N. Preguiça, M. Shapiro.
Int. Conf. on Dist. Comp. Sys. (ICDCS), Nara, Japan, June
2016.
[ DL_€
| preprint
| bib
]
-
PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot
isolation.
A. Tomsic, T. Crain, M. Shapiro.
W. on the Principles
and Practice of Consistency for Distributed
Data (PaPoC), London, UK, Apr. 2016.
[ DL_0
| DL_€
| preprint
| bib
]
-
Geo-Replication: Fast If Possible, Consistent If Necessary.
V. Balegas, C. Li, M. Najafzadeh, D. Porto, A. Clement,,
S. Duarte, C. Ferreira, J. Gehrke, J. Leitão, N. Preguiça, R. Rodrigues, M. Shapiro, V. Vafeiadis.
Bulletin of the Technical Committee on Data Engineering
39(1), IEEE Computer Society, March 2016.
[ DL_0
| preprint
| bib
]
-
Cure: Strong semantics meets high availability and low latency.
D. Akkoorath, A. Tomsic, M. Bravo, Z. Li, T. Crain,
A. Bieniusa, N. Preguiça, Nuno, M. Shapiro.
Inria Technical Report (Rapport de Recherche) n° 8858, Feb. 2016.
[ DL_0
| preprint
| bib
]
-
Write Fast, Read in the Past: Causal Consistency for
Client-side Applications.
.
M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas,
M. Shapiro.
Annual
ACM/IFIP/USENIX Middleware conference, Dec. 2015.
Vancouver, BC, Canada.
[ DL_0
| DL_€
| Extended Tech Report, Inria RR-8729
| preprint
| bib
]
-
Write Fast, Read in the Past: Causal Consistency for
Client-side Applications.
.
M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas,
M. Shapiro.
Rapport de recherche INRIA RR-8729, May 2015.
[ DL_0
| preprint
| bib
]
-
Designing a causally consistent protocol for geo-distributed partial replication.
T. Crain, M. Shapiro.
W. on Principles and Practice of Consistency for Distributed Data (PaPoC),
Bordeaux, France, 21–24 April 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
An empirical perspective on causal consistency.
A. Z. Tomsic, T. Crain, M. Shapiro.
W. on Principles and Practice of Consistency for Distributed Data (PaPoC),
Bordeaux, France, 21–24 April 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
Putting Consistency back into Eventual Consistency.
V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira,
M. Najafzadeh, M. Shapiro.
Euro. Conf. on Computing
Systems (EuroSys),
Bordeaux, France, 21–24 April 2015.
[ DL_0
| DL_€
| preprint
| bib
]
-
SwiftCloud: Fault-Tolerant Geo-Replication Integrated
all the Way to the Client Machine.
M. Zawirski, V. Balegas, A. Bieniusa, N. Preguiça, S. Duarte,
M. Shapiro, C. Baquero.
Rapport de recherche INRIA RR-8347, Aug. 2014.
[ DL_0
| preprint
| bib
]
-
A Semantically Rich Approach for Collaborative Model Edition.
J. Michaux, X. Blanc, P. Sutra, M. Shapiro.
Symp. on Applied Computing (SAC),
March 2011, Taichung, Taiwan.
[ DL_0
| DL_€
| preprint
| bib
]
- Telex: A Semantic Platform for Cooperative Application
Development.
L. Benmouffok, Jean-M. Busca, J.-M. Marquès,
M. Shapiro, P. Sutra, G. Tsoukalas.
Conférence Française de
Systèmes d'Exploitation (CFSE),
Toulouse, September 2009.
[ preprint
| bib
]
- Optimistic Replication and Resolution.
M. Shapiro.
Encyclopædia of Database Systems, Springer, Sept. 2009.
[ Encyclopedia
| preprint
| bib
]
- Eventual Consistency.
M. Shapiro, B. Kemme.
Encyclopædia of Database Systems, Springer, Sept. 2009.
[ Encyclopedia
| preprint
| bib
]
- Telex: Principled System Support for Write-Sharing in
Collaborative Applications.
Lamia Benmouffok, Jean-Michel Busca, Joan Manuel Marquès, Marc
Shapiro, Pierre Sutra, Georgios Tsoukalas.
Rapport de recherche INRIA RR-6546, May. 2008.
[ DL_0
| preprint
| bib ]
-
Semantic Middleware for Designing Collaborative
Applications in Mobile Environment.
Benmouffok, Busca, Shapiro.
W. on Middleware for Network Eccentric and Mobile Apps. W. (MiNEMA),
Magdebourg, Germany, Sept. 2007.
[ preprint
| bib
]
-
Exploiting our computational surroundings for better mobile
collaboration.
J. Barreto, P. Ferreira, M. Shapiro.
Int. Conf. on Mobile Data Management (MDM),
Mannheim, Germany, May 2007.
[ DL_€
| preprint
| bib
]
-
Optimistic Replication.
Y. Saito, M. Shapiro.
Computing Surveys, vol. 37, n° 1, pp. 42-81, March 2005.
[ DL_0
| DL_€
| preprint
| bib
]
- FEW: File Management for Portable Devices.
N. Preguiça, C. Baquero, J. Legatheaux Martins, M. Shapiro,
P. Sérgio Almeida, H. Domingos, V. Fonte, S. Duarte.
Int. W. on Software Support for Portable Storage,
March 2005.
[ preprint
| bib
]
- A grid based distributed cooperative environment for health care
research.
Felipe Maia, Rafael Araújo et al.
Foundations of Health Information Engineering and Systems (FHIES),
Paris,
France, Aug. 2012.
[ preprint
| bib
]
-
A Comparison of Optimistic Approaches to Collaborative Editing
of Wiki Pages.
C.-L. Ignat, G. Oster, P. Molli,
M. Cart, J. Ferrié,
A.-M. Kermarrec,
P. Sutra, M. Shapiro, L. Benmouffok, J.-M. Busca,
R. Guerraoui.
Int. Conf. on
Collaborative Computing: Networking, Applications and Worksharing
(CollaborateCom),
White Plains, NY, USA, nov. 2007.
[ DL_€
| preprint
| Preliminary version RR-6278
| bib
]
-
An Application Framework for Collaborative, Nomadic
Applications.
J. O'Brien, M. Shapiro.
Int. Conf. on
Distributed Applications and Interoperable Systems (DAIS),
Bologna, Italy, June 2006.
[ DL_€
| preprint
| bib ].
-
The three dimensions of data consistency.
M. Shapiro and N. Krishna.
Journées Francophones sur la Cohérence des Données en Univers
Réparti (CDUR),
CNAM, Paris, France, nov. 2005.
[ preprint
| bib
| Slides
]
-
Brief announcement: exploring the consistency problem space
N. Krishna, M. Shapiro, K. Bhargavan.
Symp. on Principles of
Distributed Computing (PODC), Las Vegas, NV,
USA, July 2005.
[ DL_0
| DL_€
| bib
]
- Pushing log-based reconciliation.
Y. Hamadi, M. Shapiro.
International Journal on Artificial Intelligence Tools (IJAIT),
Volume 14, Number 3-4, 445-458, 2005.
[ DL_€
| preprint
| bib
]
-
A Constraint-based Formalism for Consistency in Replicated
Systems
.
M. Shapiro, K. Bhargavan, N. Krishna.
Int. Conf. on Principles of Distributed Systems (OPODIS),
Grenoble, France, Dec. 2004.
[ DL_€
| preprint
| bib
]
-
Undo for anyone, anywhere, anytime.
J. O'Brien, M. Shapiro.
SIGOPS European Workshop,
Leuven, Belgium, Sept. 2004.
[ DL_0
| DL_€
| preprint
| bib
]
-
An Application-Agnostic Replication System for
Ubiquitous Computing
.
J. O'Brien, M. Shapiro.
Technical report 2004-64, Microsoft Research, July 2004.
[ preprint
| bib ]
-
A formalism for consistency and partial replication.
M. Shapiro, K. Bhargavan, Y. Chong, Y. Hamadi.
Microsoft Research Technical Report MSR-TR-2004-58, Cambridge, UK,
June 2004.
[ DL_0
| preprint
| bib
]
-
The Actions-Constraints approach to replication: Definitions and
Proofs.
M. Shapiro, K. Bhargavan.
Microsoft
Research Technical Report MSR-TR-2004-14, March 2004.
[ DL_0
| preprint
| bib
]
-
Rufis: mobile data sharing using a generic constraint-oriented
reconciler.
M. Shapiro, N. Preguiça, J. O'Brien.
Conf. on Mobile Data
Management (MDM),
Berkeley CA (USA), Jan. 2004.
[ DL_€
| preprint
| bib
]
-
Semantics-based reconciliation for collaborative and mobile
environments
.
N. Preguiça, M. Shapiro, C. Matheson.
Conf. on Cooperative Information Systems (CoopIS),
Catania, Italy, Nov. 2003.
[ DL_€
| preprint
| bib ]
-
Automating semantics-based reconciliation for mobile transactions.
N. Preguiça, M. Shapiro, J. Legatheaux Martins.
Conf. française sur les systèmes
d'exploitation (CFSE),
La-Colle-sur-Loup, France, Oct. 2003.
[ preprint
| bib ]
-
Efficient semantics-aware reconciliation for optimistic write
sharing
.
N. Preguiça, M. Shapiro, C. Matheson.
Microsoft Research Technical Report MSR-TR-2002-52, May 2002.
[ DL_0
| preprint
| bib
]
-
The IceCube approach to the reconciliation of divergent replicas.
Anne-M. Kermarrec, A. Rowstron, M. Shapiro, P. Druschel.
Symp. on Principles of Dist. Comp. (PODC),
Newport RI (USA), Aug. 2001.
[ DL_0
| DL_€
| preprint
| bib ]
- Application-independent reconciliation for nomadic applications.
M. Shapiro, A. Rowstron, A.-M. Kermarrec.
SIGOPS European Workshop on ``Beyond the PC: New
Challenges for the Operating System'',
Kolding (Denmark), Sept. 2000.
[ DL_0
| DL_€
| preprint
| bib
]
-
Experience with the PerDiS large-scale data-sharing middleware.
M. Shapiro, P. Ferreira, N. Richer.
Int. W. on Persistent Object Systems (POS),
Lillehammer (Norway), September 2000.
[ DL_€
| preprint
| bib
]
- The memory behavior of the WWW, or: The WWW considered as a
persistent store
.
M. Shapiro, N. Richer.
Int. W. on Persistent Object Systems (POS),
Lillehammer
(Norway), September 2000.
[ DL_€
| preprint
| bib
]
-
Le partage d'informations dans les systèmes répartis grande échelle.
M. Shapiro. In ``Informatiques, enjeux tendances et évolutions'',
Techniques et Sciences Informatiques 19(1-2-3), pp. 455--462,
Hermès Science, Jan. 2000.
[ preprint
| bib
]
- PerDiS: design, implementation, and use of a PERsistent
DIstributed Store
.
P. Ferreira, M. Shapiro, et al.
In S. Krakowiak and S.K. Shrivashtava, editors,
Recent Advances in Distributed Systems,
Lecture Notes in Computer Science vol. 1752,
Springer-Verlag,
February 2000.
[ Book
| DL_€
| preprint
| bib
]
- Larchant-RDOSS: a Distributed Shared Persistent
Memory and its Garbage Collector
. Shapiro,
Ferreira. 9th WDAG, Sept. 1995, Le Mont Saint-Michel, France.
[ DL_€
| preprint
| bib
]
- Assessing the Scalability of Garbage Collectors on Many Cores.
L. Gidra, G. Thomas, J. Sopena, M. Shapiro.
Best papers from
SOSP Workshop on
Programming Languages and Operating Systems (PLOS), Cascais,
Portugal. October 2011.
[ DL_0
| DL_€
| preprint
| bib
]
- Recent Advances in Distributed Garbage Collection,
Shapiro, le Fessant, Ferreira.
In S. Krakowiak and S.K. Shrivashtava, editors,
Recent Advances in Distributed Systems,
Lecture Notes in Computer Science, volume 1752,
Springer-Verlag,
February 2000.
[ Book
| DL_€
| preprint
| bib ]
- Implementing Garbage Collection
in the PerDiS system
.
X. Blondel, P. Ferreira, M. Shapiro.
International Workshop on Persistent Object Systems, August 1998.
[ preprint
| bib
]
- Modelling a Distributed Cached Store for Garbage Collection:
the algorithm and its correctness proof
.
P. Ferreira, M. Shapiro.
Euro. Conf on Object-Oriented Programming (ECOOP),
Brussels (Belgium), July 1998.
[ DL_€
| preprint
| bib ]
- PerDiS PPF Case Study: Fitting a Distributed Garbage Collection
Algorithm to a Persistent Distributed Store Architecture.
X. Blondel, P. Ferreira, M. Shapiro.
OOPSLA W. on Garbage Collection and Memory Management,
October
1997.
[ preprint
| bib
]
- Larchant: Persistence by Reachability in Distributed
Shared Memory through Garbage Collection.
P. Ferreira, M. Shapiro.
16th Int. Conf. on Dist. Comp. Sys. (ICDCS), May 1996, Hong Kong.
[ DL_€
| preprint
| bib ]
- Garbage Collection in the Larchant Persistent Distributed Shared
Store.
P. Ferreira, M. Shapiro.
5th W. on Future Trends in Dist. Comp. Sys.
(FTDCS), August 1995, Cheju Island, Korea.
[ preprint
| bib ]
- Larchant-RDOSS: a Distributed Shared Persistent Memory and its
Garbage Collector.
M. Shapiro, P. Ferreira.
9th Workshop on Distributed Algorithms and Graphs (WDAG) [now DISC]
Sept. 1995, Le Mont Saint-Michel, France.
[ preprint
| bib
]
- Garbage Collection and DSM Consistency.
P. Ferreira, M. Shapiro.
Symp. on Operating Systems Design and Implementation (OSDI),
November 1994, Monterey, CA (USA).
[ DL_0
| preprint
| bib
]
- Garbage Collection of Persistent Objects in Distributed Shared
Memory
.
P. Ferreira, M. Shapiro.
Int. W. on Persistent Object Systems (POS), Tarascon, France,
September 1994.
[ preprint
| bib
]
- Evaluating Garbage Collectors for Large Persistent Stores.
L. Amsaleg, P. Ferreira, M. Franklin, M. Shapiro.
OOPSLA Wksh. on Object Database Behavior,
Benchmarks, and Performance, Austin TX (USA), October 1995.
[ preprint
| bib
]
- Recent Advances in Distributed Garbage Collection,
Shapiro, le Fessant, Ferreira.
In S. Krakowiak and S.K. Shrivashtava, editors,
Recent Advances in Distributed Systems,
Lecture Notes in Computer Science, volume 1752,
Springer-Verlag,
February 2000.
[ Book
| DL_€
| preprint
| bib
]
-
An implementation of complete, asynchronous, distributed
garbage collection
.
F. le Fessant, I. Piumarta, M. Shapiro.
Programming Languages Design and Implementation (PLDI),
June 1998.
[ DL_0
| DL_€
| preprint
| bib
]
- A Survey of Distributed Garbage Collection Techniques.
D. Plainfossé, M. Shapiro.
Int. Workshop on Memory Mgt. (IWMM), Kinross, September 1995.
[ DL_€
| preprint
| bib
]
- Some Key Issues in the Design of Distributed Garbage
Collection and References
.
M. Shapiro, D. Plainfossé, P. Ferreira, L. Amsaleg.
Dagstuhl seminar on Unifying Theory and Practice in
Dist. Systems
, Dagstuhl, September 1994.
[ preprint
| bib ]
-
SSP Chains: Robust, Distributed References Supporting Acyclic
Garbage Collection
.
Shapiro, Dickman, Plainfossé.
Rapport de Recherche INRIA 1799 and Broadcast Technical Report
no. n1.
Note: Corrects bugs, supersedes the article at PODC
(Principles of Distributed Computing) 1992, Vancouver BC, Canada.
[ preprint
| bib
]
Robust, Distributed References Supporting Acyclic
Garbage Collection
.
M. Shapiro, P. Dickman, D. Plainfossé.
Symp. on Principles of Distributed Computing (PODC) 1992, Vancouver
BC, Canada.
Corrigendum: see Rapport de
Recherche 1799.
[ DL_0
| DL_€
| bib
]
- Experience with a Fault-Tolerant Garbage Collector in a
Distributed Lisp System
D. Plainfossé, M. Shapiro.
Int. Workshop on Memory Mgt. (IWMM), Saint-Malo, Sept. 1992.
[ preprint
| BibTeX
]
-
A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage
Detection Protocol
M. Shapiro.
Symp. on Reliable Distributed Sytems (SRDS), Pisa, Italy
Nov. 1991.
[ DL_€
| preprint
| bib
]
- La gestion des objets dans les systèmes répartis de grande
échelle
.
M. Shapiro.
Habilitation à diriger les recherches,
Université Paris VI - Pierre et Marie Curie,
Paris, France, November 2002.
[ More info
| preprint
| bib ]
- A Binding Protocol for Distributed Shared Objects.
M. Shapiro.
Int. Conf. on Dist. Comp. Sys. (ICDCS), Poznan, Poland, June
1994.
[ DL_€
| preprint
| bib ]
- Fragmented Objects for Distributed Abstractions.
Mesaac Makpangou, Yvon Gourhant, Jean-Pierre le Narzul, Marc
Shapiro.
In Readings in Distributed Computing Systems,
Casavant and M. Singhal, ed., IEEE Computer Society
Press, 1994.
[ bib ]
- Contrasting Fragmented Objects with Uniform Transparent Object
References.
P. Dickman, M. Makpangou, M. Shapiro.
SIGOPS European Workshop on ``Models and
Paradigms for Distributed Systems Structuring,'' Le Mont
Saint-Michel, France, Sept. 1992.
[ DL_0
| DL_€
| bib ]
-
Soul: An Object-Oriented OS Framework for Object Support.
M. Shapiro.
W. on Operating Systems for the Nineties and Beyond,
Dagstuhl
Castle, Germany, July 1991.
[ DL_€
| bib
]
- SOS: An object-oriented operating system --- assessment and
perspectives.
Shapiro et al.
Computing Systems 2(4), Fall 1989.
[ DL_0
| preprint (340Kb)
| BibTeX ]
- Persistence and migration for C++ objects.
M. Shapiro, P. Gautron, L. Mosseri.
European Conf. on Object-Oriented Programming (ECOOP), Nottingham,
UK, 1989.
[ preprint
| bib ]
- Domains and dynamic loading: reconciling autonomy and
integration.
M. Shapiro.
ACM SIGOPS European workshop: Autonomy or interdependence in
distributed systems?
Cambridge, UK, Sept. 1988.
[ DL_0
| DL_€
| bib
]
-
Structure and Encapsulation in Distributed Systems: the Proxy
Principle
.
M. Shapiro.
Int. Conf. on Dist. Comp. Sys. (ICDCS), Cambridge MA (USA), May 1986.
[ preprint
| bib ]
- SOS: a distributed object-oriented operating system
M. Shapiro.
ACM Sigops European Workshop on ``Making Distributed Systems Work''.
Amsterdam, the Netherlands, Sept. 1986.
[ Workshop report
| DL_0
| DL_€
| bib
]
-
An experiment in distributed program design, using control
enrichment.
M. Shapiro.
Int. Conf. on Dist. Computing Syst. (ICDCS), Miami-Ft. Lauderdale,
FL, USA, Oct. 1982.
[ bib ]
- Generic Virtual Memory Management in Operating Systems Kernels.
V. Abrossimov, M. Rozier, M. Shapiro.
12th ACM Symp. on Operating Systems Principles (SOSP), Phoenix,
December 1989.
[ DL_0
| DL_€
| preprint
| bib ]
-
Le service d'appel de procédure distante Girolle
, M. Shapiro.
Technique et Science Informatiques (TSI), 3(6), Dec. 1984.
[ Journal
| bib ]
-
The contributions of an object-oriented approach to the
programming of distributed applications.
M. Shapiro.
In Jean Bézivin and Pierre Cointe,
editors, Journée d'Étude sur les Langages Orientés Objet, number 37 in
BIGRE, pages 149-159, Le Cap d'Agde, France, October 1983.
AFCET-Informatique.
-
Fault tolerance in Rebus, a distributed system for industrial real
time control.
J.M. Ayache, B. Carrichon, J.P. Courtiat, M. Diaz, B. Potin, and M. Shapiro.
In Symp. on Fault-Tolerant Computing (FTCS-11), Portland,
Maine, USA, June 1981.
-
A distributed control system for industrial plants.
J. M. Ayache, B. Carrichon, M. Devy, M. Diaz, B. Potin, and M. Shapiro.
In Euromicro 80 Conference,
London, United Kingdom, September 1980.
-
Une méthode de conception progressive des systèmes parallèles
utilisant le langage C.S.P.
M. Shapiro.
PhD thesis (Thèse de docteur-ingénieur), Institut National
Polytechnique de Toulouse, E.N.S.E.E.I.H.T., Toulouse, France, September
1980.
(See also the ACM Europe Council,
as well as
EuroSys, the European
professional society in Systems, and SIGOPS, the ACM Special
Interest Group on Operating Systems.)
- What's wrong with us?
M. Shapiro.
IEEE
Distributed Systems Online,
vol. 7, no. 5, May 2006, art. no. 0506-o5003.
[ DL_0
| bib ]
- Fostering Systems Research in Europe.
P. Druschel, R. Isaacs, T. Gross M. Shapiro.
EuroSys White Paper.
EuroSys, the European Professional Society in Systems, April 2006.
[ preprint
| bib ]
-
Systems research, education and industry in Europe.
M. Shapiro, Y. Berbers, W. Zwaenepoel, T. Harris.
Text submitted to the European Commission by EuroSys, June 2005.
[ preprint
| bib ]
-
Strengths & weaknesses of European systems research -- and
what to do about it
.
Panel discussion on "Systems research in Europe", SIGOPS European
Workshop, Leuven, Belgium (Sept. 2004).
[ Slides
]
- Summary of the Sixth SIGOPS European Wksh. on ``Matching
Operating Systems to Application Needs.''
M. Shapiro. Operating Systems Review 29(1), p. 47--51.
[ DL_0
| DL_€
| bib
]
Marc.Shapiro =at= acm.org
Last modified: Tue Dec 1 09:14:59 CET 2015