Peer-reviewed international conferences

  • Verified Compilation of Linearizable Data Structures.
    Y. Zakowski, D. Cachera, D. Demange and D. Pichardie. SAC 2018, SVT.
  • Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology.
    Y. Zakowski, D. Cachera, D. Demange, G. Petri, D. Pichardie, S. Jagannathan, J. Vitek. ITP 2017.
  • Mechanizing Conventional SSA for a Verified Destruction with Coalescing.
    D. Demange, Y. Fernandez de Retana. CC 2016.
  • Verifying Fast and Sparse SSA-based Optimizations in Coq.
    D. Demange, D. Pichardie and L. Stefanesco. CC 2015.
  • Validating Dominator Trees for a Fast, Verified Dominance Test.
    S. Blazy, D. Demange and D. Pichardie. ITP 2015.

Peer-reviewed international workshops

  • An Extended Buffered Memory Model With Full Reorderings.
    G. Cabon, D. Cachera, and D. Pichardie. FTfJP 2016.

Last Updated 2017-11-23 Thu 09:46