• Sign in
  • Sign up
conf.researchr.org / Pierre-Yves Strub
  • ICFP 2017 profile
  • ICFP 2019 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • POPL 2023 profile
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

Share
xFri 24 Mar 16:34
using conf.researchr.org (v1.59.1)
Support page
Sign Up