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

10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021), June 22, 2021, Virtual, Canada

SOAP 2021 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

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
Security and Quality: Two Sides of the Same Coin?
Steven Arzt
(Fraunhofer SIT, Germany)
Publisher's Version

Session 2

Program Analysis for Reversible Languages
Niklas Deworetzki and Uwe Meyer
(TH Mittelhessen, Germany)
Publisher's Version
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
Weldr: Fusing Binaries for Simplified Analysis
Alexander Heinricher, Ryan Williams, Ava Klingbeil, and Alex Jordan
(Raytheon BBN Technologies, USA)
Publisher's Version

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
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 Info
Scalable String Analysis: An Experience Report
Kostyantyn Vorobyov, Yang Zhao, and Padmanabhan Krishnan
(Oracle Labs, Australia)
Publisher's Version

proc time: 0.95