271
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
A may-happen-in-parallel (MHP) analysis computes pairs of program points that may execute in parallel across different distributed components. This information has been proven to ...
288
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
We propose a static type system for a significant subset of JavaScript, dubbed SJS, with the goal of ensuring that objects have a statically known layout at the allocation time, w...
245
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
Shape analysis aims to infer precise structural properties of imperative memory states and has been applied heavily to verify safety properties on imperative code over pointer-base...
235
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. When two methods are invoked on the same object, the dispatch behaviours of these method calls will be correlated. If two correlated method calls are polymorphic (i.e., t...
236
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. We report that the homomorphic encryption scheme can unleash the possibility of static analysis of encrypted programs. Static analysis in cipher-world is desirable in the...