• 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

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
xFri 22 Sep 23:27
using conf.researchr.org (v1.62.0)
Support page
Sign Up