• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 17 matches

• 2020
• 
  Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
  Farkas-Based Tree Interpolation. SAS 2020: 357-379
• 
  Samuele Buro, Roy L. Crole, Isabella Mastroeni:
  On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. SAS 2020: 310-332
• 
  Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano:
  Static Resource Analysis at Scale (Extended Abstract). SAS 2020: 3-6
• 
  Ankush Das, Shaz Qadeer:
  Exact and Linear-Time Gas-Cost Analysis. SAS 2020: 333-356
• 
  Florian Frohn, Marcel Hark, Jürgen Giesl:
  Termination of Polynomial Loops. SAS 2020: 89-112
• 
  Hugo Illous, Matthieu Lemerre, Xavier Rival:
  Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. SAS 2020: 248-273
• 
  Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada:
  Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. SAS 2020: 134-155
• 
  Anastasiia Izycheva, Eva Darulova, Helmut Seidl:
  Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. SAS 2020: 156-177
• 
  Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur:
  Memory-Efficient Fixpoint Computation. SAS 2020: 35-64
• 
  Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso:
  Probabilistic Lipschitz Analysis of Neural Networks. SAS 2020: 274-309
• 
  Abu Naser Masud:
  Simple and Efficient Computation of Minimal Weak Control Closure. SAS 2020: 200-222
• 
  Christan Müller, Helmut Seidl:
  Stratified Guarded First-Order Transition Systems. SAS 2020: 113-133
• 
  Abdelraouf Ouadjaout, Antoine Miné:
  A Library Modeling Language for the Static Analysis of C Programs. SAS 2020: 223-247
• 
  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. SAS 2020: 7-31
• 
  Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni:
  Formal Framework for Reasoning About the Precision of Dynamic Analysis. SAS 2020: 178-199
• 
  Matthew Sotoudeh, Aditya V. Thakur:
  Abstract Neural Networks. SAS 2020: 65-88
• 
  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 [contents]