User Tools

Site Tools


posters

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.txt · Last modified: 2014/08/29 13:12 by emmanuel