共 50 条
- [41] Tuning Compiler Optimizations for Simultaneous Multithreading International Journal of Parallel Programming, 1999, 27 : 477 - 503
- [42] GLOBAL OPTIMIZATIONS IN A PROLOG COMPILER FOR THE TOAM JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (04): : 275 - 294
- [44] A Framework for Formal Verification of Compiler Optimizations INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
- [45] 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
- [46] Generating Compiler Optimizations from Proofs POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 389 - 402
- [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
- [48] GPURoofline: A Model for Guiding Performance Optimizations on GPUs EURO-PAR 2012 PARALLEL PROCESSING, 2012, 7484 : 920 - 932
- [50] Locality-Based Optimizations in the Chapel Compiler LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2021), 2022, 13181 : 3 - 17