JFLAs 2014

Articles acceptés

Jean-Guillaume Dumas, Dominique Duval, Burak Ekici and Damien Pous.
  Formal verification in Coq of program properties involving the global state effect
Sylvain Conchon, David Declerck, Luc Maranget and Alain Mebsout.
  Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières
Yoichi Hirai and Reynald Affeldt.
  What could Coq do for Database Software? ---A Progress Report
Louis Mandel and Cédric Pasteur.
  Exécution efficace de programmes ReactiveML
Bernard Serpette, Pascal Manoury and Emmanuel Chailloux.
  Unification des couleurs dans un $\lambda$-calcul polychrome
Adrien Husson.
  Une sémantique statique pour MongoDB
Adrien Guatto and Louis Mandel.
  Réseaux de Kahn à rafales et horloges entières
Martin Bodin, Thomas Jensen and Alan Schmitt.
  Pretty-big-step-semantics-based Certified Abstract Interpretation
Julien Signoles.
  Comment un chameau peut-il écrire un journal ?
Damien Pous and Alan Schmitt.
  De la KAM avec un Processus d’Ordre Supérieur
Marc Bagnol, Amina Doumane and Alexis Saurin.
  Analyse de dépendances et correction des réseaux de preuve
Pierre-Marie Pédrot and Alexis Saurin.
  Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse

Exposés courts

Thibaut Gauthier, Chantal Keller and Michael Norrish..
  Traduction prouvée de HOL4 vers le premier ordre.
Olivier Levillain.
  Réflexions sur l'écriture de parsers binaires robustes et présentation de la solution Parsifal.
Jean-Christophe Filliâtre.
  Le petit guide du bouturage.

NB: le classement correspond à l'ordre de dépot sur easychair, il n'est pas significatif.