Publications

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

2022 

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
   

2021 

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