regal https://team.inria.fr/regal Wed, 05 Jun 2019 16:36:27 +0000 en-US hourly 1 https://wordpress.org/?v=5.9.7 AntidoteDB tutorial at Compas 2019 https://team.inria.fr/regal/antidotedb-tutorial-at-compas-2019/ Wed, 05 Jun 2019 16:31:47 +0000 https://team.inria.fr/regal/?p=546 Sara Hamouda, Ilyas Toumlilt and Dimitri Vasilas of Team Delys will be presenting a tutorial an AntidoteDB at the COMPAS 2019 conference.

]]>
Alejandro Tomsic awarded Best PhD in Systems and Networking 2019 https://team.inria.fr/regal/alejandro-tomsic-awarded-best-phd-in-systems-and-networking-2019/ Wed, 05 Jun 2019 16:23:58 +0000 https://team.inria.fr/regal/?p=544

Continue reading]]> 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 presentation of Alejando’s work take place at the Compas conference on 26 June 2019.

]]>
Paper at Middleware 2018 https://team.inria.fr/regal/paper-at-middleware-2018/ Wed, 19 Sep 2018 08:41:07 +0000 https://team.inria.fr/regal/?p=525 Distributed transactional reads: the strong, the quick, the fresh & the impossible. By Alejandro Tomsic, Manuel Bravo, Marc Shapiro

]]>
proposed PhD topic: High-level distributed computing https://team.inria.fr/regal/proposed-phd-topic-high-level-distributed-computing/ Wed, 07 Mar 2018 16:51:03 +0000 https://team.inria.fr/regal/?p=514 View topic and apply at https://jobs.inria.fr/public/classic/fr/offres/2018-00527

]]>
Postdoc position available: “Just-Right Consistency for planet-scale storage” https://team.inria.fr/regal/postdoc-position-available-just-right-consistency-for-planet-scale-storage/ Tue, 30 Jan 2018 10:12:28 +0000 https://team.inria.fr/regal/?p=498 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/

]]>
VMCAI 2018: “Co-Design and Verification of an Available File System” https://team.inria.fr/regal/vmcai-2018-co-design-and-verification-of-an-available-file-system/ Tue, 30 Jan 2018 09:34:55 +0000 https://team.inria.fr/regal/?p=492 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.

]]>
Paper on Antidote and Cure accepted for ICDCS https://team.inria.fr/regal/paper-on-antidote-and-cure-accepted-for-icdcs/ Tue, 10 May 2016 09:51:39 +0000 https://team.inria.fr/regal/?p=374 Our paper titled “Cure: Strong semantics meets high availability and low latency” will appear in the forthcoming ICDCS conference. A preprint is available here.

]]>
Three papers at PaPoC 2016 https://team.inria.fr/regal/three-papers-at-papoc-2016/ Sat, 16 Apr 2016 18:13:38 +0000 https://team.inria.fr/regal/?p=369 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

]]>
Marc Shapiro Invited talk at Grenoble, 3 March 2016 https://team.inria.fr/regal/marc-shapiro-invited-talk-at-grenoble-3-march-2016/ Wed, 10 Feb 2016 15:11:46 +0000 https://team.inria.fr/regal/?p=351

Continue reading]]> 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” impossibility result shows there is an inherent trade-off between fault tolerance, performance, and programmability. The first part of the talk will provide some general background on the consistency trade-off.

This has led to a split between databases designed for strong consistency and those designed for performance and availability; application designers must make an early decision of which consistency model to go with. Instead, we propose to fine-tune the database to provide the highest possible performance and availability that is appropriate for a given application. Our Just-Right Consistency approach leverages a novel static analysis (called CISE), which can prove whether a given distributed application maintains a given correctness invariant. In the second part of the talk, we will explain the intuition behind CISE, and how we use it to co-design the application and its consistency model, thereby minimising synchronisation to what is strictly necessary to ensure correctness

]]>
Paper @PODC 2015 “The Weakest Failure Detector for Eventual Consistency” https://team.inria.fr/regal/paper-podc-2015-the-weakest-failure-detector-for-eventual-consistency/ Mon, 11 Jan 2016 16:17:48 +0000 https://team.inria.fr/regal/?p=342