Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Lecture Notes in Computer Science) PDF
Preview Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Lecture Notes in Computer Science)
Cezara Drăgoi Suvam Mukherjee Kedar Namjoshi (Eds.) S S o C R A 3 1 9 2 1 S Static Analysis C N L 28th International Symposium, SAS 2021 Chicago, IL, USA, October 17–19, 2021 Proceedings Lecture Notes in Computer Science 12913 Founding Editors Gerhard Goos, Germany Juris Hartmanis, USA Editorial Board Members Elisa Bertino, USA Gerhard Woeginger , Germany Wen Gao, China Moti Yung, USA Bernhard Steffen , Germany Advanced Research in Computing and Software Science Subline of Lecture Notes in Computer Science Subline Series Editors Giorgio Ausiello, University of Rome ‘La Sapienza’, Italy Vladimiro Sassone, University of Southampton, UK Subline Advisory Board Susanne Albers, TU Munich, Germany Benjamin C. Pierce, University of Pennsylvania, USA Bernhard Steffen , University of Dortmund, Germany Deng Xiaotie, Peking University, Beijing, China Jeannette M. Wing, Microsoft Research, Redmond, WA, USA More information about this subseries at http://www.springer.com/series/7408 ă Cezara Dr goi Suvam Mukherjee (cid:129) (cid:129) Kedar Namjoshi (Eds.) Static Analysis 28th International Symposium, SAS 2021 – Chicago, IL, USA, October 17 19, 2021 Proceedings 123 Editors Cezara Drăgoi SuvamMukherjee Informal Systems,Inria, ENS, Microsoft Corporation DI- Ecole NormaleSupérieure Redmond, WA,USA Paris, France Kedar Namjoshi NokiaBell Labs Murray Hill, NJ,USA ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-030-88805-3 ISBN978-3-030-88806-0 (eBook) https://doi.org/10.1007/978-3-030-88806-0 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerNatureSwitzerlandAG2021 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains the proceedings of the 28th edition of the International Static AnalysisSymposium,SAS2021,heldduringOctober17–19,2021,inChicago,USA. The conference was a co-located event of SPLASH, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. Travel restrictions as a result of the COVID-19 pandemic forced us to organize the conference in hybrid form. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software mainte- nance.TheseriesofStatic AnalysisSymposiahasservedastheprimaryvenueforthe presentation of theoretical, practical, and application advances in the area. Previous symposia were held in Chicago (virtual), 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, Venice, Pisa, Paris, Aachen, Glasgow, and Namur. SAS2021calledforpapersontopicsincluding,butnotlimitedto,abstractdomains, abstractinterpretation,automateddeduction,dataflowanalysis,debuggingtechniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, security analysis, tool environments and architectures, theoretical frameworks, and type checking. Authors were encouraged to submit artifacts accompanying their papers to strengthen evaluations and the reproducibility of results. A new feature this year encouraged short submissions on experience with static analysis tools, industrial reports, and case studies, along with tool papers, brief announcements of work in progress, well-motivated discussions of new questions or new areas, etc. Theconferenceemployedadouble-blindreviewingprocesswithanauthorresponse period, supported on EasyChair. The Program Committee used a two-round review process, where each submission received at least three first-round reviews, which the authors could then respond to. This year, SAS had 40 submitted papers (33 regular, 7 short). Of these, 22 papers were accepted for publication (18 regular, 4 short) and appear in this volume. The submitted papers were authored by researchers around the world:fromFrance,theUSA,Canada,Germany,theNetherlands,Japan,India,China, Australia, and several other countries. The author response period was followed by a two-weekProgram Committee discussionwhereconsensuswas reached onthepapers to be accepted, after a thorough assessment of the relevance and the quality of the work. Weviewtheartifactsasbeingequallyimportantforthesuccessanddevelopmentof static analysis as the written papers. It is important for researchers to be able to independently reproduce experiments, which is greatly facilitated by having the orig- inal artifacts available. Suvam Mukherjee, the artifact committee chair, set up the artifact committee and introduced three new features in the artifact review process vi Preface which we expect will be carried through in future editions of SAS. The first is the ability to submit Docker images as artifacts, in addition to Virtual Machine images. Second,apublicarchivalrepositoryfortheartifactshasbeensetuponZenodo,hosted at https://zenodo.org/communities/sas-2021/. Third, artifacts have badges awarded at three levels: Validated (correct functionality), Extensible (with source code), and Available(on theZenodo repository).The artwork for thebadges isbyArpita Biswas (Harvard University) and Suvam Mukherjee. Each artifact was evaluated by three members of the artifact evaluation committee. SAS had 20 artifact submissions, of which 16 were accepted, a high percentage. Inaddition tothecontributedpapers,SAS2021alsofeaturedthree invited talksby distinguished researchers: Gerard Holzmann (Nimble Research, USA), Cristina Cifuentes(OracleLabs,Australia),andMoolySagiv(TelAvivUniversity,Israel).The ProgramCommitteealsoselectedtherecipientoftheRadhiaCousotYoungResearcher BestPaperAward,giventoapaperwithasignificantcontributionfromastudent.This awardwasinstitutedinmemoryofRadhiaCousot,forherfundamentalcontributionsto staticanalysisaswellasoneofthemainpromotersandorganizersoftheSASseriesof conferences. TheSASprogramwouldnothavebeenpossiblewithouttheeffortsofmanypeople. We thank them all. The members of the Program Committee, the artifact evaluation committee and the external reviewers worked tirelessly to select a strong program, offering constructive and helpful feedback to the authors in their reviews. The orga- nizingcommitteeofSPLASH2021,chairedbyHrideshRajan(IowaStateUniversity, USA), and the hybridization committee, chaired by Jonathan Aldrich (CMU, USA), were tremendously helpful in navigating the conference through these difficult times. The SAS steering committee provided much needed support and advice. Finally, we thank Springer for their support of this event as well as for publishing these proceedings. October 2021 Cezara Drăgoi Suvam Mukherjee Kedar Namjoshi Organization Program Committee Chairs Cezara Drăgoi Inria, ENS, and Informal Systems, France Kedar Namjoshi Nokia Bell Labs, USA Steering Committee Sandrine Blazy University of Rennes 1, France Bor-Yuh Evan Chang University of Colorado Boulder and Amazon, USA Patrick Cousot New York Univ., USA Thomas Jensen Inria, France David Pichardie ENS, France Andreas Podelski University of Freiburg, Germany Francesco Ranzato University of Padova, Italy Xavier Rival Inria, France Mihaela Sighireanu IRIF, France Program Committee Gogul Balakrishnan Google, USA Josh Berdine Facebook, UK Vijay D’Silva Google, USA Michael Emmi Amazon Web Services, USA Constantin Enea University of Paris, IRIF, and CNRS, France Jerome Feret Inria, France Roberto Giacobazzi University of Verona and IMDEA, Italy Patrice Godefroid Microsoft Research, USA Arie Gurfinkel University of Waterloo, Canada Ranjit Jhala University of California, San Diego, USA Burcu Kulahcioglu Ozkan Delft University of Technology, Netherlands Akash Lal Microsoft Research, India Francesco Logozzo Facebook, USA Kenneth L. McMillan University of Texas at Austin, USA Antoine Miné Sorbonne Université, France Andreas Podelski University of Freiburg, Germany Thomas Reps University of Wisconsin–Madison, USA Xavier Rival Inria, CNRS, and ENS, France Mihaela Sighireanu IRIF, Université Paris Diderot, France Gagandeep Singh VMware Research and University of Illinois Urbana-Champaign, USA Lenore Zuck University of Illinois at Chicago, USA viii Organization Artifact Evaluation Chair Suvam Mukherjee Microsoft, USA Artifact Evaluation Committee Rosa Abbasi Boroujeni MPI-SWS, Germany Suguman Bansal University of Pennsylvania, USA Ranadeep Biswas IRIF, Université Paris Diderot and CNRS, France Ajay Brahmakshatriya Massachusetts Institute of Technology, USA Marco Campion University of Verona, Italy Prantik Chatterjee IIT Kanpur, India Berk Cirisci IRIF, Université Paris Diderot and CNRS, France Samvid Dharanikota Microsoft Research, India Peixuan Li Pennsylvania State University, USA MuhammadNumairMansur MPI-SWS, Germany Francesco Parolini Sorbonne Université, France Nisarg Patel New York University, USA Stanly Samuel Indian Institute of Science, India Anton Xue University of Pennsylvania, USA Additional Reviewers Berkeley Churchill David Delmas Caterina Urban Raphaël Monat Thomas Genet Armaël Guéneau Invited Talks
The list of books you might like
