Asynchronous replication is available and fast, but what about consistency? We propose a logic for showing that such a program maintains its invariants. We implemented the rule in a static analysis tool and ran a few interesting examples. See the video of the tool and the paper to appear at POPL 2016: ‘Cause I’m Strong …
Category: Uncategorized
Aug 03
Paper @Middleware 2015 “Write Fast, Read in the Past: Causal Consistency for Client-side Applications”
Our paper “Write Fast, Read in the Past: Causal Consistency for Client-side Applications” has been accepted for publication at Middleware 2015. A preliminary version is available as Inria Research Report RR-8729.
Apr 28
New paper at Systor: Merging Semantics for Conflict Updates in Geo-Distributed File Systems
Read our new paper, to appear in Systor in May 2015 (Haifa, Israel): “Merging Semantics for Conflict Updates in Geo-Distributed File Systems” by Vinh Tao, Marc Shapiro, and Vianney Rancurel. http://lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf
Feb 27
ASPLOS 2015 / NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines
Paper accepted for presentation at ASPLOS 2015. DOI: 10.1145/2694344.2694361. Bibtex. Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro, Nhan Nguyen On contemporary cache-coherent Non-Uniform Memory Access (ccNUMA) architectures, applications with a large memory footprint suffer from the cost of the garbage collector (GC), because, as the GC scans the reference graph, it makes many remote …
Feb 27
EuroSys 2015: Putting Consistency Back into Eventual Consistency
Paper accepted for publication at EuroSys 2015 Valter Balegas, Mahsa Najafzadeh, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno Preguiça Geo-replicated storage systems are at the core of current Internet services. The designers of the replication protocols for these systems have to choose between either support- ing low latency, eventually consistent operations, or supporting …
Jul 06
“On the Scalability of Snapshot Isolation” @Euro-Par 2013
“On the Scalability of Snapshot Isolation”, by Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro and Nuno Preguiça, is accepted for publication at Euro-Par 2013, Aachen, Germany, August 2013. See pre-print here.
Jul 21
William C. Carter Award – DSN 2013
Suman Saha won the William C. Carter Award 2013 for making an important contribution to the field of dependable computing
- 1
- 2
