default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22. SAS 2015: Saint-Malo, France
- Sandrine Blazy
, Thomas P. Jensen:
Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Lecture Notes in Computer Science 9291, Springer 2015, ISBN 978-3-662-48287-2 - Peter Aldous, Matthew Might:
Static Analysis of Non-interference in Expressive Low-Level Languages. 1-17 - Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon:
Static Analysis with Set-Closure in Secrecy. 18-35 - Junjie Chen, Patrick Cousot:
A Binary Decision Tree Abstract Domain Functor. 36-53 - Marianna Rapoport, Ondrej Lhoták, Frank Tip:
Precise Data Flow Analysis in the Presence of Correlated Method Calls. 54-71 - Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. 72-89 - Huisong Li, Xavier Rival, Bor-Yuh Evan Chang:
Shape Analysis for Unstructured Sharing. 90-108 - Anshul Garg, Subhajit Roy:
Synthesizing Heap Manipulations via Integer Linear Programming. 109-127 - Tachio Terauchi:
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR. 128-144 - Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel:
Safety Verification and Refutation by k-Invariants and k-Induction. 145-161 - Yue Li, Tian Tan, Jingling Xue:
Effective Soundness-Guided Reflection Analysis. 162-180 - Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen:
SJS: A Type System for JavaScript with Fixed Object Layout. 181-198 - Kodai Hashimoto, Hiroshi Unno:
Refinement Type Inference via Horn Constraint Optimization. 199-216 - David Monniaux, Francesco Alberti:
A Simple Abstraction of Arrays and Maps by Program Translation. 217-234 - Assalé Adjé, Pierre-Loïc Garoche, Victor Magron:
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. 235-251 - 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. 252-274 - Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez:
Parallel Cost Analysis of Distributed Systems. 275-292 - Alexey Bakhirkin, Josh Berdine, Nir Piterman:
A Forward Analysis for Recurrent Sets. 293-311 - Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. 312-331
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
