David Pichardie (editor) - Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings

More information about this subseries at http://www.springer.com/series/7408 The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research and teaching.

The cornerstone of LNCS's editorial policy is its unwavering commitment to report the latest results from all areas of computer science and information technology research, development, and education. LNCS has always enjoyed close cooperation with the computer science R & D community, with numerous renowned academics, and with prestigious institutes and learned societies. Our mission is to serve this community by providing a most valuable publication service.

LNCS commenced publication in 1973 and quite rapidly attracted attention, not least because of its thus far unprecedented publication turnaround times. The 1980s and 1990s witnessed a substantial growth in the series, particularly in terms of volumes published. In the late 1990s we developed a systematic approach to providing LNCS in a full-text electronic version, in parallel to the printed books. Another new feature introduced in the late 1990s was the conceptualization of a couple of color-cover sublines. Still, original research results reported in proceedings and postproceedings remain the core of LNCS.

This Springer imprint is published by the registered company Springer Nature Switzerland AG

The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland

This volume contains the proceedings of the 27th edition of the International Static Analysis Symposium 2020 (SAS 2020), held during November 1820, 2020, as a co-located event of SPLASH, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. The COVID-19 pandemic forced us to organize the event online.

Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The SAS series has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. Previous symposia were held in Porto, Freiburg, New York, Edinburgh, Saint-Malo, Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur.

SAS 2020 called for papers on topics including, but not limited to: abstract domains, abstract interpretation, automated deduction, data flow analysis, debugging, deductive methods, emerging applications, model-checking, program transformations, predicate abstraction, security analysis, tool environments and architectures, type checking. Authors were also encouraged to submit artifacts accompanying their papers to strengthen evaluations and reproducibility of results in static analysis.

The conference employed a double-blind review process with an author-response period. Within the review period, the Program Committee used an internal two-round review process where each submission received three first-round reviews to drive the possible selection of additional expert reviews as needed before the author response period. There were 34 submissions authored by researchers from countries including China, France, Germany, Hungary, India, Iran, Israel, Italy, Japan, Singapore, Spain, Sweden, Switzerland, the UK, and the USA. 15 submissions also presented an artifact. The author response period was followed by a Program Committee discussion period and culminated in a synchronous, virtual Program Committee meeting on July 16, 2020, to finalize the selection of papers. After thoroughly evaluating the relevance and quality of each paper, the Program Committee decided to accept 14 contributions. Each of the artifacts was evaluated by three members of the Artifact Evaluation Committee, whose comments were available to the Program Committee. Five artifacts were accepted. The artifacts are available on the FTP server of the staticanalysis.org website.