Advertisement

Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

  • Bor-Yuh Evan Chang
Conference proceedings SAS 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11822)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11822)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Invited Contributions

  3. Pointers and Dataflow

    1. Front Matter
      Pages 25-25
    2. Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue
      Pages 48-72
    3. Marcus Völker, Stefan Kowalewski
      Pages 73-95
  4. Languages and Decidability

    1. Front Matter
      Pages 119-119
    2. Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
      Pages 121-139
    3. Pierre Ganty, Francesco Ranzato, Pedro Valero
      Pages 140-161
    4. Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
      Pages 162-180
  5. Numerical

    1. Front Matter
      Pages 181-181
    2. Anna Becchi, Enea Zaffanella
      Pages 183-202
    3. Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
      Pages 247-267
  6. Trends: Assuring Machine Learning

    1. Front Matter
      Pages 269-269
    2. Francesco Ranzato, Marco Zanella
      Pages 271-295
    3. Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
      Pages 296-319
  7. Synthesis and Security

    1. Front Matter
      Pages 321-321
    2. Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
      Pages 323-346
    3. Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D’Antoni
      Pages 347-367
    4. Chaoqiang Deng, Patrick Cousot
      Pages 368-388
    5. Patrick Cousot
      Pages 389-410
  8. Temporal Properties and Termination

    1. Front Matter
      Pages 411-411
    2. Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno
      Pages 413-436
    3. Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi
      Pages 437-458
    4. Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim
      Pages 459-480
  9. Back Matter
    Pages 481-481

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.
The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. 
The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.

Keywords

logics and meanings of programs static analysis abstract domains abstract interpretation automated deduction data flow analysis debugging deductive methods model checking program optimizations and transformations program synthesis program verification security analysis tool environments and architectures type checking

Editors and affiliations

  • Bor-Yuh Evan Chang
    • 1
  1. 1.University of ColoradoBoulderUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-32304-2
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-32303-5
  • Online ISBN 978-3-030-32304-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site