Login / Signup

Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact).

Heiko BeckerRobert RabeEva DarulovaMagnus O. MyreenZachary TatlockRamana KumarYong Kiam TanAnthony C. J. Fox
Published in: Dagstuhl Artifacts Ser. (2022)
Keyphrases
  • real numbers
  • floating point
  • interval arithmetic
  • square root
  • fixed point
  • sparse matrices
  • optimization process
  • instruction set
  • reinforcement learning
  • post processing
  • fast fourier transform