Publications

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

Journal 

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
   

Conference (fully reviewed) 

1. 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
   
2. 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