Session #8: 19 March 2019
Posted on March 14, 2019
|
Talks:
- Using GPU nodes on rioc (Inria cluster): the OpenACC alternative,
Mauricio Diaz (SED),
slides.
- Coq and incremental cycle detection, Armaël Guéneau (Gallium),
slides.
- Software Heritage, Nicolas Dandrimont,
slides.