User Tools

Site Tools


posters

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]) 
posters.1408454492.txt.gz · Last modified: 2014/08/19 15:21 by emmanuel