SAS 2019: 26TH INTERNATIONAL STATIC ANALYSIS SYMPOSIUM

B
Becchi, Anna	Revisiting Polyhedral Analysis for Hybrid Systems
Ben-Amram, Amir	Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets
C
Campion, Marco	Abstract Interpretation of Indexed Grammars
Chen, Liqian	Verifying Numerical Programs via Iterative Abstract Testing Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Chen, Shiping	Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
Cousot, Patrick	Responsibility Analysis by Abstract Interpretation Verifying Numerical Programs via Iterative Abstract Testing Syntactic and Semantic Soundness of Structural Dataflow Analysis Abstract Semantic Dependency
D
D'Antoni, Loris	Direct Manipulation for Imperative Programs
Dalla Preda, Mila	Abstract Interpretation of Indexed Grammars
Delmas, David	Analysis of Software Patches using Numerical Abstract Interpretation
Deng, Chaoqiang	Responsibility Analysis by Abstract Interpretation
Doménech, Jesús	Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets
F
Fijalkow, Nathanaël	On the Monniaux Problem in Abstract Interpretation
G
Ganty, Pierre	Language Inclusion Algorithms as Complete Abstract Interpretations
Garg, Pranav	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
Genaim, Samir	Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets
Giacobazzi, Roberto	Abstract Interpretation of Indexed Grammars
H
Hu, Qinheping	Direct Manipulation for Imperative Programs
Huang, Xiaowei	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
I
Igarashi, Atsushi	Temporal Verification of Programs via First-Order Fixpoint Logic
J
Jagannathan, Suresh	Learning Verifiers and Verifying Learners
Jha, Somesh	Towards Semantic Adversarial Examples
K
Kobayashi, Naoki	Temporal Verification of Programs via First-Order Fixpoint Logic A Temporal Logic for Higher-Order Functional Programs
Kowalewski, Stefan	A Change-based Heuristic for Static Analysis with Policy Iteration
L
Lefaucheux, Engel	On the Monniaux Problem in Abstract Interpretation
Lei, Yuxiang	Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis
Li, Jianlin	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Liu, Jiangchao	Verifying Numerical Programs via Iterative Abstract Testing Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
M
Madhusudan, P.	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
Miné, Antoine	Analysis of Software Patches using Numerical Abstract Interpretation
Monniaux, David	An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
N
Naik, Mayur	Rethinking Static Analysis by Combining Discrete and Continuous Reasoning
Neider, Daniel	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
Nishikawa, Takeshi	Temporal Verification of Programs via First-Order Fixpoint Logic
O
Ohlmann, Pierre	On the Monniaux Problem in Abstract Interpretation
Okuyama, Yuya	A Temporal Logic for Higher-Order Functional Programs
Ouaknine, Joël	On the Monniaux Problem in Abstract Interpretation
P
Pouly, Amaury	On the Monniaux Problem in Abstract Interpretation
R
Ranzato, Francesco	Robustness Verification of Support Vector Machines Language Inclusion Algorithms as Complete Abstract Interpretations
S
Saha, Shambwaditya	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
Samanta, Roopsha	Direct Manipulation for Imperative Programs
Singh, Rishabh	Direct Manipulation for Imperative Programs
Sui, Yulei	Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
T
Tsukada, Takeshi	A Temporal Logic for Higher-Order Functional Programs
U
Unno, Hiroshi	Temporal Verification of Programs via First-Order Fixpoint Logic
Urban, Caterina	Static Analysis of Data Science Software
V
Valero, Pedro	Language Inclusion Algorithms as Complete Abstract Interpretations
Völker, Marcus	A Change-based Heuristic for Static Analysis with Policy Iteration
W
Wang, Ji	Verifying Numerical Programs via Iterative Abstract Testing
Worrell, James	On the Monniaux Problem in Abstract Interpretation
X
Xue, Jingling	Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
Y
Yan, Hua	Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
Yang, Pengfei	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Yin, Banghu	Verifying Numerical Programs via Iterative Abstract Testing
Yu, Hang	An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
Z
Zaffanella, Enea	Revisiting Polyhedral Analysis for Hybrid Systems
Zanella, Marco	Robustness Verification of Support Vector Machines
Zhang, Lijun	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Zhang, Yueqian	Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
Zou, Changwei	Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

Disclaimer | Powered by EasyChair Smart Program