Category: Uncategorized

Consistent asynchronous distributed programs: POPL’16 paper, demo

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 …

Continue reading

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.

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.

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 …

Continue reading

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 …

Continue reading

“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.

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