Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Exequiel Rivas
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2023 profile
ICFP/SPLASH 2025 profile
POPL 2024 profile
Registered user since Sat 28 Jun 2025
Name:
Exequiel Rivas
Affiliation:
Tallinn University of Technology; Ahrefs
Contributions
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
Share
x
Sat 25 Oct 14:35