PLDI 2022 Co-Located Events
43nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022)
Powered by
Conference Publishing Consulting

11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022), June 14, 2022, San Diego, CA, USA

SOAP 2022 – Preliminary Table of Contents

Contents - Abstracts - Authors

11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)


Title Page
Message from the Chairs


BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Ignacio Laguna, Xinyi Li, and Ganesh Gopalakrishnan
(Lawrence Livermore National Laboratory, USA; University of Utah, USA)
Article Search
Modeling Code Manipulation in JIT Compilers
Heuichan Lim, Xiyu Kang, and Saumya Debray
(University of Arizona, USA)
Article Search
Statically Detecting Data Leakages in Data Science Code
Pavle Subotic, Uros Bojanic, and Milan Stojic
(Microsoft, Serbia)
Article Search
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri ORCID logo, Fabio Tagliaferro ORCID logo, Vincenzo Arceri ORCID logo, Marco Ruaro, Luca Negrini ORCID logo, Agostino Cortesi ORCID logo, Pietro Ferrara ORCID logo, Fausto Spoto ORCID logo, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy;, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
Article Search
ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories
Md Rakib Hossain MisuORCID logo, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, and Naum Anteski
(University College London, UK)
Article Search
Abstract Interpretation of Michelson Smart-Contracts
Guillaume Bau, Antoine Miné ORCID logo, Vincent Botbol, and Mehdi Bouaziz ORCID logo
(Sorbonne University, France; CNRS, France; LIP6, France; Nomadic Labs, France)
Article Search
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel ORCID logo, César Muñoz, Swee Balachandran, Mariano Moscato ORCID logo, Aaron Dutle ORCID logo, Paolo Masci ORCID logo, and Lauren White ORCID logo
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
Article Search

proc time: 0.82