Bugfind: a tool for debugging optimizing compilers-Reference-Cited by-同舟云学术

Bugfind: a tool for debugging optimizing compilers

Published:1990-01-03 Issue:1 Volume:25 Page:17-22
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Caron J. M.¹,Darnell P. A.¹

Affiliation:

1. Stellar Computer, 85 Wells Ave, Newton, MA

Abstract

This paper describes a tool for isolating modules that are compiled incorrectly when optimization is invoked. This tool benefits application developers by automatically compiling each module to its highest level of correct optimization. It benefits compiler writers by pinpointing failing modules.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

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

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

1. Differential Optimization Testing of Gremlin-Based Graph Database Systems;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

2. FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2023-11-11

3. Facilitating the Bootstrapping of a New ISA;Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2023-06-13

4. LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM;IEEE Transactions on Reliability;2022-06

5. Isolating Compiler Optimization Faults via Differentiating Finer-grained Options;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03