Achieving high coverage for floating-point code via unconstrained programming.
Zhoulai FuZhendong SuPublished in: PLDI (2017)
Keyphrases
- floating point
- achieving high
- program code
- fixed point
- square root
- program understanding
- fully functional
- oracle database g express edition
- programming language
- graphics processing units
- code generation
- sparse matrices
- source code
- instruction set
- fast fourier transform
- code examples
- reinforcement learning
- object oriented programming
- interval arithmetic
- low cost
- search space
- floating point arithmetic
- data structure