Pierre-Evariste Dagand
Pierre-Evariste Dagand
CNRS - Inria
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
The multikernel: a new OS architecture for scalable multicore systems
A Baumann, P Barham, PE Dagand, T Harris, R Isaacs, S Peter, T Roscoe, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
10552009
Fully abstract compilation to JavaScript
C Fournet, N Swamy, J Chen, PE Dagand, PY Strub, B Livshits
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
1152013
The gentle art of levitation
J Chapman, PÉ Dagand, C McBride, P Morris
ACM Sigplan Notices 45 (9), 3-14, 2010
892010
Transporting functions across ornaments
PE Dagand, C McBride
ACM SIGPLAN Notices 47 (9), 103-114, 2012
592012
Coq: the world's best macro assembler?
A Kennedy, N Benton, JB Jensen, PE Dagand
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
492013
A formally verified compiler for Lustre
T Bourke, L Brun, PÉ Dagand, X Leroy, M Pouzet, L Rieg
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
422017
Filet-o-Fish: practical and dependable domain-specific languages for OS development
PE Dagand, A Baumann, T Roscoe
Proceedings of the Fifth Workshop on Programming Languages and Operating …, 2009
372009
A categorical treatment of ornaments
PE Dagand, C McBride
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 530-539, 2013
202013
Ornaments in practice
T Williams, PÉ Dagand, D Rémy
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 15-24, 2014
182014
Foundations of dependent interoperability
PE Dagand, N Tabareau, É Tanter
Journal of Functional Programming 28, 2018
172018
Type-directed diffing of structured data
VC Miraldo, PÉ Dagand, W Swierstra
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven …, 2017
142017
Elaborating inductive definitions
PE Dagand, C McBride
arXiv preprint arXiv:1210.6390, 2012
142012
Tornado: Automatic generation of probing-secure masked bitsliced implementations
S Belaïd, PÉ Dagand, D Mercadier, M Rivain, R Wintersdorff
Annual International Conference on the Theory and Applications of …, 2020
122020
Normalization by realizability also evaluates
PÉ Dagand, G Scherer
112015
Opis: Reliable distributed systems in OCaml
PÉ Dagand, D Kostić, V Kuncak
Proceedings of the 4th international workshop on Types in language design …, 2009
112009
The essence of ornaments.
PÉ Dagand
J. Funct. Program. 27, e9, 2017
102017
Partial type equivalences for verified dependent interoperability
PE Dagand, N Tabareau, É Tanter
ACM SIGPLAN Notices 51 (9), 298-310, 2016
92016
Partially redundant fence elimination for x86, ARM, and Power processors
R Morisset, F Zappa Nardelli
Proceedings of the 26th International Conference on Compiler Construction, 1-10, 2017
82017
A cosmology of datatypes
PE Dagand
PhD thesis, University of Strathclyde, 2013
82013
Usuba: optimizing & trustworthy bitslicing compiler
D Mercadier, PÉ Dagand, L Lacassagne, G Muller
Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector …, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20