Login / Signup
Oracle-free repair synthesis for floating-point programs.
Daming Zou
Yuchen Gu
Yuanfeng Shi
Mingzhe Wang
Yingfei Xiong
Zhendong Su
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
floating point
functional programs
fixed point
square root
sparse matrices
oracle database
fast fourier transform
program synthesis
instruction set
interval arithmetic
database
database systems
parallel computing
floating point arithmetic