default search action
Pierre-Évariste Dagand
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [e1]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]Pierre Nigron, Pierre-Évariste Dagand:
Reaching for the Star: Tale of a Monad in Coq. ITP 2021: 29:1-29:19 - 2020
- [c18]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]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]Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset:
Intermittent Computing with Peripherals, Formally Verified. LCTES 2020: 85-96 - [i7]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]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
- 2019
- [c15]Darius Mercadier, Pierre-Évariste Dagand:
Usuba: high-throughput and constant-time ciphers, by construction. PLDI 2019: 157-173 - [i5]Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer:
Dependent Pearl: Normalization by realizability. CoRR abs/1908.09123 (2019) - [i4]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]Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
Foundations of dependent interoperability. J. Funct. Program. 28: e9 (2018) - [c14]Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller:
Usuba: Optimizing & Trustworthy Bitslicing Compiler. WPMVP@PPoPP 2018: 4:1-4:8 - 2017
- [j3]Pierre-Évariste Dagand:
The essence of ornaments. J. Funct. Program. 27: e9 (2017) - [c13]Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra:
Type-directed diffing of structured data. TyDe@ICFP 2017: 2-15 - [c12]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]Arthur Blot, Pierre-Évariste Dagand, Julia Lawall:
From Sets to Bits in Coq. FLOPS 2016: 12-28 - [c10]Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
Partial type equivalences for verified dependent interoperability. ICFP 2016: 298-310 - 2014
- [j2]Pierre-Évariste Dagand, Conor McBride:
Transporting functions across ornaments. J. Funct. Program. 24(2-3): 316-383 (2014) - [c9]Thomas Williams, Pierre-Évariste Dagand, Didier Rémy:
Ornaments in practice. WGP@ICFP 2014: 15-24 - 2013
- [b1]Pierre-Évariste Dagand:
A cosmology of datatypes : reusability and dependent types. University of Strathclyde, Glasgow, UK, 2013 - [c8]Pierre-Évariste Dagand, Conor McBride:
A Categorical Treatment of Ornaments. LICS 2013: 530-539 - [c7]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]Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand:
Coq: the world's best macro assembler? PPDP 2013: 13-24 - 2012
- [c5]Pierre-Évariste Dagand, Conor McBride:
Transporting functions across ornaments. ICFP 2012: 103-114 - [i3]Pierre-Évariste Dagand, Conor McBride:
Transporting Functions across Ornaments. CoRR abs/1201.4801 (2012) - [i2]Pierre-Évariste Dagand, Conor McBride:
Elaborating Inductive Definitions. CoRR abs/1210.6390 (2012) - [i1]Pierre-Évariste Dagand, Conor McBride:
A Categorical Treatment of Ornaments. CoRR abs/1212.3806 (2012) - 2010
- [c4]James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris:
The gentle art of levitation. ICFP 2010: 3-14
2000 – 2009
- 2009
- [j1]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]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]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]Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak:
Opis: reliable distributed systems in OCaml. TLDI 2009: 65-78
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint