Termination-checking for LLVM peephole optimizations-Reference-Cited by-同舟云学术

Termination-checking for LLVM peephole optimizations

Published:2016-05-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th International Conference on Software Engineering
language:
Short-container-title:

Author:

Menendez David¹,Nagarakatte Santosh¹

Affiliation:

1. Rutgers University

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference39 articles.

1. LLVM PatternMatch. http://llvm.org/docs/doxygen/html/PatternMatch_8h.html. Retrieved 2016-02-12. LLVM PatternMatch. http://llvm.org/docs/doxygen/html/PatternMatch_8h.html. Retrieved 2016-02-12.

2. A. Balestrat. CCG: A random C code generator. https://github.com/Merkil/ccg/. Retrieved 2016-02-12. A. Balestrat. CCG: A random C code generator. https://github.com/Merkil/ccg/. Retrieved 2016-02-12.

3. Automatic generation of peephole superoptimizers

4. Optgen: A Generator for Local Optimizations

5. Looper: Lightweight Detection of Infinite Loops at Runtime

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

1. JOG: Java JIT Peephole Optimizations and Tests from Patterns;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

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. Large-scale analysis of non-termination bugs in real-world OSS projects;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

4. How software engineering research aligns with design science: a review;Empirical Software Engineering;2020-04-18

5. Loop Detection by Logically Constrained Term Rewriting;Lecture Notes in Computer Science;2018