Sign in
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.
Edward Misback
Caleb C. Chan
Brett Saiki
Eunice Jun
Zachary Tatlock
Pavel Panchekha
Published in:
UIST (2023)
Keyphrases
</>
floating point
square root
fixed point
sparse matrices
instruction set
interval arithmetic
computer vision
data structure
conjunctive queries