Pierre-Yves Strub -

Registered user since Thu 17 Dec 2015

Name:Pierre-Yves Strub

Country:France

Affiliation:Meta

Personal website:https://www.strub.nu/

Contributions

POPL 2023	Author of CoqQ: Foundational Verification of Quantum Programs within the POPL-track
CPP 2023	Author of A Formal Disproof of Hirsch Conjecture within the CPP 2023-track
CPP 2022	Author of A Drag-and-Drop Proof Tactic within the CPP 2022-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
ICFP 2019	Committee Member in Program Committee within the Research Papers-track
CPP 2018	Committee Member in Program Committee within the CPP 2018-track
POPL 2018	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Author of Proving expected sensitivity of probabilistic programs within the Research Papers-track Author of Proving Expected Sensitivity of Probabilistic Programs within the Artifact Evaluation-track
ICFP 2017	Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL 2017	Author of Coupling proofs are probabilistic product programs within the POPL-track
CoqPL 2017	Committee Member in Program Committee within the CoqPL 2017-track
POPL 2016	Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track
CPP 2016	Author of Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials within the CPP-track