Author:
Becker Heiko,Panchekha Pavel,Darulova Eva,Tatlock Zachary
Publisher
Springer International Publishing
Reference23 articles.
1. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A., Kroening, D. (eds.) International Workshop on Satisfiability Modulo Theories, Edinburgh, UK (2010)
2. Becker, H., Panchekha, P., Darulova, E., Tatlock, Z.: Combining tools for optimization and analysis of floating-point computations. arXiv preprint arXiv:1805.02436 (2018)
3. Chiang, W.F., Baranowski, M., Briggs, I., Solovyev, A., Gopalakrishnan, G., Rakamarić, Z.: Rigorous floating-point mixed-precision tuning. In: Symposium on Principles of Programming Languages (POPL), pp. 300–315. ACM (2017)
4. Chiang, W.F., Gopalakrishnan, G., Rakamaric, Z., Solovyev, A.: Efficient search for inputs causing high floating-point errors. In: Symposium on Principles and Practice of Parallel Programming (PPoPP), vol. 49, pp. 43–52. ACM (2014)
5. Lecture Notes in Computer Science;N Damouche,2015
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. VCFloat2: Floating-Point Error Analysis in Coq;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Model Checking Linear Dynamical Systems under Floating-point Rounding;Tools and Algorithms for the Construction and Analysis of Systems;2023
3. Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software;Intelligent Systems Reference Library;2023
4. The Laplace Microarchitecture for Tracking Data Uncertainty and Its Implementation in a RISC-V Processor;MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture;2021-10-17
5. Combining Precision Tuning and Rewriting;2021 IEEE 28th Symposium on Computer Arithmetic (ARITH);2021-06