SOAP 2021 – Proceedings

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

Frontmatter

Session 1

Static Analysis for Dummies: Experiencing LiSA
Pietro Ferrara, Luca Negrini, Vincenzo Arceri, and Agostino Cortesi
(Ca' Foscari University of Venice, Italy)

Publisher's Version Article: pldiws21soapmain-id10-p doi:10.1145/3460946.3464316

Security and Quality: Two Sides of the Same Coin?
Steven Arzt
(Fraunhofer SIT, Germany)

Publisher's Version Article: pldiws21soapmain-id6-p doi:10.1145/3460946.3464315

Session 2

Program Analysis for Reversible Languages
Niklas Deworetzki and Uwe Meyer
(TH Mittelhessen, Germany)

Publisher's Version Article: pldiws21soapmain-id4-p doi:10.1145/3460946.3464314

PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan, and Chen Wu
(Microsoft, Canada; Microsoft, USA; Microsoft, China)

Publisher's Version Article: pldiws21soapmain-id12-p doi:10.1145/3460946.3464318

Weldr: Fusing Binaries for Simplified Analysis
Alexander Heinricher, Ryan Williams, Ava Klingbeil, and Alex Jordan
(Raytheon BBN Technologies, USA)

Publisher's Version Article: pldiws21soapmain-id5-p doi:10.1145/3460946.3464320

Session 3

Multi-language Static Code Analysis on the LARA Framework
Gil Teixeira, João Bispo, and Filipe F. Correia
(University of Porto, Portugal; INESC TEC, Portugal)

Publisher's Version Article: pldiws21soapmain-id9-p doi:10.1145/3460946.3464317

Serialization-Aware Call Graph Construction
Joanna C. S. Santos, Reese A. Jones, Chinomso Ashiogwu, and Mehdi Mirakhorli
(Rochester Institute of Technology, USA; University of Maryland, USA)

Publisher's Version Article: pldiws21soapmain-id14-p doi:10.1145/3460946.3464319

Scalable String Analysis: An Experience Report
Kostyantyn Vorobyov, Yang Zhao, and Padmanabhan Krishnan
(Oracle Labs, Australia)

Publisher's Version Article: pldiws21soapmain-id3-p doi:10.1145/3460946.3464321

proc time: 0.02