Sound compilation of reals-Reference-Cited by-同舟云学术

Sound compilation of reals

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Darulova Eva¹,Kuncak Viktor¹

Affiliation:

1. EPFL, Lausanne, Switzerland

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2535838.2535874

Reference54 articles.

1. Caliper open source framework. http://code.google.com/p/caliper/. Caliper open source framework. http://code.google.com/p/caliper/.

2. To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems

3. Automatic verification of control system implementations

4. Multi-Prover Verification of Floating-Point Programs

5. D. H. Bailey Y. Hida X. S. Li and B. Thompson. C++/Fortran-90 double-double and quad-double package. http://crdlegacy.lbl.gov/?dhbailey/mpdist/ 2013. D. H. Bailey Y. Hida X. S. Li and B. Thompson. C++/Fortran-90 double-double and quad-double package. http://crdlegacy.lbl.gov/?dhbailey/mpdist/ 2013.

Cited by 91 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0;Lecture Notes in Computer Science;2024-09-13

2. Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Numerical Fuzz: A Type System for Rounding Error Analysis;Proceedings of the ACM on Programming Languages;2024-06-20

4. SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories;Proceedings of the ACM on Programming Languages;2024-06-20

5. Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs;Proceedings of the ACM on Programming Languages;2023-10-16