User Tools

Site Tools


posters

Differences

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

Link to this comparison view

posters [2014/08/21 11:43]
emmanuel
posters [2018/01/09 20:19] (current)
emmanuel [Posters of Team APR]
Line 2: Line 2:
 ====== Posters of Team APR ====== ====== Posters of Team APR ======
  
-  * Mathias Bourgoin - GDR GPL 2014/05 : High Performance Web-Cient Programming with SPOC ([[apr>posters/Mathias_Bourgoin--gdrgpl--0514.pdf|PDF]]) +  * Antoine Genitrini - HCERES LIP6 2018-01 : 
-  * Etienne Millon - GDR GPL 2014/05 : Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]]) +    * Etude quantitative et exploration statistique des processus concurrents  ([[apr>posters/Antoine_Genitrini--hceres2018.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]])+  * 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]])  
 + 
 + 
posters.1408614221.txt.gz · Last modified: 2014/08/21 11:43 by emmanuel