Floating-Point TVPI Abstract Domain.
Proc. ACM Program. Lang., 2024
A Compiler for Sound Floating-Point Computations using Affine Arithmetic.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
An Interval Compiler for Sound Floating-Point Computations.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021