共 50 条
- [42] GLOBAL OPTIMIZATIONS IN A PROLOG COMPILER FOR THE TOAM JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (04): : 275 - 294
- [43] A Framework for Formal Verification of Compiler Optimizations INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
- [44] A Study of Conflicting Pairs of Compiler Optimizations 2017 IEEE 11TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP (MCSOC 2017), 2017, : 52 - 58
- [45] Generating Compiler Optimizations from Proofs POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 389 - 402
- [46] Fast selection of compiler optimizations using performance prediction with graph neural networks CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2023, 35 (17):
- [47] Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2016, : 105 - 115
- [49] Locality-Based Optimizations in the Chapel Compiler LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2021), 2022, 13181 : 3 - 17
- [50] Automatic Selection of Compiler Optimizations by Machine Learning 2023 31ST SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE, SIU, 2023,