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.
Publications
2022
A Compiler for Sound Floating Point Computations using Affine Arithmetic
Joao Rivera, Franz Franchetti, Markus Püschel
to appear in Proc. Code Generation and Optimization (CGO), 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