Joao Rivera

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Floating Point Unit

Instruction Set

Interval Arithmetic

Fast Fourier Transform

Top Venues

Proc. ACM Program. Lang.

Publications

Joao Rivera, Franz Franchetti, Markus Püschel
Floating-Point TVPI Abstract Domain. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Joao Rivera, Franz Franchetti, Markus Püschel
A Compiler for Sound Floating-Point Computations using Affine Arithmetic. CGO (2022)
Joao Rivera, Franz Franchetti, Markus Püschel
An Interval Compiler for Sound Floating-Point Computations. CGO (2021)