Workshop Inria/EPFL 2016
The second workshop took place on January 13th, 2016 at Inria Rennes – Bretagne Atlantique Research Centre
Registration: the registration is free but please register to the event from the registration form
Program
8:30: Welcome
9:15 – Jim Larus and Thierry Priol – Introduction
9:30 – Christos Kozyrakis (EPFL) – “No tradeoff: Low Latency and High Efficiency“
10:15: Break
10:45 – Marc Shapiro (Inria) – “Deconstructing consistency in three dimensions“
11:30 – Collaborative projects:
Nicolas Tremblay (Inria-EPFL) – “Graph signal processing for clustering“
Nupur Mittal (Inria) – “Privacy Conscious Information Diffusion in Social Networks“
12:30: Lunch and discussion time
14:15 – Bryan Ford (EPFL) – “Collective Authorities: Securely Decentralizing Trust at Scale“
15:00 – Xavier Leroy (Inria) – “Tools you can trust: formal verification of compilers, code generators, and static analyzers“
15:45: Break and discussion time
16:30 – Collaborative projects:
Jad Hamza (EPFL-Inria) – “Algorithmic verification of concurrent and distributed data structures“
Pamela Delgado (EPFL) – “Hawk: Hybrid Datacenter Scheduling“
17:30: Wrap up and discussion
