• Sign in
  • Sign up
conf.researchr.org / Franz Franchetti
  • 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
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
WPMVP 2016 Committee Member in Program Committee within the WPMVP 2016-track
PLDI 2017 Committee Member in Program Committee

Share
xTue 24 May 04:52
using conf.researchr.org (v1.55.6)
Support page
Sign Up