====== 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]])