Pierre-variste Dagand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
11
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | APLAS | Random-Access Lists, from EE to FP. | Titouan Quennet, Pierre-variste Dagand |
| 2021 | ITP | Reaching for the Star: Tale of a Monad in Coq. | Pierre Nigron, Pierre-variste Dagand |
| 2020 | EuroCrypt | Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. | Sonia Belad, Pierre-variste Dagand, Darius Mercadier, Matthieu Rivain, Raphal Wintersdorff |
| 2019 | PLDI | Usuba: high-throughput and constant-time ciphers, by construction. | Darius Mercadier, Pierre-variste Dagand |
| 2018 | PPoPP | Usuba: Optimizing & Trustworthy Bitslicing Compiler. | Darius Mercadier, Pierre-variste Dagand, Lionel Lacassagne, Gilles Muller |
| 2017 | ICFP | Type-directed diffing of structured data. | Victor Cacciari Miraldo, Pierre-variste Dagand, Wouter Swierstra |
| 2017 | PLDI | A formally verified compiler for Lustre. | Timothy Bourke, Llio Brun, Pierre-variste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg |
| 2016 | FLOPS | From Sets to Bits in Coq. | Arthur Blot, Pierre-variste Dagand, Julia Lawall |
| 2016 | ICFP | Partial type equivalences for verified dependent interoperability. | Pierre-variste Dagand, Nicolas Tabareau, ric Tanter |
| 2014 | ICFP | Ornaments in practice. | Thomas Williams, Pierre-variste Dagand, Didier Rmy |
| 2013 | LICS | A Categorical Treatment of Ornaments. | Pierre-variste Dagand, Conor McBride |
| 2013 | POPL | Fully abstract compilation to JavaScript. | Cdric Fournet, Nikhil Swamy, Juan Chen, Pierre-variste Dagand, Pierre-Yves Strub, Benjamin Livshits |
| 2013 | PPDP | Coq: the world's best macro assembler? | Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-variste Dagand |
| 2012 | ICFP | Transporting functions across ornaments. | Pierre-variste Dagand, Conor McBride |
| 2010 | ICFP | The gentle art of levitation. | James Chapman, Pierre-variste Dagand, Conor McBride, Peter Morris |
| 2009 | SOSP | The multikernel: a new OS architecture for scalable multicore systems. | Andrew Baumann, Paul Barham, Pierre-variste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schpbach, Akhilesh Singhania |
| 2009 | SOSP | Filet-o-Fish: practical and dependable domain-specific languages for OS development. | Pierre-variste Dagand, Andrew Baumann, Timothy Roscoe |