Software:

  • POPiNN : a fixed-point program synthesis tool for neural networks.
  • POPiX : a fixed-point program synthesis tool based on static analysis [version 1] [version 2].
  • Candy : a C++ library for dynamic floating-point cancellation detection.
  • POP : a static tool for precision tuning.