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 [2014/08/29 13:12] (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]]) +  * Mathias Bourgoin - GDR GPL 2014-05 :  
-  * Etienne Millon - GDR GPL 2014/05 : Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]]) +    * High Performance Web-Cient Programming with SPOC ([[apr>posters/Mathias_Bourgoin--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]])+  * 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]]) 
 + 
posters.1408614221.txt.gz · Last modified: 2014/08/21 11:43 by emmanuel