Sign in

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.

Edward MisbackCaleb C. ChanBrett SaikiEunice JunZachary TatlockPavel Panchekha
Published in: UIST (2023)
Keyphrases
  • floating point
  • square root
  • fixed point
  • sparse matrices
  • instruction set
  • interval arithmetic
  • computer vision
  • data structure
  • conjunctive queries