Search - ANR - Agence nationale de la recherche Access content directly

Filter your results

8 Results
ANR project: Code decision (reference) : ANR-14-CE28-0004
Image document

Validating Dominator Trees for a Fast, Verified Dominance Test

Sandrine Blazy , Delphine Demange , David Pichardie
Interactive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_6⟩
Conference papers hal-01193281v1
Image document

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Yannick Zakowski , David Cachera , Delphine Demange , Gustavo Petri , David Pichardie , et al.
Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9489-x⟩
Journal articles hal-01897251v1
Image document

Semantic reasoning about the sea of nodes

Delphine Demange , Yon Fernández de Retana , David Pichardie
CC 2018 - 27th International Conference on Compiler Construction, Feb 2018, Vienna, Austria. pp.163-173, ⟨10.1145/3178372.3179503⟩
Conference papers hal-01723236v1
Image document

Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology

Yannick Zakowski , David Cachera , Delphine Demange , Gustavo Petri , David Pichardie , et al.
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.496-513, ⟨10.1007/978-3-319-66107-0_31⟩
Conference papers hal-01613389v1
Image document

Mechanizing conventional SSA for a verified destruction with coalescing

Delphine Demange , Yon Fernandez de Retana
25th International Conference on Compiler Construction, Mar 2016, Barcelona, Spain
Conference papers hal-01378393v1
Image document

Verified Compilation of Linearizable Data Structures: Mechanizing Rely Guarantee for Semantic Refinement

Yannick Zakowski , David Cachera , Delphine Demange , David Pichardie
SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1881-1890, ⟨10.1145/3167132.3167333⟩
Conference papers hal-01653620v1

Verifying Fast and Sparse SSA-based Optimizations in Coq.

Delphine Demange , David Pichardie , Léo Stefanesco
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom
Conference papers hal-01110779v1
Image document

Compilation of Linearizable Data Structures

Yannick Zakowski , David Cachera , Delphine Demange , David Pichardie
[Research Report] ENS Rennes; IRISA, Inria Rennes; Université Rennes 1. 2017
Reports hal-01538128v1