• Sign in
  • Sign up
conf.researchr.org / Ian Briggs
  • PLDI 2022 profile
  • POPL 2024 profile
No Photo

Registered user since Sat 9 Apr 2022

Name:Ian Briggs
Affiliation:University of Utah

Contributions

2024

POPL

  • Author of Implementation and Synthesis of Math Library Functions within the POPL-track

2022

EGRAPHS

  • Author of Synthesizing Mathematical Identities with E-graphs within the EGRAPHS 2022-track

PLDI

  • Author of Choosing Mathematical Function Implementations for Speed and Accuracy within the PLDI-track
Share
xTue 20 May 14:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up