---
author:
- |
    David Monniaux\
    CNRS / École normale supérieure[^1]
title: '[The pitfalls of verifying floating-point computations]{}'
---

[^1]: The author is now at CNRS / VERIMAG, Grenoble.
