411
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
This paper presents SVF, a tool that enables scalable and precise interprocedural Static Value-Flow analysis for C programs by leveraging recent advances in sparse analysis. SVF, ...
140
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
148
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
The performance of OpenCL programs suffers from memory and control flow divergence. Therefore, OpenCL compilers employ static analyses to identify non-divergent control flow and...
151
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
Developing an optimizing compiler backend remains a laborious process, especially for nontraditional ISAs that have been appearing recently. Superoptimization sidesteps the need f...
144
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
Runtime systems for speculative parallelization can be substantially sped up by implementing them with kernel support. We describe a novel implementation of a thread-level specula...