Maxime Jacquemin

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Abstract Interpretation

Database Applications

Improved Accuracy

Top Venues

Publications

Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles
Runtime Abstract Interpretation for Numerical Accuracy and Robustness. VMCAI (2021)
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine
Abstract Compilation for Verification of Numerical Accuracy Properties. CoRR (2019)
Maxime Jacquemin, Sylvie Putot, Franck Védrine
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. SAS (2018)