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
2023
POPL
Author of CoqQ: Foundational Verification of Quantum Programs within the POPL-track
CPP
Author of A Formal Disproof of Hirsch Conjecture within the CPP 2023-track
2022
CPP
Author of A Drag-and-Drop Proof Tactic within the CPP 2022-track
2020
POPL
Committee Member in Program Committee within the Research Papers-track
2019
ICFP
Committee Member in Program Committee within the Research Papers-track
2018
CPP
Committee Member in Program Committee within the CPP 2018-track
POPL
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
2017
ICFP
Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL
Author of Coupling proofs are probabilistic product programs within the POPL-track
CoqPL
Committee Member in Program Committee within the CoqPL 2017-track
2016
POPL
Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track
CPP
Author of Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials within the CPP-track
Share
x
Tue 3 Dec 18:05
