288
click to vote
SAS
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...
271
click to vote
SAS
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 ...
249
click to vote
SAS
9 years 11 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. ...
245
click to vote
SAS
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...
245
click to vote
SAS
9 years 11 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...
|
Formal Methods