Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Franz Franchetti
conf.researchr.org general profile
CGO 2021 profile
CGO 2022 profile
ECOOP 2022 profile
ICFP 2018 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
PPoPP 2020 profile
PPoPP 2016 profile
PPoPP 2018 profile
PPoPP 2019 profile
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
Share
x
Tue 6 Jun 08:17