1. Rosa Abbasi and Eva Darulova. 2023. Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. In Static Analysis Manuel V. Hermenegildo and José F. Morales (Eds.). Springer Nature Switzerland 41-64. isbn:978-3-031-44245-2 https://doi.org/10.1007/978-3-031-44245-2_4 10.1007/978-3-031-44245-2_4 10.1007/978-3-031-44245-2_4
2. Rosa Abbasi and Eva Darulova. 2023. Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. In Static Analysis Manuel V. Hermenegildo and José F. Morales (Eds.). Springer Nature Switzerland 41-64. isbn:978-3-031-44245-2 https://doi.org/10.1007/978-3-031-44245-2_4 10.1007/978-3-031-44245-2_4
3. Andrew W. Appel . 2011 . Verified Software Toolchain. In ESOP’11: European Symposium on Programming, Gilles Barthe (Ed.) (LNCS , Vol. 6602). Springer, 1– 17 . https://doi.org/10.1007/978-3-642-19718-5_1 10.1007/978-3-642-19718-5_1 10.1007/978-3-642-19718-5_1 Andrew W. Appel. 2011. Verified Software Toolchain. In ESOP’11: European Symposium on Programming, Gilles Barthe (Ed.) (LNCS, Vol. 6602). Springer, 1–17. https://doi.org/10.1007/978-3-642-19718-5_1 10.1007/978-3-642-19718-5_1
4. Andrew W. Appel . 2023 . VSTlib: Library Components for Verified C Programs. In Coq Workshop 2023 , Yves Bertot and Enrico Tassi (Eds.). 4 pages. https://coq-workshop.gitlab.io/ 2023/abstracts/coq2023_vstlib.pdf Andrew W. Appel. 2023. VSTlib: Library Components for Verified C Programs. In Coq Workshop 2023, Yves Bertot and Enrico Tassi (Eds.). 4 pages. https://coq-workshop.gitlab.io/2023/abstracts/coq2023_vstlib.pdf