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 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs

Papers

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)
Publisher's Version
Modeling Code Manipulation in JIT Compilers
HeuiChan Lim ORCID logo, Xiyu Kang, and Saumya Debray ORCID logo
(University of Arizona, USA)
Publisher's Version
Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uroš Bojanić, and Milan Stojić
(Microsoft, Serbia)
Publisher's Version
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; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version Archive submitted (8.2 kB)
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)
Publisher's Version

proc time: 2.23