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/19 15:15]
emmanuel
posters [2014/08/29 13:12] (current)
emmanuel [Posters of Team APR]
Line 1: Line 1:
  
 ====== 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]])
 +  * 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]])
 +  * Philippe Wang - AERES LIP6 2013-01 : 
 +    * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]])
  
  
-  * Etienne Millon - GDR GPL 2014/05 : Safety-critical Software Development Tools Implementation Using an Applicative Language ([[http://www-apr.lip6.fr/posters/Etienne_Millon--gdrgpl--0514.pdf]]) 
-  * Philippe Wang - AERES LIP6 2013/01 :  
posters.1408454130.txt.gz · Last modified: 2014/08/19 15:15 by emmanuel