Login / Signup
SOAP@PLDI
2012
2016
2020
2024
2012
2024
Keyphrases
Publications
2024
Maxwell Bernstein
,
Carl Friedrich Bolz-Tereick
Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information.
SOAP@PLDI
(2024)
Julian Erhard
,
Johanna Franziska Schinabeck
,
Michael Schwarz
,
Helmut Seidl
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly.
SOAP@PLDI
(2024)
Giovanna Kobus Conrado
,
Andreas Pavlogiannis
A Better Approximation for Interleaved Dyck Reachability.
SOAP@PLDI
(2024)
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2024, Copenhagen, Denmark, 25 June 2024
SOAP@PLDI
(2024)
Patrick J. Chapman
,
Cindy Rubio-González
,
Aditya V. Thakur
Interleaving Static Analysis and LLM Prompting.
SOAP@PLDI
(2024)
Marc Miltenberger
,
Steven Arzt
ValBench: Benchmarking Exact Value Analysis.
SOAP@PLDI
(2024)
Irina Dudina
,
Ian Stark
Static Analysis for Transitioning to CHERI C/C++.
SOAP@PLDI
(2024)
Guillaume Bertholon
,
Arthur Charguéraud
,
Thomas Koehler
,
Begatim Bytyqi
,
Damien Rouhling
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis.
SOAP@PLDI
(2024)
Martin Brain
,
Mahdi Malkawi
Misconceptions about Loops in C.
SOAP@PLDI
(2024)
2023
Michael Wang
,
Shashank Srikant
,
Malavika Samak
,
Una-May O'Reilly
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms.
SOAP@PLDI
(2023)
Konrad Hohentanner
,
Florian Kasten
,
Lukas Auer
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading.
SOAP@PLDI
(2023)
Ben Liblit
,
Yingjun Lyu
,
Rajdeep Mukherjee
,
Omer Tripp
,
Yanjun Wang
User-Assisted Code Query Optimization.
SOAP@PLDI
(2023)
Marc Miltenberger
,
Steven Arzt
Extensible and Scalable Architecture for Hybrid Analysis.
SOAP@PLDI
(2023)
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023
SOAP@PLDI
(2023)
Tobias Reinhard
,
Justus Fasse
,
Bart Jacobs
Completeness Thresholds for Memory Safety of Array Traversing Programs.
SOAP@PLDI
(2023)
Sangrok Lee
,
Jieun Lee
,
Jaeyong Ko
,
Jaewoo Shim
Crosys: Cross Architectural Dynamic Analysis.
SOAP@PLDI
(2023)
Michael Schwarz
,
Julian Erhard
,
Vesal Vojdani
,
Simmo Saan
,
Helmut Seidl
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.
SOAP@PLDI
(2023)
Luca Negrini
,
Guruprerana Shabadi
,
Caterina Urban
Static Analysis of Data Transformations in Jupyter Notebooks.
SOAP@PLDI
(2023)
Samuel Coward
,
George A. Constantinides
,
Theo Drane
Combining E-Graphs with Abstract Interpretation.
SOAP@PLDI
(2023)
Vincenzo Arceri
,
Greta Dolcetti
,
Enea Zaffanella
Speeding up Static Analysis with the Split Operator.
SOAP@PLDI
(2023)
2022
J. Tanner Slagel
,
César Muñoz
,
Swee Balachandran
,
Mariano M. Moscato
,
Aaron Dutle
,
Paolo Masci
,
Lauren White
Towards an implementation of differential dynamic logic in PVS.
SOAP@PLDI
(2022)
Ignacio Laguna
,
Xinyi Li
,
Ganesh Gopalakrishnan
BinFPE: accurate floating-point exception detection for GPU applications.
SOAP@PLDI
(2022)
Luca Olivieri
,
Fabio Tagliaferro
,
Vincenzo Arceri
,
Marco Ruaro
,
Luca Negrini
,
Agostino Cortesi
,
Pietro Ferrara
,
Fausto Spoto
,
Enrico Talin
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
SOAP@PLDI
(2022)
Pavle Subotic
,
Uros Bojanic
,
Milan Stojic
Statically detecting data leakages in data science code.
SOAP@PLDI
(2022)
Md Rakib Hossain Misu
,
Aleksandar Sasa Janjanin
,
Zhiqiang Bian
,
Valentin-Sebastian Burlacu
,
Naum Anteski
ADA: a tool for visualizing the architectural overview of open-source repositories.
SOAP@PLDI
(2022)
Guillaume Bau
,
Antoine Miné
,
Vincent Botbol
,
Mehdi Bouaziz
Abstract interpretation of Michelson smart-contracts.
SOAP@PLDI
(2022)
HeuiChan Lim
,
Xiyu Kang
,
Saumya Debray
Modeling code manipulation in JIT compilers.
SOAP@PLDI
(2022)
SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022
SOAP@PLDI
(2022)
2021
Alexander Heinricher
,
Ryan Williams
,
Ava Klingbeil
,
Alex Jordan
Weldr: fusing binaries for simplified analysis.
SOAP@PLDI
(2021)
Joanna C. S. Santos
,
Reese A. Jones
,
Chinomso Ashiogwu
,
Mehdi Mirakhorli
Serialization-aware call graph construction.
SOAP@PLDI
(2021)
SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021
SOAP@PLDI
(2021)
Gil Teixeira
,
João Bispo
,
Filipe F. Correia
Multi-language static code analysis on the LARA framework.
SOAP@PLDI
(2021)
Kostyantyn Vorobyov
,
Yang Zhao
,
Padmanabhan Krishnan
Scalable string analysis: an experience report.
SOAP@PLDI
(2021)
Pietro Ferrara
,
Luca Negrini
,
Vincenzo Arceri
,
Agostino Cortesi
Static analysis for dummies: experiencing LiSA.
SOAP@PLDI
(2021)
Spandan Garg
,
Roshanak Zilouchian Moghaddam
,
Neel Sundaresan
,
Chen Wu
PerfLens: a data-driven performance bug detection and fix platform.
SOAP@PLDI
(2021)
Steven Arzt
Security and quality: two sides of the same coin?
SOAP@PLDI
(2021)
Niklas Deworetzki
,
Uwe Meyer
Program analysis for reversible languages.
SOAP@PLDI
(2021)
2020
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020
SOAP@PLDI
(2020)
Peter W. O'Hearn
Formal reasoning and the hacker way (keynote).
SOAP@PLDI
(2020)
Michael Reif
,
Florian Kübler
,
Dominik Helm
,
Ben Hermann
,
Michael Eichberg
,
Mira Mezini
TACAI: an intermediate representation based on abstract interpretation.
SOAP@PLDI
(2020)
Raphaël Monat
,
Abdelraouf Ouadjaout
,
Antoine Miné
Value and allocation sensitivity in static Python analyses.
SOAP@PLDI
(2020)
Jixiang Shen
,
Xi Wu
,
Neville Grech
,
Bernhard Scholz
,
Yannis Smaragdakis
Explaining bug provenance with trace witnesses.
SOAP@PLDI
(2020)
2019
Padmanabhan Krishnan
,
Rebecca O'Donoghue
,
Nicholas Allen
,
Yi Lu
Commit-time incremental analysis.
SOAP@PLDI
(2019)
Lawton Nichols
,
Mehmet Emre
,
Ben Hardekopf
Fixpoint reuse for incremental JavaScript analysis.
SOAP@PLDI
(2019)
Steven O'Hara
,
Rocky Slavin
Modernizing parsing tools: parsing and analysis with object-oriented programming.
SOAP@PLDI
(2019)
Alexandru Dura
,
Hampus Balldin
,
Christoph Reichenbach
MetaDL: analysing Datalog in Datalog.
SOAP@PLDI
(2019)
Andreas Dann
,
Ben Hermann
,
Eric Bodden
SootDiff: bytecode comparison across different Java compilers.
SOAP@PLDI
(2019)
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA, June 22, 2019.
SOAP@PLDI
(2019)
Philipp Dominik Schubert
,
Richard Leer
,
Ben Hermann
,
Eric Bodden
Know your analysis: how instrumentation aids understanding static analysis.
SOAP@PLDI
(2019)
Simon Goldsmith
Adventures in commercial-grade static analysis (keynote).
SOAP@PLDI
(2019)