Publications

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

Affine arithmetic 

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
   

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