default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th 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
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 2024-11-06 20:17 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:
