Session #20: 13 December 2022
Posted on November 28, 2022
|
Talks:
- Wiki for Coq: Incrementally checking formal documents, Emilio-Jesus Gallego-Arias (picube)
- Prune in Rust: A language for automating parameter studies and benchmarks, Simon Legrand (SED)
- Introduction to Github Actions, Thierry Martinez (SED)
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.