Groupe de travail LTP du GDR GPL

20 octobre 2014

PCRI (bâtiment Ada Lovelace - 650), Université Paris-Sud

Salle 435 (salle des thèses)

Programme de la journée

• 09h30 Accueil (café + viennoiseries)
• 10h00 Andrew Tolmach (Portland State University, LRI). Writing and Analyzing System Policies in SUPPL
• 11h00 Pause
• 11h30 David Bühler (CEA, List). Améliorer l'analyse statique de programmes C à l'aide de prédicats conditionnels
• 12h30 Léon Gondelman (LRI, VALS). Double WP: vers une preuve automatique d'un compilateur
• 12h45 Déjeuner
• 14h15 Gabriel Scherer (INRIA, Gallium). Full reduction in the face of absurdity
• 14h30 Martin Bodin (INRIA, Rennes). Analyses Certifiées de JavaScript
• 15h00 Catalin Hritcu (INRIA, Prosecco) QuickChick: A Coq Framework For Verified Property-Based Testing
• 15h30 Pause
• 16h00 Adrien Guatto (ENS, Parkas) Correction du typage pour un langage synchrone fonctionnel
• 16h30 Renaud Rioboo (ENSIIE) Itérateurs en FoCaLiZe
• 17h00 Fin de la journée

Participants

• Marc Pouzet (ENS, Parkas)
• Sylvain Conchon (LRI, Vals)
• Andrew Tolmach (Portland State University / LRI)
• David Bühler (CEA, List)
• Martin Bodin (INRIA, Rennes)
• Catalin Hritcu (INRIA, Prosecco)
• Adrien Guatto (ENS, Parkas)
• Martin Clochard (LRI, Vals)
• Léon Gondelman (LRI, Vals)
• Jean-Christophe Filliâtre (LRI, Vals)
• Julien Signoles (CEA, List)
• Catherine Dubois (ENSIIE)
• Julien Tesson (LACL)
• François Pottier (INRIA, Gallium)
• Xavier Leroy (INRIA, Gallium)
• Renaud Rioboo (ENSIIE)
• Zhen Zhang (INRIA, Parkas)
• Nicolas Magaud (ICube, API)
• Pierrick Couderc (ENSTA/OCamlPro)
• Christine Paulin-Mohring (LRI, Vals)
• Laurent Fuchs (XLIM-SIC)
• Wadoud Bousdira (LIFO)
• Tito Nguyen (ENS Ulm)
• Maxime Dénès (INRIA)
• Alain Mebsout (LRI, Vals)
• Claude Marché (LRI, Vals)
• David Delahaye (CNAM, Cedric)
• François Bobot (CEA, List)
• Virgile Prevosto (CEA, List)
• François Pessaux (ENSTA)

Comment venir