Kenji Maillard -

Registered user since Mon 27 Jan 2020

Name:Kenji Maillard

Affiliation:Inria Nantes & University of Chile

Personal website:https://kenji.maillard.blue

Research interests:Programming languages, Proof assitants, Formal methods, Category theory

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
CPP 2023	Committee Member in Program Committee within the CPP 2023-track
HOPE 2022	Author of Temporal refinements for Call-By-Push-Value with fixpoint within the HOPE 2022-track
ICFP 2022	Author of A Reasonably Gradual Type Theory within the ICFP Papers and Events-track
POPL 2022	Author of Gradualizing the Calculus of Inductive Constructions within the POPL-track
CPP 2021	Author of Gradualizing the Calculus of Inductive Constructions within the Lightning Talks-track
CoqPL 2021	Committee Member in Program Committee within the CoqPL-track
POPL 2020	Author of The Next 700 Relational Program Logics within the Research Papers-track
ICFP 2019	Author of Dijkstra Monads for All within the Research Papers-track
PLDI 2019	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
HOPE 2018	Author of A preview of a tutorial on L (polarized μμ̃) within the HOPE 2018-track
CPP 2018	Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track
POPL 2018	Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track
HOPE 2017	Author of Recalling a Witness within the HOPE 2017-track
POPL 2017	Author of Dijkstra Monads for Free within the POPL-track