17
Publications
1.2K
Citations
12
H-Index
2009
Active since
Pierre-Évariste Dagand is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningComputer EngineeringVerificationSystem Software
Publications per year
2009–2021
17
17
Andrew Baumann, Paul Barham, Pierre-Évariste Dagand et al. · 2009 · 792 citations
Fully abstract compilation to JavaScript
Cédric Fournet, Nikhil Swamy, Juan Chen et al. · 2013 · 85 citations
James Chapman, Pierre-Évariste Dagand, Conor McBride et al. · 2010 · 80 citations
A formally verified compiler for Lustre
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand et al. · 2017 · 57 citations
Andrew Kennedy, Nick Benton, Jonas Braband Jensen et al. · 2013 · 43 citations
High-level Programming Language, Programming Language Theory, Engineering +13
Rows per page
1–5 of 17