共 50 条
- [32] Generating Compiler Optimizations from Proofs POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 389 - 402
- [34] Tuning Compiler Optimizations for Simultaneous Multithreading International Journal of Parallel Programming, 1999, 27 : 477 - 503
- [35] GLOBAL OPTIMIZATIONS IN A PROLOG COMPILER FOR THE TOAM JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (04): : 275 - 294
- [37] 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
- [38] 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
- [40] Locality-Based Optimizations in the Chapel Compiler LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2021), 2022, 13181 : 3 - 17