This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
posters [2014/08/19 15:21] emmanuel |
posters [2022/06/19 23:13] (current) emmanuel |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Posters of Team APR ====== | ====== Posters of Team APR ====== | ||
+ | * Loïc Sylvestre - FCCM 2022 | ||
+ | * A Virtual Machine Approach for High-level FPGA Programming ([[apr>posters/Loic_Sylvestre--FCCM2022.pdf|PDF]]) | ||
+ | * Antoine Genitrini - HCERES LIP6 2018-01 : | ||
+ | * Etude quantitative et exploration statistique des processus concurrents ([[apr>posters/Antoine_Genitrini--hceres2018.pdf|PDF]]) | ||
+ | * Mathias Bourgoin - GDR GPL 2014-05 : | ||
+ | * High Performance Web-Cient Programming with SPOC ([[apr>posters/Mathias_Bourgoin--gdrgpl--0514.pdf|PDF]]) | ||
+ | * Etienne Millon - GDR GPL 2014-05 : | ||
+ | * Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]]) | ||
+ | * Jérémie Salvucci - GDR GPL 2013-04 : | ||
+ | * Memory Consumption Analysis ([[apr>posters/Jeremie_Salvucci--gdrgpl--0413.pdf|PDF]]) | ||
+ | * Benjamin Canou - AERES LIP6 2013-01 : | ||
+ | * A declarative-friendly API for Web document manipulation ([[apr>posters/Benjamin_Canou--aereslip6.pdf|PDF]]) | ||
+ | * Philippe Wang - AERES LIP6 2013-01 : | ||
+ | * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]]) | ||
+ | * Alexis Darrasse - FPSAC 2008 | ||
+ | * Distances in random Apollonian network structures ([[apr>posters/Alexis_Darrasse--FPSAC2008.pdf|PDF]]) | ||
+ | |||
- | * Etienne Millon - GDR GPL 2014/05 : Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]]) | ||
- | * Philippe Wang - AERES LIP6 2013/01 : Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]]) |