Franz Franchetti -

Registered user since Tue 14 Jun 2016

Name:Franz Franchetti

Affiliation:Carnegie Mellon University, USA

Contributions

ECOOP 2022	Author of A Compiler for Sound Floating-Point Computations within the Hub Talks-track
CGO 2022	Author of A Compiler for Sound Floating-Point Computations using Affine Arithmetic within the Main Conference-track
CGO 2021	Author of An Interval Compiler for Sound Floating Point Computations within the Main Conference-track
WPMVP 2020	Committee Member in Program Committee within the WPMVP 2020-track
WPMVP 2019	Program Committee in Program Committee within the WPMVP 2019-track
FHPC 2018	Author of HELIX: A Case Study of a Formal Verification of High Performance Program Generation within the FHPC 2018-track
WPMVP 2018	Committee Member in Program Committee within the WPMVP 2018-track
ARRAY 2017	Committee Member in Program Committee within the ARRAY 2017-track
PLDI 2017	Committee Member in Program Committee
WPMVP 2016	Committee Member in Program Committee within the WPMVP 2016-track