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
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