Sign in
Joao Rivera
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Interval Arithmetic
Instruction Set
Floating Point Unit
Sparse Matrices
Top Venues
CGO
</>
Publications
</>
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)