LifeJacket: verifying precise floating-point optimizations in LLVM-Reference-Cited by-同舟云学术

LifeJacket: verifying precise floating-point optimizations in LLVM

Published:2016-06-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
language:
Short-container-title:

Author:

Nötzli Andres¹,Brown Fraser¹

Affiliation:

1. Stanford University, USA

Funder

Defense Advanced Research Projects Agency

DJYBJ

Publisher

ACM

Link

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

Reference19 articles.

1. Souper. https://github.com/google/souper. Souper. https://github.com/google/souper.

2. LLVM language reference manual. http://llvm.org/releases/ 3.7.1/docs/LangRef.html 2016. LLVM language reference manual. http://llvm.org/releases/ 3.7.1/docs/LangRef.html 2016.

3. Verified Compilation of Floating-Point Computations

4. Optgen: A Generator for Local Optimizations

5. Sound compilation of reals

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

1. Speeding up SMT Solving via Compiler Optimization;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Pattern-Based Peephole Optimizations with Java JIT Tests;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

3. Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03

4. On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification;IEEE Transactions on Intelligent Transportation Systems;2022-11

5. FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC;2022 IEEE International Symposium on Workload Characterization (IISWC);2022-11