9th edition of CASH reading group will be on
Oct 30 at 14:00
Salle 316
Program:
- Julien: Interpolants pour la verification de programmes
- Amaury Maillé:
“Extending smart containers for data locality-aware skeleton programming” —August Ernstsson, Christoph Kessler — CCPE 2018