共 50 条
- [33] Tuning Compiler Optimizations for Simultaneous Multithreading International Journal of Parallel Programming, 1999, 27 : 477 - 503
- [34] GLOBAL OPTIMIZATIONS IN A PROLOG COMPILER FOR THE TOAM JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (04): : 275 - 294
- [36] A Framework for Formal Verification of Compiler Optimizations INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
- [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] Generating Compiler Optimizations from Proofs POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 389 - 402
- [39] 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