• Nov. 2017 - Paper accepted at SAC SVT 2018.
    "Verified Compilation of Linearizable Data Structures".
  • June 2017 - Paper accepted at ITP'17.
    "Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology".
  • June 2017 - Invited talk by Delphine Demange at Inria Scientific Days 2017.
    "On-the-Fly Garbage Collection: An Exercise in Compiler Verification".
  • June 2017 - Presentation by Yon Fernandez de Retana at 12th meeting of French community of Compilation.
    "Sea-of-Nodes: semantics and proof of program optimizations".

Past events

  • March 2017 - Andrea Parri (Scuola Superiore Sant'Anna, Pisa) visiting us at IRISA.
    "A Formal Model of the Linux-Kernel Memory Ordering". Joint work with Alglave, Maranget, McKenney, Stern.
  • Nov. 2016 - Dagstuhl seminar 16471 Concurrency with Weak Memory Models
  • July 2016 - Paper accepted at the ECOOP worshop FTfJP'16.
    "An Extended Buffered Memory Model With Full Reorderings".
  • Jun. 2016 - Session on Program Static Analysis and Verification at Journées nationales 2016 GT-Vérif
  • Jan. 2016 - Invited talk by Delphine Demange at Journées nationales 2016 GDR Informatique Mathématique
  • Jan. 2016 - Gustavo Petri visiting us at IRISA
  • April 2015 - Robin Morisset visiting us at IRISA

Last Updated 2017-11-23 Thu 15:41