Pierre-Évariste Dagand

Statistics

Publications

Citations

1.3K

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 computer science, computing, and programming languages.

Publications per year

2009–2021

Publications

The multikernel

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

Computing, Computer Systems, High-performance Computing +17

Fully abstract compilation to JavaScript

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

Computing, Computer Science, Compilers +13

The gentle art of levitation

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

Computing, Computer Science, Formal Methods +14

A formally verified compiler for Lustre

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

Computing, Computer Engineering, Computer Science +15

Coq

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

Computing, Computer Engineering, Computer Science +17

1–5 of 17