Posters of Team APR

Loïc Sylvestre - FCCM 2022
- A Virtual Machine Approach for High-level FPGA Programming (PDF)
Antoine Genitrini - HCERES LIP6 2018-01 :
- Etude quantitative et exploration statistique des processus concurrents (PDF)
Mathias Bourgoin - GDR GPL 2014-05 :
- High Performance Web-Cient Programming with SPOC (PDF)
Etienne Millon - GDR GPL 2014-05 :
- Verify the Safety of User Pointers Using Static Typing (PDF)
Jérémie Salvucci - GDR GPL 2013-04 :
- Memory Consumption Analysis (PDF)
Benjamin Canou - AERES LIP6 2013-01 :
- A declarative-friendly API for Web document manipulation (PDF)
Philippe Wang - AERES LIP6 2013-01 :
- Safety-critical Software Development Tools Implementation Using an Applicative Language (PDF)
Alexis Darrasse - FPSAC 2008
- Distances in random Apollonian network structures (PDF)