VLDB 2026 Research / reviewers in the wild / expert

Paul Bonnot

dblp:401/4934 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2026 Formally verified roundoff error bounds on LogSumExp-based computations
Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft
 Formal Methods Syst. Des.1
2024 Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function
abstract
International audience
Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft
 FMCAD1