Kenji Maillard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Divide and Check: Logical Relations, No Algorithms Attached. | Josselin Poiret, Kenji Maillard, Nicolas Tabareau |
| 2024 | CPP | Martin-Lf la Coq. | Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pdrot, Loc Pujet |
| 2024 | ESOP | Definitional Functoriality for Dependent (Sub)Types. | Tho Laurent, Meven Lennon-Bertrand, Kenji Maillard |
| 2024 | ESOP | Artifact Description - Definitional Functoriality for Dependent (Sub)Types. | Tho Laurent, Meven Lennon-Bertrand, Kenji Maillard |
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | POPL | Dijkstra monads for free. | Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martnez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
| 2015 | LICS | A Fibrational Account of Local States. | Kenji Maillard, Paul-Andr Mellis |