Sara Hamouda, Ilyas Toumlilt and Dimitri Vasilas of Team Delys will be presenting a tutorial an AntidoteDB at the COMPAS 2019 conference.
Category: Uncategorized
Jun 05
Alejandro Tomsic awarded Best PhD in Systems and Networking 2019
Alejandro Tomsic receives the Prize for Best French PhD in systems and networking 2019 for his thesis titled “Exploring the design space of highly-available distributed transactions.” The prize is awarded yearly by ASF (the French chapter of ACM Sigops) and by RSD (the French research network in Networked and Distributed Systems). The award ceremony and …
Sep 19
Paper at Middleware 2018
Distributed transactional reads: the strong, the quick, the fresh & the impossible. By Alejandro Tomsic, Manuel Bravo, Marc Shapiro
Mar 07
proposed PhD topic: High-level distributed computing
View topic and apply at https://jobs.inria.fr/public/classic/fr/offres/2018-00527
Jan 30
Postdoc position available: “Just-Right Consistency for planet-scale storage”
Advertising a postdoc position on “Just-Right Consistency for planet-scale storage;” see https://team.inria.fr/regal/job-offers/postdoctoral-position-just-right-consistency-for-planet-scale-storage/
Jan 30
VMCAI 2018: “Co-Design and Verification of an Available File System”
Formally verifying the properties of a distributed file system, with Availability under Partition properties. The file system consists of interdependent CRDT objects under a strong safety invariant (tree shape). Paper by Mahsa Najafzadeh, Marc Shapiro and Patrick Eugster, published at VMCAI 2018. The paper is available here.
May 10
Paper on Antidote and Cure accepted for ICDCS
Our paper titled “Cure: Strong semantics meets high availability and low latency” will appear in the forthcoming ICDCS conference. A preprint is available here.
Apr 16
Three papers at PaPoC 2016
In the PaPoC 2016 programme: Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira and Marc Shapiro. The CISE Tool: Proving Weakly-Consistent Applications Correct Alejandro Z. Tomsic, Tyler Crain and Marc Shapiro. PhysiCS: efficient consistent snapshots for scalable snapshot isolation Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça and Marc Shapiro. Eventually Consistent Register Revisited
Feb 10
Marc Shapiro Invited talk at Grenoble, 3 March 2016
https://www.liglab.fr/evenements/keynote-speeches/marc-shapiro-just-right-consistency Consistency —ensuring that data items distributed over remote computers agree with each other— is a fundamental issue of distributed computing. No single consistency model is appropriate for all uses: strong consistency requires lots of synchronisation, which has availability and performance issues; weak consistency performs and scales better but is error-prone. Indeed, the famous “CAP” …
- 1
- 2
