default search action

combined dblp search
author search
venue search
publication search

ask others

27th SAS 2020: Virtual Event

> Home > Conferences and Workshops > SAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sas/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/2020
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

- view
  authority control:
- export record
  dblp key:
  - conf/sas/CicekBCD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CicekBCD20
Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano:
Static Resource Analysis at Scale (Extended Abstract). 3-6
- view
  authority control:
- export record
  dblp key:
  - conf/sas/PerezKLMH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/PerezKLMH20
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

- view
  authority control:
- export record
  dblp key:
  - conf/sas/KimVT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/KimVT20
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur:
Memory-Efficient Fixpoint Computation. 35-64
- view
  authority control:
- export record
  dblp key:
  - conf/sas/SotoudehT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/SotoudehT20
Matthew Sotoudeh, Aditya V. Thakur:
Abstract Neural Networks. 65-88
- view
  authority control:
- export record
  dblp key:
  - conf/sas/FrohnHG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/FrohnHG20
Florian Frohn, Marcel Hark, Jürgen Giesl:
Termination of Polynomial Loops. 89-112
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sas/MullerS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MullerS20
Christan Müller, Helmut Seidl:
Stratified Guarded First-Order Transition Systems. 113-133
- view
  authority control:
- export record
  dblp key:
  - conf/sas/IwayamaKST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/IwayamaKST20
Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada:
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. 134-155
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sas/IzychevaDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/IzychevaDS20
Anastasiia Izycheva, Eva Darulova, Helmut Seidl:
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. 156-177
- view
  authority control:
- export record
  dblp key:
  - conf/sas/PredaGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/PredaGM20
Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni:
Formal Framework for Reasoning About the Precision of Dynamic Analysis. 178-199
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Masud20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Masud20
Abu Naser Masud:
Simple and Efficient Computation of Minimal Weak Control Closure. 200-222
- view
  authority control:
- export record
  dblp key:
  - conf/sas/OuadjaoutM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/OuadjaoutM20
Abdelraouf Ouadjaout, Antoine Miné:
A Library Modeling Language for the Static Analysis of C Programs. 223-247
- view
  authority control:
- export record
  dblp key:
  - conf/sas/IllousLR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/IllousLR20
Hugo Illous, Matthieu Lemerre, Xavier Rival:
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. 248-273
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MangalSNO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MangalSNO20
Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso:
Probabilistic Lipschitz Analysis of Neural Networks. 274-309
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BuroCM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BuroCM20
Samuele Buro, Roy L. Crole, Isabella Mastroeni:
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. 310-332
- view
  authority control:
- export record
  dblp key:
  - conf/sas/DasQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/DasQ20
Ankush Das, Shaz Qadeer:
Exact and Linear-Time Gas-Cost Analysis. 333-356
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AsadiBHFS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AsadiBHFS20
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.