Sidebar
posters
This is an old revision of the document!
Posters of Team APR
- Mathias Bourgoin - GDR GPL 2014-05 :
- High Performance Web-Cient Programming with SPOC (PDF)
- Etienne Millon - GDR GPL 2014-05 :
- Verify the Safety of User Pointers Using Static Typing (PDF)
- Jérémie Salvucci - GDR GPL 2013-04 :
- Memory Consumption Analysis (PDF)
- Philippe Wang - AERES LIP6 2013-01 :
- Safety-critical Software Development Tools Implementation Using an Applicative Language (PDF)
posters.1409310761.txt.gz · Last modified: 2014/08/29 13:12 by emmanuel
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
