default search action

combined dblp search
author search
venue search
publication search

ask others

Pierre-Évariste Dagand

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2023tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2023tyde
Youyou Cong, Pierre-Évariste Dagand:
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023. ACM 2023 [contents]
2021
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/NigronD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/NigronD21
Pierre Nigron, Pierre-Évariste Dagand:
Reaching for the Star: Tale of a Monad in Coq. ITP 2021: 29:1-29:19
2020
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cosade/KiaeiMDHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cosade/KiaeiMDHS20
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont:
Custom Instruction Support for Modular Defense Against Side-Channel and Fault Attacks. COSADE 2020: 221-253
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocrypt/BelaidDMRW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocrypt/BelaidDMRW20
Sonia Belaïd, Pierre-Évariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff:
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. EUROCRYPT (3) 2020: 311-341
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/BerthouDDOR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/BerthouDDOR20
Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset:
Intermittent Computing with Peripherals, Formally Verified. LCTES 2020: 85-96
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/KiaeiMDHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/KiaeiMDHS20
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont:
Custom Instruction Support for Modular Defense against Side-channel and Fault Attacks. IACR Cryptol. ePrint Arch. 2020: 466 (2020)
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BelaidDMRW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BelaidDMRW20
Sonia Belaïd, Pierre-Évariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff:
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. IACR Cryptol. ePrint Arch. 2020: 506 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MercadierD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MercadierD19
Darius Mercadier, Pierre-Évariste Dagand:
Usuba: high-throughput and constant-time ciphers, by construction. PLDI 2019: 157-173
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-09123
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-09123
Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer:
Dependent Pearl: Normalization by realizability. CoRR abs/1908.09123 (2019)
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/KiaeiMDHS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/KiaeiMDHS19
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont:
SKIVA: Flexible and Modular Side-channel and Fault Countermeasures. IACR Cryptol. ePrint Arch. 2019: 756 (2019)
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/DagandTT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/DagandTT18
Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
Foundations of dependent interoperability. J. Funct. Program. 28: e9 (2018)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/MercadierDLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/MercadierDLM18
Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller:
Usuba: Optimizing & Trustworthy Bitslicing Compiler. WPMVP@PPoPP 2018: 4:1-4:8
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Dagand17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Dagand17
Pierre-Évariste Dagand:
The essence of ornaments. J. Funct. Program. 27: e9 (2017)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MiraldoDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MiraldoDS17
Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra:
Type-directed diffing of structured data. TyDe@ICFP 2017: 2-15
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BourkeBDLPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BourkeBDLPR17
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg:
A formally verified compiler for Lustre. PLDI 2017: 586-601
2016
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/BlotDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/BlotDL16
Arthur Blot, Pierre-Évariste Dagand, Julia Lawall:
From Sets to Bits in Coq. FLOPS 2016: 12-28
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/DagandTT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/DagandTT16
Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
Partial type equivalences for verified dependent interoperability. ICFP 2016: 298-310
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/DagandM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/DagandM14
Pierre-Évariste Dagand, Conor McBride:
Transporting functions across ornaments. J. Funct. Program. 24(2-3): 316-383 (2014)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/WilliamsDR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/WilliamsDR14
Thomas Williams, Pierre-Évariste Dagand, Didier Rémy:
Ornaments in practice. WGP@ICFP 2014: 15-24
2013
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Dagand13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Dagand13
Pierre-Évariste Dagand:
A cosmology of datatypes : reusability and dependent types. University of Strathclyde, Glasgow, UK, 2013
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/DagandM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/DagandM13
Pierre-Évariste Dagand, Conor McBride:
A Categorical Treatment of Ornaments. LICS 2013: 530-539
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FournetSCDSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FournetSCDSL13
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits:
Fully abstract compilation to JavaScript. POPL 2013: 371-384
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/KennedyBJD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/KennedyBJD13
Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand:
Coq: the world's best macro assembler? PPDP 2013: 13-24
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/DagandM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/DagandM12
Pierre-Évariste Dagand, Conor McBride:
Transporting functions across ornaments. ICFP 2012: 103-114
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-4801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-4801
Pierre-Évariste Dagand, Conor McBride:
Transporting Functions across Ornaments. CoRR abs/1201.4801 (2012)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-6390
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-6390
Pierre-Évariste Dagand, Conor McBride:
Elaborating Inductive Definitions. CoRR abs/1210.6390 (2012)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1212-3806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3806
Pierre-Évariste Dagand, Conor McBride:
A Categorical Treatment of Ornaments. CoRR abs/1212.3806 (2012)
2010
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ChapmanDMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ChapmanDMM10
James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris:
The gentle art of levitation. ICFP 2010: 3-14

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/DagandBR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/DagandBR09
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe:
Filet-o-fish: practical and dependable domain-specific languages for OS development. ACM SIGOPS Oper. Syst. Rev. 43(4): 35-39 (2009)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/DagandBR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/DagandBR09
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe:
Filet-o-Fish: practical and dependable domain-specific languages for OS development. PLOS@SOSP 2009: 5:1-5:5
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/BaumannBDHIPRSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/BaumannBDHIPRSS09
Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania:
The multikernel: a new OS architecture for scalable multicore systems. SOSP 2009: 29-44
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/DagandKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/DagandKK09
Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak:
Opis: reliable distributed systems in OCaml. TLDI 2009: 65-78

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.