Invited Speakers
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)
Dates (New)
February 04, 2018
Abstract submission deadline
February 11, 2018
Paper submission deadline
March 26, 2018
Acceptance notification
April 04, 2018
Camera ready copy due