Sciweavers

Share
CC
2016
Springer
4 years 3 months ago
Reachability and error diagnosis in LR(1) parsers
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...
François Pottier
CC
2016
Springer
4 years 3 months ago
SVF: interprocedural static value-flow analysis in LLVM
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, ...
Yulei Sui, Jingling Xue
CC
2016
Springer
4 years 3 months ago
Input space splitting for OpenCL
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...
Simon Moll, Johannes Doerfert, Sebastian Hack
CC
2016
Springer
4 years 3 months ago
GreenThumb: superoptimizer construction framework
Developing an optimizing compiler backend remains a laborious process, especially for nontraditional ISAs that have been appearing recently. Superoptimization sidesteps the need f...
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Ra...
CC
2016
Springer
4 years 3 months ago
Thread-level speculation with kernel support
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...
Clemens Hammacher, Kevin Streit, Andreas Zeller, S...
CC
2016
Springer
4 years 3 months ago
Relaxed dependence tracking for parallel runtime support
Minjia Zhang, Swarnendu Biswas, Michael D. Bond
CASES
2013
ACM
6 years 2 months ago
Bitcoin and the age of Bespoke Silicon
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...
Michael Bedford Taylor
CC
2012
Springer
227views System Software» more  CC 2012»
8 years 2 months ago
Programming Paradigm Driven Heap Analysis
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...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
CC
2012
Springer
271views System Software» more  CC 2012»
8 years 2 months ago
Parallel Replication-Based Points-To Analysis
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...
Sandeep Putta, Rupesh Nasre
books