Thanks to Francesco Logozzo for a great talk on how to scale security analysis at Meta with abstract interpretation!

Talk on “Modeling Code Manipulation in JIT compilers” now at SOAP!

SOAP 2023 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 10th, 2023. (easychair.org/conferences/?c…) More info here 👉 (pldi23.sigplan.org/home/SOAP-2023) #SOAP2023 #CallForPapers #ProgramAnalysis

SOAP 2024 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 4th, 2024 (soap24.hotcrp.com). More info here 👉 pldi24.sigplan.org/home/SOAP-2024 #SOAP2024 #CallForPapers #ProgramAnalysis Co-located with #PLDI2024.

SOAP 2025 is accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 3rd, 2025 (soap25.hotcrp.com). More info here 👉 pldi25.sigplan.org/home/SOAP-2025 #SOAP2025 #CallForPapers #ProgramAnalysis Co-located with #PLDI2025 in #Seoul.

📅Last week to submit at SOAP 2025! Get your papers ready by March 3rd, 2025 and submit them at soap25.hotcrp.com 😎 More info here 👉 pldi25.sigplan.org/home/SOAP-2025 #SOAP2025 #CallForPapers #ProgramAnalysis #PLDI2025 #Seoul

⚠️ SOAP deadline has been extended! Full papers can be submitted up to March 5th AoE!

The list of accepted papers and the (tentative) program are out! Check them out here 👉 pldi25.sigplan.org/home/SOAP-2025… You can still register for SOAP for a few weeks! Come see us in Seoul 🇰🇷

All is ready for SOAP! We'll be waiting for you in the orchid room!

We start with an invited talk by Xavier Rival on the MemCAD analyzer!

Our second invited talk by Yulei Sui on the analysis of neural networks kicks off the afternoon!

Our last invited talk from Charles Zhang starts the last session!

That's a wrap! Thanks to everyone that showed up and to our speakers! And congrats to Ákos Hajdu for his best presentation award 🎊

Only two weeks remaining for SOAP 2026 submissions! Submission link: soap26.hotcrp.com

The deadline has been extended to March 10. We look forward to receiving your submissions.