![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
26th SAS 2019: Porto, Portugal
- Bor-Yuh Evan Chang:
Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11822, Springer 2019, ISBN 978-3-030-32303-5
Invited Contributions
- Mayur Naik:
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. 3-16 - Caterina Urban
:
Static Analysis of Data Science Software. 17-23
Pointers and Dataflow
- Yuxiang Lei
, Yulei Sui:
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. 27-47 - Hua Yan, Shiping Chen
, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue
:
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. 48-72 - Marcus Völker
, Stefan Kowalewski:
A Change-Based Heuristic for Static Analysis with Policy Iteration. 73-95 - Patrick Cousot:
Syntactic and Semantic Soundness of Structural Dataflow Analysis. 96-117
Languages and Decidability
- Marco Campion
, Mila Dalla Preda, Roberto Giacobazzi:
Abstract Interpretation of Indexed Grammars. 121-139 - Pierre Ganty
, Francesco Ranzato
, Pedro Valero
:
Language Inclusion Algorithms as Complete Abstract Interpretations. 140-161 - Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
:
On the Monniaux Problem in Abstract Interpretation. 162-180
Numerical
- Anna Becchi
, Enea Zaffanella
:
Revisiting Polyhedral Analysis for Hybrid Systems. 183-202 - Hang Yu, David Monniaux
:
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. 203-224 - David Delmas, Antoine Miné:
Analysis of Software Patches Using Numerical Abstract Interpretation. 225-246 - Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot:
Verifying Numerical Programs via Iterative Abstract Testing. 247-267
Trends: Assuring Machine Learning
- Francesco Ranzato
, Marco Zanella:
Robustness Verification of Support Vector Machines. 271-295 - Jianlin Li
, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang:
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. 296-319
Synthesis and Security
- Daniel Neider
, Shambwaditya Saha, Pranav Garg, P. Madhusudan:
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. 323-346 - Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni:
Direct Manipulation for Imperative Programs. 347-367 - Chaoqiang Deng, Patrick Cousot:
Responsibility Analysis by Abstract Interpretation. 368-388 - Patrick Cousot:
Abstract Semantic Dependency. 389-410
Temporal Properties and Termination
- Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi
, Hiroshi Unno:
Temporal Verification of Programs via First-Order Fixpoint Logic. 413-436 - Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi:
A Temporal Logic for Higher-Order Functional Programs. 437-458 - Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim
:
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. 459-480
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.