Kenji Maillard

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 23

Top Venues

CoRR

Proc. ACM Program. Lang.

CPP

ESOP (1)

École Normale Supérieure, Paris, France (PHD)

Education History

École Normale Supérieure, Paris, France

PHD

Publications

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CPP (2024)
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Definitional Functoriality for Dependent (Sub)Types. CoRR (2023)
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CoRR (2023)
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
A reasonably gradual type theory. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
A Reasonably Gradual Type Theory. CoRR (2022)
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
Gradualizing the Calculus of Inductive Constructions. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. IACR Cryptol. ePrint Arch. 2021 (2021)
Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter
The Multiverse: Logical Modularity for Proof Assistants. CoRR (2021)
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. CSF (2021)
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
Gradualizing the Calculus of Inductive Constructions. CoRR (2020)
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
The next 700 relational program logics. Proc. ACM Program. Lang. 4 (POPL) (2020)
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
The Next 700 Relational Program Logics. CoRR (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra monads for all. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra Monads for All. CoRR (2019)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. CPP (2018)
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Recalling a witness: foundations and applications of monotonic state. Proc. ACM Program. Lang. 2 (POPL) (2018)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A Monadic Framework for Relational Verification (Functional Pearl). CoRR (2017)
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL (2017)
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Recalling a Witness: Foundations and Applications of Monotonic State. CoRR (2017)
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra monads for free. POPL (2017)
Kenji Maillard, Paul-André Melliès
A Fibrational Account of Local States. LICS (2015)

Kenji Maillard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kenji Maillard