Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pierre-Yves Strub
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2019 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
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
Share
x
Fri 24 Mar 16:34