Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Exequiel Rivas
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2023 profile
POPL 2024 profile
Not registered as user yet
Name:
Exequiel Rivas
Affiliation:
Tallinn University of Technology
Contributions
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
Tue 3 Dec 17:59