1. Progressive polynomial approximations for fast correctly rounded math libraries
2. A dynamic program analysis to find floating-point accuracy problems
3. S. Chevillard, M. Joldeş, and C. Lauter. 2010. Sollya: An Environment for the Development of Numerical Codes. In Mathematical Software - ICMS 2010, K. Fukuda, J. van der Hoeven, M. Joswig, and N. Takayama (Eds.) (Lecture Notes in Computer Science, Vol. 6327). Springer, Heidelberg, Germany. 28–31.
4. Efficient search for inputs causing high floating-point errors
5. George Constantinides, Fredrik Dahlqvist, Zvonimir Rakamarić, and Rocco Salvia. 2021. Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. In Computer Aided Verification, Alexandra Silva and K. Rustan M. Leino (Eds.). Springer International Publishing, Cham. 626–650. isbn:978-3-030-81688-9