263
click to vote
SAS
9 years 9 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...
248
click to vote
SAS
9 years 9 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 ...
224
click to vote
SAS
9 years 9 months ago
2015 Springer
We consider a restless bandit problem with Gaussian autoregressive arms, where the state of an arm is only observed when it is played and the state-dependent reward is collected. ...
222
click to vote
SAS
9 years 9 months ago
2015 Springer 
Non-termination of structured imperative programs is primarily due to infinite loops. An important class of non-terminating loop behaviors can be characterized using the notion of...
217
click to vote
SAS
9 years 9 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...
|
Formal Methods