default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23. SAS 2016: Edinburgh, UK
- Xavier Rival:
Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings. Lecture Notes in Computer Science 9837, Springer 2016, ISBN 978-3-662-53412-0
Invited Papers
- Jade Alglave:
Simulation and Invariance for Weak Consistency. 3-22 - Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Monitor Automata. 23-38 - Fausto Spoto:
The Julia Static Analyzer for Java. 39-57
Full Papers
- Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh:
Automated Verification of Linearization Policies. 61-83 - George Balatsouras, Yannis Smaragdakis:
Structure-Sensitive Points-To Analysis for C and C++. 84-104 - Maria Christakis, Valentin Wüstholz:
Bounded Abstract Interpretation. 105-125 - Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni:
Completeness in Approximate Transduction. 126-146 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Relational Verification Through Horn Clause Transformation. 147-169 - Chaoqiang Deng, Kedar S. Namjoshi:
Securing a Compiler Transformation. 170-188 - Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Exploiting Sparsity in Difference-Bound Matrices. 189-211 - Pritam M. Gharat, Uday P. Khedker, Alan Mycroft:
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. 212-236 - Kihong Heo, Hakjoo Oh, Hongseok Yang:
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. 237-256 - Matthieu Journault, Antoine Miné:
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. 257-277 - Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga:
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. 278-299 - Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet:
On the Linear Ranking Problem for Simple Floating-Point Loops. 300-316 - David Menendez, Santosh Nagarakatte, Aarti Gupta:
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. 317-337 - Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. 338-360 - David Monniaux, Laure Gonnord:
Cell Morphing: From Array Programs to Array-Free Horn Clauses. 361-382 - Kedar S. Namjoshi, Nimit Singhania:
Loopy: Programmable and Formally Verified Loop Transformations. 383-402 - Francesco Ranzato:
Abstract Interpretation of Supermodular Games. 403-423 - Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. 424-446 - Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler:
Enforcing Termination of Interprocedural Analysis. 447-468 - Thibault Suzanne, Antoine Miné:
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. 469-488 - Tian Tan, Yue Li, Jingling Xue:
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. 489-510
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 2025-12-02 23:27 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:
