Publications

Filtered as: all types - all years - author: Rivera, Joao - all keywords
Sorted by: keyword
Corresponding
bibtex list 

Affine arithmetic 

  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

Compiler 

  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

Fast Fourier Transform 

  1. Z. Gong, N. Zhu, M. Ngaw, Joao Rivera, L. Tang, E. Tang, H. Mankad and Franz Franchetti
    Interval Arithmetic-based FFT for Large Integer Multiplication
    Proc. High Performance Extreme Computing (HPEC), 2022

FFT 

  1. Z. Gong, N. Zhu, M. Ngaw, Joao Rivera, L. Tang, E. Tang, H. Mankad and Franz Franchetti
    Interval Arithmetic-based FFT for Large Integer Multiplication
    Proc. High Performance Extreme Computing (HPEC), 2022

Floating-point arithmetic 

  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

Large integer multiplication 

  1. Z. Gong, N. Zhu, M. Ngaw, Joao Rivera, L. Tang, E. Tang, H. Mankad and Franz Franchetti
    Interval Arithmetic-based FFT for Large Integer Multiplication
    Proc. High Performance Extreme Computing (HPEC), 2022
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007