SAS 2019

22 papers

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