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 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2025 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
2025
TPSA
Author of Towards Semantics Lifting for Scientific Computing: A Case Study on FFT within the TPSA 2025-track
2024
PLDI
Author of Floating-Point TVPI Abstract Domain within the PLDI Research Papers-track
2022
ECOOP
Author of A Compiler for Sound Floating-Point Computations within the Hub Talks-track
CGO
Author of A Compiler for Sound Floating-Point Computations using Affine Arithmetic within the Main Conference-track
2021
CGO
Author of An Interval Compiler for Sound Floating Point Computations within the Main Conference-track
2020
WPMVP
Committee Member in Program Committee within the WPMVP 2020-track
2019
WPMVP
Program Committee in Program Committee within the WPMVP 2019-track
2018
FHPNC
Author of HELIX: A Case Study of a Formal Verification of High Performance Program Generation within the FHPC 2018-track
WPMVP
Committee Member in Program Committee within the WPMVP 2018-track
2017
ARRAY
Committee Member in Program Committee within the ARRAY 2017-track
PLDI
Committee Member in Program Committee
2016
WPMVP
Committee Member in Program Committee within the WPMVP 2016-track
Share
x
Sun 22 Dec 02:22
