Sciweavers

SAS
2015
Springer
7 years 11 months ago
Exploration vs Exploitation with Partially Observable Gaussian Autoregressive Arms
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. ...
Julia Kuhn, Michel Mandjes, Yoni Nazarathy
SAS
2015
Springer
7 years 11 months ago
On Discrete Time Reversibility modulo State Renaming and its Applications
Time reversibility plays an important role in the analysis of continuous and discrete time Markov chains (DTMCs). Specifically, the computation of the stationary distribution of ...
Sabina Rossi, Andrea Marin
SAS
2015
Springer
7 years 11 months ago
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Dario Cattaruzza, Alessandro Abate, Peter Schramme...
SAS
2015
Springer
7 years 11 months ago
A Binary Decision Tree Abstract Domain Functor
itle: SMT-Based and Disjunctive Relational Abstract Domains for Static Analysis GPA: 3.971 (4.0 scale) Tsinghua University Beijing, China M.E. in Software Engineering September 200...
Junjie Chen, Patrick Cousot
SAS
2015
Springer
7 years 11 months ago
A Forward Analysis for Recurrent Sets
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...
Alexey Bakhirkin, Josh Berdine, Nir Piterman
SAS
2015
Springer
7 years 11 months ago
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
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 ...
Elvira Albert, Samir Genaim, Pablo Gordillo
SAS
2015
Springer
7 years 11 months ago
SJS: A Type System for JavaScript with Fixed Object Layout
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...
Wontae Choi, Satish Chandra, George C. Necula, Kou...
SAS
2015
Springer
7 years 11 months ago
Shape Analysis for Unstructured Sharing
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...
Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
SAS
2015
Springer
7 years 11 months ago
Precise Data Flow Analysis in the Presence of Correlated Method Calls
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...
Marianna Rapoport, Ondrej Lhoták, Frank Tip
SAS
2015
Springer
7 years 11 months ago
Static Analysis with Set-Closure in Secrecy
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...
Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee ...