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

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

Education

Bachelor (B.Sc.) in Electronic Engineering, Instituto Tecnológico y de Estudios Superiores de Occidente, Mexico December 2013
Master (M.Sc.) in Embedded Systems, Eindhoven University of Technology, The Netherlands August 2017