SOAP 2022 – Proceedings

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

Frontmatter

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)


@InProceedings{SOAP22p1, author = {Ignacio Laguna and Xinyi Li and Ganesh Gopalakrishnan}, title = {BinFPE: Accurate Floating-Point Exception Detection for GPU Applications}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3520313.3534655}, year = {2022}, } Publisher's Version

Modeling Code Manipulation in JIT Compilers
HeuiChan Lim, Xiyu Kang, and Saumya Debray
(University of Arizona, USA)


@InProceedings{SOAP22p11, author = {HeuiChan Lim and Xiyu Kang and Saumya Debray}, title = {Modeling Code Manipulation in JIT Compilers}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3520313.3534656}, year = {2022}, } Publisher's Version

Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uroš Bojanić, and Milan Stojić
(Microsoft, Serbia)


@InProceedings{SOAP22p21, author = {Pavle Subotić and Uroš Bojanić and Milan Stojić}, title = {Statically Detecting Data Leakages in Data Science Code}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3520313.3534657}, year = {2022}, } Publisher's Version

Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)


@InProceedings{SOAP22p31, author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin}, title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3520313.3534658}, year = {2022}, } Publisher's Version

ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories
Md Rakib Hossain Misu, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, and Naum Anteski
(University College London, UK)


@InProceedings{SOAP22p41, author = {Md Rakib Hossain Misu and Aleksandar Saša Janjanin and Zhiqiang Bian and Valentin-Sebastian Burlacu and Naum Anteski}, title = {ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3520313.3534659}, year = {2022}, } Publisher's Version

Abstract Interpretation of Michelson Smart-Contracts
Guillaume Bau, Antoine Miné, Vincent Botbol, and Mehdi Bouaziz
(Sorbonne University, France; CNRS, France; LIP6, France; Nomadic Labs, France)


@InProceedings{SOAP22p51, author = {Guillaume Bau and Antoine Miné and Vincent Botbol and Mehdi Bouaziz}, title = {Abstract Interpretation of Michelson Smart-Contracts}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3520313.3534660}, year = {2022}, } Publisher's Version Archive submitted (8.2 kB)

Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)


@InProceedings{SOAP22p61, author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White}, title = {Towards an Implementation of Differential Dynamic Logic in PVS}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3520313.3534661}, year = {2022}, } Publisher's Version

proc time: 0.61