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 14:59]
127.0.0.1 external edit
posters [2014/08/29 13:12] (current)
emmanuel [Posters of Team APR]
Line 1: Line 1:
 +
 +====== 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]])
 +
  
posters.1408453152.txt.gz · Last modified: 2014/08/19 15:15 (external edit)