Joao Rivera

I am a PhD student supervised by Markus Püschel. My research focuses on applying compiler techniques to improve accuracy and performance of reliable floating point computations. I currently collaborate with Franz Franchetti from CMU.


CAB H 65





Publications

2024

Floating-Point TVPI Abstract Domain
Joao Rivera, Franz Franchetti, Markus Püschel
Proc. Programming Languages Design and Implementation (PLDI), 2024

2022

A Compiler for Sound Floating Point Computations using Affine Arithmetic
Joao Rivera, Franz Franchetti, Markus Püschel
Proc. Code Generation and Optimization (CGO), pp. 66-78, 2022

2021

An Interval Compiler for Sound Floating Point Computations
Joao Rivera, Franz Franchetti, Markus Püschel
Proc. Code Generation and Optimization (CGO), pp. 52-64, 2021

2018

An Efficient Algorithm to Determine Probabilistic Bisimulations
Jan Friso Groote, Joao Rivera, Erik de Vink
Algorithms Journal 11(9)

2017

Best-Case Response Times of Real-Time Tasks under Fixed-Priority Scheduling with Preemption Thresholds
Joao Rivera, Reinder J. Bril
Proc. 25th International Conference on Real-Time Networks and Systems