Software Projects
POPinns (2024)
Fixed-point program synthesis tool for neural networks.
Tags: Fixed-Point · Neural Networks
POPiX (2023)
Fixed-point program synthesis tool based on static analysis.
Tags: Fixed-Point · Static Analysis
Candy (2022)
C++ library for floating-point cancellation detection.
Tags: C++ · Floating-Point arithmetic, pitfalls
POP (2019 - 2021 )
Static tool for floating-point precision tuning.
Tags: Floating-Point arithmetic· Precision tuning