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 More...
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 More...
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 More...
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	https://drive.google.com/drive/u/0/folders/0B18KILxhABvlV0xWNUVnS2VWR2s?usp=sharing	Discussion Comments: 0 Verification: Authors have not verified information More...
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	http://www.jaist.ac.jp/terauchi	Discussion Comments: 0 Verification: Author has not verified information More...
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 More...
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 More...
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 More...
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 More...
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	http://www.cprover.org/LTI/	Discussion Comments: 0 Verification: Authors have not verified information More...
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 More...
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 More...
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 More...
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 More...
Effective Soundness-Guided Reflection Analysis Yue Li, Tian Tan, Jingling Xue	Effective Soundness-Guided Reflection Analysis Details	http://www.cse.unsw.edu.au/~corg/solar/	Discussion Comments: 0 Verification: Authors have not verified information More...
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	http://costa.ls.fi.upm.es/web/parallel	Discussion Comments: 0 Verification: Authors have not verified information More...
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	http://costa.fdi.ucm.es/saco/web	Author Comments: Discussion Comments: 0 Sharing: Research produced artifacts Verification: Authors have verified information More...
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	http://www.cprover.org/wiki/doku.php?id=2ls_for_program_analysis	Discussion Comments: 0 Verification: Authors have not verified information More...

International Static Analysis Symposium, SAS 2015