• Sign in
  • Sign up
conf.researchr.org / Joao Rivera
  • CGO 2021 profile
  • CGO 2022 profile
  • ECOOP 2022 profile
  • PLDI 2024 profile
Joao Rivera

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
xTue 20 May 22:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up