Login / Signup
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.
Edward Misback
Caleb Chan
Brett Saiki
Eunice Jun
Zachary Tatlock
Pavel Panchekha
Published in:
CoRR (2023)
Keyphrases
</>
floating point
fixed point
square root
instruction set
sparse matrices
floating point arithmetic
interval arithmetic
computer vision
data structure
data management
signal processing
data processing
constraint satisfaction
conjunctive queries
fast fourier transform