Sciweavers

Share
17 search results - page 2 / 4
» cc 2016
Sort
View
CC
2016
Springer
4 years 4 months ago
Quantum commitments from complexity assumptions
Abstract. We study worst-case complexity assumptions that imply quantum bitcommitment schemes. First we show that QSZK ⊆ QMA implies a computationally hiding and statistically bi...
André Chailloux, Iordanis Kerenidis, Bill R...
CC
2016
Springer
4 years 4 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 4 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 4 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...
POPL
2016
ACM
4 years 4 months ago
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
Despite much research on concurrent programming languages, especially for Java and C/C++, we still do not have a satisfactory definition of their semantics, one that admits all c...
Jean Pichon-Pharabod, Peter Sewell
books