default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th SAS 2020: Virtual Event
- David Pichardie
, Mihaela Sighireanu:
Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings. Lecture Notes in Computer Science 12389, Springer 2020, ISBN 978-3-030-65473-3
Invited Talks
- Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano:
Static Resource Analysis at Scale (Extended Abstract). 3-6 - Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo:
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. 7-31
Regular Papers
- Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur:
Memory-Efficient Fixpoint Computation. 35-64 - Matthew Sotoudeh, Aditya V. Thakur:
Abstract Neural Networks. 65-88 - Florian Frohn, Marcel Hark, Jürgen Giesl:
Termination of Polynomial Loops. 89-112 - Christan Müller, Helmut Seidl:
Stratified Guarded First-Order Transition Systems. 113-133 - Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada:
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. 134-155 - Anastasiia Izycheva, Eva Darulova, Helmut Seidl:
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. 156-177 - Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni:
Formal Framework for Reasoning About the Precision of Dynamic Analysis. 178-199 - Abu Naser Masud:
Simple and Efficient Computation of Minimal Weak Control Closure. 200-222 - Abdelraouf Ouadjaout, Antoine Miné:
A Library Modeling Language for the Static Analysis of C Programs. 223-247 - Hugo Illous, Matthieu Lemerre, Xavier Rival:
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. 248-273 - Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso:
Probabilistic Lipschitz Analysis of Neural Networks. 274-309 - Samuele Buro, Roy L. Crole, Isabella Mastroeni:
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. 310-332 - Ankush Das, Shaz Qadeer:
Exact and Linear-Time Gas-Cost Analysis. 333-356 - Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
Farkas-Based Tree Interpolation. 357-379
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 2025-02-21 19:20 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:
