Title: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Abstract: Message from the Chairs The 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP’22) is co-located with the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’22). In line with past workshops, SOAP’22 aims to bring together the members of the program analysis community to share new developments and shape innovations in program analysis. This edition of SOAP had nine submissions, each reviewed by three reviewers. Seven were accepted, making a ∼78% acceptance rate. Along with the accepted papers, SOAP’22 features three invited talks by leading members of the program analysis community: Elvira Albert (Complutense University of Madrid, Spain), Francesco Logozzo (META, Spain), and Caterina Urban (INRIA/ENS, France). We would like to commend the efforts of the seven members of the program committee, who donated their valuable time and effort to make the reviewing process possible. We also thank the PLDI chairs and the ACM staff for their continued support in making this workshop possible. We hope you enjoy the talks at SOAP’22 and look forward to enlightening discussions. Laure Gonnord SOAP 2022 Program Co-Chair Grenoble-INP/LCIS, France Laura Titolo SOAP 2022 Program Co-Chair NIA/NASA LaRC, USA Committees Program Chairs: Laure Gonnord (Grenoble-INP/LCIS) Laura Titolo (NIA/NASA LaRC, USA) Program Committee: Pietro Ferrara (Università Ca’ Foscari, Italy) Carsten Fuhs (Birbeck/University of London, United Kingdom) Isabel Garcia-Contreras (University of Waterloo, Canada) François Gauthier (Oracle Labs, Australia) Yannik Moy (AdaCore, France) Jorge A. Navas (Certora, USA) Julien Signoles (CEA LIST/University Paris-Saclay, France) Steering Committee: Padmanabhan Krishnan (Oracle Labs, Australia) Christoph Reichenbach (Lund University, Sweden) Neville Grech (University of Malta, Malta) Thierry Lavoie (Synopsys, Canada) Ben Hermann (Technische Universität Dortmund, Germany) Omer Tripp (Amazon, USA)
Publication Year: 2022
Publication Date: 2022-06-14
Language: en
Type: paratext
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot