Publications

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

Franchetti, Franz 

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
   

Püschel, Markus 

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
   

Rivera, Joao 

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