Invited Speakers

Nikolaj Bjorner	Christophe Diot	Bryan Ford
Maurice Herlihy	Ranjit Jhala	Anne-Marie Kermarrec
Marta Kwiatkowska	Rupak Majumdar	Thomas Reps
Aruna Seneviratne	Liuba Shrira	Renata Teixeira

1 – Scaling Z3 in Azure (Abstract)
Nikolaj Bjorner (Bio), Microsoft Research Redmond (USA)

2 – Networks at work in the Aerospace Industry (Abstract)
Christophe Diot (Bio), Safran Analytics (France)

3 – Clubs, Coins, and Crowds: Fairness and Decentralization in Blockchains and Cryptocurrencies (Abstract)
Bryan Ford (Bio), EPFL (Switzerland)

4 – Blockchains and the Future of Distributed Computing (Abstract)
Maurice Herlihy (Bio), Brown University (USA)

5 – Pretend Synchrony: Synchronous Verification of Asynchronous Programs (Abstract)
Ranjit Jhala (Bio), UC San Diego (USA)

6 – Recommenders: from the lab to the wild (Abstract)
Anne-Marie Kermarrec (Bio), Mediego, Inria (France), EPFL (Switzerland)

7 – Safety Verification of Deep Neural Networks (Abstract)
Marta Kwiatkowska (Bio), University of Oxford (UK)

8 – Effective Random Testing for Concurrent and Distributed Programs (Abstract)
Rupak Majumdar (Bio), MPI-SWS Kaiserslautern (Germany)

9 – Program Analyses using Newton’s Method (Abstract)
Thomas Reps (Bio), University of Wisconsin and GrammaTech, Inc. (USA)

10 – Authentication Mechanisms for Resource-Constrained IoT Devices (Abstract)
Aruna Seneviratne, University of New South Wales (Australia)

11 – Optimistic and pessimistic synchronization for data structures for in-memory stores (Abstract)
Liuba Shrira (Bio), Brandeis University (USA)

12 -Diagnosis of Internet Quality of Experience in Home Networks (Abstract)
Renata Teixeira (Bio), INRIA Paris (France)