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