共 50 条
- [1] Compiler Optimizations for OpenMP EVOLVING OPENMP FOR EVOLVING ARCHITECTURES, 2018, 11128 : 113 - 127
- [3] Phase Directed Compiler Optimizations PROCEEDINGS OF 2016 IEEE 23RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING (HIPC), 2016, : 270 - 279
- [4] Incremental Verification of Compiler Optimizations NASA FORMAL METHODS, NFM 2014, 2014, 8430 : 300 - 306
- [5] Detection of Optimizations Missed by the Compiler PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 2192 - 2194
- [7] Understanding the behavior of compiler optimizations SOFTWARE-PRACTICE & EXPERIENCE, 2006, 36 (08): : 835 - 844
- [8] Compiler Optimizations for Parallel Programs LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2018), 2019, 11882 : 112 - 119
- [10] Weakest Precondition Synthesis for Compiler Optimizations VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 203 - 221