Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joao Rivera
conf.researchr.org general profile
CGO 2021 profile
CGO 2022 profile
ECOOP 2022 profile
PLDI 2024 profile
Registered user since Thu 9 Dec 2021
Name:
Joao Rivera
Country:
Switzerland
Affiliation:
ETH Zurich
Contributions
2024
PLDI
Author of Floating-Point TVPI Abstract Domain within the PLDI Research Papers-track
2022
ECOOP
Author of A Compiler for Sound Floating-Point Computations within the Hub Talks-track
CGO
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of A Compiler for Sound Floating-Point Computations using Affine Arithmetic within the Main Conference-track
2021
CGO
Author of An Interval Compiler for Sound Floating Point Computations within the Main Conference-track
Share
x
Tue 20 May 22:07
