@@ -4,8 +4,8 @@ title: Philippa Gardner, talk at the open Workshop on Consistency in Distributed
...
@@ -4,8 +4,8 @@ title: Philippa Gardner, talk at the open Workshop on Consistency in Distributed
Philippa Gardner gave at talk on A Concurrent Specification of PoSIX at the open workshop [“Consistency in distributed storage.”](https://pages.lip6.fr/Marc.Shapiro/workshop-2017-05-03/)
Philippa Gardner gave at talk on A Concurrent Specification of PoSIX at the open workshop [“Consistency in distributed storage.”](https://pages.lip6.fr/Marc.Shapiro/workshop-2017-05-03/)
held at the Université Pierre et Marie Curie - LIP6, Paris, France on 3 May 2017.
held at the Université Pierre et Marie Curie - LIP6, Paris, France on 3 May 2017.
The workshop, organised by [Marc Shapiro](https://pages.lip6.fr/Marc.Shapiro/)[(UPMC-LIP6 and Inria)](https://www.inria.fr/) is an opportunity for students
The workshop, organised by [Marc Shapiro](https://pages.lip6.fr/Marc.Shapiro/)[(UPMC-LIP6 and Inria)](https://www.inria.fr/) offers students
and academics to share insights on the principles and practice of distributed data replication systems,
and academics an opportunity to share insights on the principles and practice of distributed data replication systems,
based on solid distributed algorithm and engineering principles. This workshop is held under the aegis of the French ANR Project RainbowFS,
based on solid distributed algorithm and engineering principles. This workshop is held under the aegis of the French ANR Project RainbowFS,
which aims to deconstruct consistency and to develop principled tools for the design, verification, deployment and monitoring,
which aims to deconstruct consistency and to develop principled tools for the design, verification, deployment and monitoring,
and to use them for developing a correct-by-construction and efficient geo-scale petabyte-sized storage system.
and to use them for developing a correct-by-construction and efficient geo-scale petabyte-sized storage system.
