共 50 条
- [42] Program partitioning optimizations in an HPF prototype compiler TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 124 - 131
- [43] The IPS Compiler: Optimizations, Variants and Concrete Efficiency ADVANCES IN CRYPTOLOGY - CRYPTO 2011, 2011, 6841 : 259 - 276
- [44] Finding Missed Compiler Optimizations by Differential Testing CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, : 82 - 92
- [46] A PVS based framework for validating compiler optimizations SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 108 - +
- [47] Automated Programmable Control and Parameterization of Compiler Optimizations 2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, : 97 - 106
- [50] Automatic Tuning of Compiler Optimizations and Analysis of their Impact 2013 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, 2013, 18 : 1312 - 1321