Registered user since Mon 27 Jan 2020

Name:Kenji Maillard
Affiliation:Inria Nantes & University of Chile
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