Sciweavers

Share
CC
2016
Springer
2 years 8 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
2 years 8 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
2 years 8 months ago
Safe and flexible adaptation via alternate data structure representations
The choice of data structures is crucial for achieving high performance. For applications that are long-running and/or operate on large data sets, the best choice for main data st...
Amlan Kusum, Iulian Neamtiu, Rajiv Gupta
CC
2016
Springer
2 years 8 months ago
Relaxed dependence tracking for parallel runtime support
Minjia Zhang, Swarnendu Biswas, Michael D. Bond
CC
2016
Springer
2 years 8 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...
System Software
Top of PageReset Settings
books