Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Exequiel Rivas
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2026 profile
ICFP/SPLASH 2025 profile
PLDI 2026 profile
POPL 2020 profile
POPL 2024 profile
POPL 2026 profile
Registered user since Sat 28 Jun 2025
Name:
Exequiel Rivas
Affiliation:
Tallinn University of Technology; Ahrefs
Contributions
2026
ICFP
Author of Misquoted No More: Securely Extracting F* Programs with IO within the ICFP Papers-track
PLDI
Author of [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software within the PLDI Research Papers-track
PriSC
Author of Towards formally secure compilation of verified F* programs against unverified ML contexts within the PriSC-track
2025
ICFP
Author of SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F* within the ICFP Papers-track
2024
POPL
Author of Securing Verified IO Programs Against Unverified Code in F* within the POPL-track
2023
Haskell
Committee Member in Program Committee within the Haskell 2023-track
2022
HOPE
Author of Verifying non-terminating programs with IO in F* within the HOPE 2022-track
2020
Haskell
Committee Member in Program Committee within the Haskell 2020-track
Session Chair of Paper Session 2 - Animations and Demonstrations (part of Haskell 2020)
POPL
Author of The Next 700 Relational Program Logics within the Research Papers-track
2019
ICFP
Author of Dijkstra Monads for All within the Research Papers-track
Share
x
Mon 13 Jul 13:47