CASH paper presentation 30/11 a 9h30

1st edition of CASH paper presentation will be on
November 30 at 9:30 (coffee at 9:20)
Salle de réunion 316 Centre

  • Ludovic Henrio will present:
    ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations —  Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain — Coordination 2016
  • Julien Braine will present:
    What’s Decidable About Arrays?
    Aaron R. Bradley, Zohar Manna, and Henny B. Sipma
    VMCAI 2006