CC
2016
Springer
8 years 21 days ago
2016
Springer
Given an LR(1) automaton, what are the states in which an error can be detected? For each such “error state”, what is a minimal input sentence that causes an error in this sta...
CC
2016
Springer
8 years 21 days 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, ...
CC
2016
Springer
8 years 21 days ago
2016
Springer
CC
2016
Springer
8 years 21 days 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...
CC
2016
Springer
8 years 21 days 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...
CC
2016
Springer
8 years 21 days 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...
CC
2016
Springer
8 years 21 days ago
2016
Springer
CASES
2013
ACM
9 years 11 months ago
2013
ACM
Recently, the Bitcoin cryptocurrency has been an international sensation. This paper tells the story of Bitcoin hardware: how a group of early-adopters self-organized and finance...
CC
2012
Springer
12 years 2 days ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
CC
2012
Springer
12 years 2 days ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...