Pierre-Évariste Dagand

Statistics

Publications

Citations

1.2K

H-Index

Active since

2009

Affiliations

Centre National de la Recherche Scientifique(Current)

Sorbonne Université

Institut national de recherche en sciences et technologies du numérique

University of Strathclyde

Microsoft Research (United Kingdom)

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

Publications

The multikernel

Andrew Baumann, Paul Barham, Pierre-Évariste Dagand et al. · 2009 · 792 citations

Hardware Security, Heterogeneous Computing, Engineering +13

Fully abstract compilation to JavaScript

Cédric Fournet, Nikhil Swamy, Juan Chen et al. · 2013 · 85 citations

Engineering, Compiler Technology, Verification +20

The gentle art of levitation

James Chapman, Pierre-Évariste Dagand, Conor McBride et al. · 2010 · 80 citations

Art Theory, Inductive Types, Engineering +14

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand et al. · 2017 · 57 citations

Engineering, Compiler Technology, Verification +19

Coq

Andrew Kennedy, Nick Benton, Jonas Braband Jensen et al. · 2013 · 43 citations

High-level Programming Language, Programming Language Theory, Engineering +13

1–5 of 17