International Static Analysis Symposium, SAS 2015


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

A Forward Analysis for Recurrent Sets

Alexey Bakhirkin, Josh Berdine, Nir Piterman

A Forward Analysis for Recurrent Sets

Details
Discussion Comments: 0
Verification: Authors have not verified information

A Simple Abstraction of Arrays and Maps by Program Translation

David Monniaux, Francesco Alberti

A Simple Abstraction of Arrays and Maps by Program Translation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Precise Data Flow Analysis in the Presence of Correlated Method Calls

Marianna Rapoport, Ondrej Lhoták, Frank Tip

Precise Data Flow Analysis in the Presence of Correlated Method Calls

Details
Discussion Comments: 0
Verification: Authors have not verified information

SJS: A Type System for JavaScript with Fixed Object Layout

Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen

SJS: A Type System for JavaScript with Fixed Object Layout

Details
Discussion Comments: 0
Verification: Authors have not verified information

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR

Tachio Terauchi

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR

Details
Discussion Comments: 0
Verification: Author has not verified information

Refinement Type Inference via Horn Constraint Optimization

Kodai Hashimoto, Hiroshi Unno

Refinement Type Inference via Horn Constraint Optimization

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization

Details
Discussion Comments: 0
Verification: Authors have not verified information

Shape Analysis for Unstructured Sharing

Huisong Li, Xavier Rival, Bor-Yuh Evan Chang

Shape Analysis for Unstructured Sharing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Static Analysis of Non-interference in Expressive Low-Level Languages

Peter Aldous, Matthew Might

Static Analysis of Non-interference in Expressive Low-Level Languages

Details
Discussion Comments: 0
Verification: Authors have not verified information

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

Details
Discussion Comments: 0
Verification: Authors have not verified information

A Binary Decision Tree Abstract Domain Functor

Junjie Chen, Patrick Cousot

A Binary Decision Tree Abstract Domain Functor

Details
Discussion Comments: 0
Verification: Authors have not verified information

Static Analysis with Set-Closure in Secrecy

Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon

Static Analysis with Set-Closure in Secrecy

Details
Discussion Comments: 0
Verification: Authors have not verified information

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis

Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

Synthesizing Heap Manipulations via Integer Linear Programming

Anshul Garg, Subhajit Roy

Synthesizing Heap Manipulations via Integer Linear Programming

Details
Discussion Comments: 0
Verification: Authors have not verified information

Effective Soundness-Guided Reflection Analysis

Yue Li, Tian Tan, Jingling Xue

Effective Soundness-Guided Reflection Analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

Parallel Cost Analysis of Distributed Systems

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez

Parallel Cost Analysis of Distributed Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization

Elvira Albert, Samir Genaim, Pablo Gordillo

May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Safety Verification and Refutation by k-Invariants and k-Induction

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

Safety Verification and Refutation by k-Invariants and k-Induction

Details
Discussion Comments: 0
Verification: Authors have not verified information