SAS 2019: 26TH INTERNATIONAL STATIC ANALYSIS SYMPOSIUM
SLIDES

Language Inclusion Algorithms as Complete Abstract Interpretations

Pierre Ganty, Pedro Valero and Francesco Ranzato

Abstract Interpretation of Indexed Grammars

Marco Campion, Mila Dalla Preda and Roberto Giacobazzi

Temporal Verification of Programs via First-Order Fixpoint Logic

Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi and Hiroshi Unno

On the Monniaux Problem in Abstract Interpretation

Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly and James Worrell

Direct Manipulation for Imperative Programs

Qinheping Hu, Roopsha Samanta, Rishabh Singh and Loris D'Antoni

Robustness Verification of Support Vector Machines

Francesco Ranzato and Marco Zanella

Rethinking Static Analysis by Combining Discrete and Continuous Reasoning

Mayur Naik

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang and Lijun Zhang

Verifying Numerical Programs via Iterative Abstract Testing

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot

Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets

Amir Ben-Amram, Jesús J. Doménech and Samir Genaim

Syntactic and Semantic Soundness of Structural Dataflow Analysis

Patrick Cousot

Abstract Semantic Dependency

Patrick Cousot

An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection

Hang Yu and David Monniaux

Revisiting Polyhedral Analysis for Hybrid Systems

Anna Becchi and Enea Zaffanella

Analysis of Software Patches using Numerical Abstract Interpretation

David Delmas and Antoine Miné

Static Analysis of Data Science Software

Caterina Urban

Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis

Yuxiang Lei and Yulei Sui

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

Hua Yan, Shiping Chen, Yulei Sui, Changwei Zou, Yueqian Zhang and Jingling Xue
Total: 18 presentations.