Publications

Filtered as: all types - all years - all authors - keyword: Floating-point arithmetic
Corresponding bibtex list 

---

1. Joao Rivera, Franz Franchetti and Markus Püschel
   Floating Point TVPI Abstract Domain
   Proceedings of the ACM on Programming Languages – PACMPL, Vol. 8PLDI, 2024
   
2. Joao Rivera, Franz Franchetti and Markus Püschel
   A Compiler for Sound Floating-Point Computations using Affine Arithmetic
   Proc. International Symposium on Code Generation and Optimization (CGO), 2022
   
3. Joao Rivera, Franz Franchetti and Markus Püschel
   An Interval Compiler for Sound Floating Point Computations
   Proc. International Symposium on Code Generation and Optimization (CGO), 2021
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007