Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dagand, Pierre-Évariste
82  Ergebnisse:
Personensuche X
?
1

Proceedings of the 8th ACM SIGPLAN International Workshop o..:

Cong, Youyou ; Dagand, Pierre-Evariste , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Custom Instruction Support for Modular Defense Against Side..:

, In: Constructive Side-Channel Analysis and Secure Design; Lecture Notes in Computer Science,
Kiaei, Pantea ; Mercadier, Darius ; Dagand, Pierre-Evariste.. - p. 221-253 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Intermittent Computing with Peripherals, Formally Verified:

, In: The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems,
Berthou, Gautier ; Dagand, Pierre-Évariste ; Demange, Delphine.. - p. 85-96 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

Tornado: Automatic Generation of Probing-Secure Masked Bits..:

, In: Advances in Cryptology – EUROCRYPT 2020; Lecture Notes in Computer Science,
Belaïd, Sonia ; Dagand, Pierre-Évariste ; Mercadier, Darius.. - p. 311-341 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Usuba: high-throughput and constant-time ciphers, by constr..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Mercadier, Darius ; Dagand, Pierre-Évariste - p. 157-173 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Usuba : Optimizing & Trustworthy Bitslicing Compiler:

, In: Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing,
Mercadier, Darius ; Dagand, Pierre-Évariste ; Lacassagne, Lionel. - p. 1-8 , 2018
Link: https://dl.acm.org/doi/1..
 
?
7

Foundations of dependent interoperability:

DAGAND, PIERRE-ÉVARISTE ; TABAREAU, NICOLAS ; TANTER, ÉRIC
Journal of Functional Programming.  28 (2018)  - p. , 2018
Link: https://doi.org/10.1017/..
 
?
8

Type-directed diffing of structured data:

, In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development,
Miraldo, Victor Cacciari ; Dagand, Pierre-Évariste ; Swierstra, Wouter - p. 2-15 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

A formally verified compiler for Lustre:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Bourke, Timothy ; Brun, Lélio ; Dagand, Pierre-Évariste... - p. 586-601 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

A formally verified compiler for Lustre:

Bourke, Timothy ; Brun, Lélio ; Dagand, Pierre-Évariste...
ACM SIGPLAN Notices.  52 (2017)  6 - p. 586-601 , 2017
Link: https://doi.org/10.1145/..
 
?
11

The essence of ornaments:

DAGAND, PIERRE-EVARISTE
Journal of Functional Programming.  27 (2017)  - p. , 2017
Link: https://doi.org/10.1017/..
 
?
12

Partial type equivalences for verified dependent interopera..:

Dagand, Pierre-Evariste ; Tabareau, Nicolas ; Tanter, Éric
ACM SIGPLAN Notices.  51 (2016)  9 - p. 298-310 , 2016
Link: https://doi.org/10.1145/..
 
?
13

Partial type equivalences for verified dependent interopera..:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,
Dagand, Pierre-Evariste ; Tabareau, Nicolas ; Tanter, Éric - p. 298-310 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

Transporting functions across ornaments:

DAGAND, PIERRE-ÉVARISTE ; McBRIDE, CONOR
Journal of Functional Programming.  24 (2014)  2-3 - p. 316-383 , 2014
Link: https://doi.org/10.1017/..
 
?
15

Ornaments in practice:

, In: Proceedings of the 10th ACM SIGPLAN workshop on Generic programming,
Williams, Thomas ; Dagand, Pierre-Évariste ; Rémy, Didier - p. 15-24 , 2014
Link: https://dl.acm.org/doi/1..
 
1-15