posters
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
posters [2014/08/19 15:18] – emmanuel | posters [2025/06/18 14:54] (current) – mine | ||
---|---|---|---|
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 ([[https:// | ||
+ | * Antoine Genitrini - HCERES LIP6 2018-01 : | ||
+ | * Etude quantitative et exploration statistique des processus concurrents | ||
+ | * Mathias Bourgoin - GDR GPL 2014-05 : | ||
+ | * High Performance Web-Cient Programming with SPOC ([[https:// | ||
+ | * Etienne Millon - GDR GPL 2014-05 : | ||
+ | * Verify the Safety of User Pointers Using Static Typing ([[https:// | ||
+ | * Jérémie Salvucci - GDR GPL 2013-04 : | ||
+ | * Memory Consumption Analysis ([[https:// | ||
+ | * Benjamin Canou - AERES LIP6 2013-01 : | ||
+ | * A declarative-friendly API for Web document manipulation ([[https:// | ||
+ | * Philippe Wang - AERES LIP6 2013-01 : | ||
+ | * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[https:// | ||
+ | * Alexis Darrasse - FPSAC 2008 | ||
+ | * Distances in random Apollonian network structures ([[https:// | ||
+ | |||
- | * Etienne Millon - GDR GPL 2014/05 : Verify the Safety of User Pointers Using Static Typing ([[apr> | ||
- | * Philippe Wang - AERES LIP6 2013/01 : Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr> |
posters.1408454313.txt.gz · Last modified: by emmanuel