@SOAP_Workshop

The International Workshop on the State Of the Art in Program Analysis (SOAP), co-located with @PLDI.

 Boulder, Colorado, USA
pldi26.sigplan.org/home/SOAP-2026
Joined September 2016
  • Tweets220
  • Following67
  • Followers150
60Media
SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (soap26.hotcrp.com/). More info: pldi26.sigplan.org/home/SOAP… #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder
3
2
5
1,074
We start with the invited talk by Yannis Smaragdakis on the Smart Contract Decompiler!
19
All is ready for SOAP! We'll be waiting for you at Flatirons 4!
1
20
The list of accepted papers and the tentative program for SOAP 2026 are out! We also have 3 exciting keynote talks lined up! Check them out here: pldi26.sigplan.org/home/SOAP… Please register for SOAP and join us on June 16 in Boulder!
1
1
50
The deadline has been extended to March 10. We look forward to receiving your submissions.
SOAP at PLDI '26@SOAP_WorkshopFeb 2
SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (soap26.hotcrp.com/). More info: pldi26.sigplan.org/home/SOAP… #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder
1
1
86
Only two weeks remaining for SOAP 2026 submissions! Submission link: soap26.hotcrp.com/
SOAP at PLDI '26@SOAP_WorkshopFeb 2
SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (soap26.hotcrp.com/). More info: pldi26.sigplan.org/home/SOAP… #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder
1
1
3
162
That's a wrap! Thanks to everyone that showed up and to our speakers! And congrats to Ákos Hajdu for his best presentation award 🎊
1
8
275
Our last invited talk from Charles Zhang starts the last session!
6
198
Our second invited talk by Yulei Sui on the analysis of neural networks kicks off the afternoon!
1
6
887
We start with an invited talk by Xavier Rival on the MemCAD analyzer!
4
134
All is ready for SOAP! We'll be waiting for you in the orchid room!
1
1
8
219
The list of accepted papers and the (tentative) program are out! Check them out here 👉 pldi25.sigplan.org/home/SOAP… You can still register for SOAP for a few weeks! Come see us in Seoul 🇰🇷
1
4
143
⚠️ SOAP deadline has been extended! Full papers can be submitted up to March 5th AoE!
2
1
4
1,792
📅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… #SOAP2025 #CallForPapers #ProgramAnalysis #PLDI2025 #Seoul
1
1
194
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… #SOAP2025 #CallForPapers #ProgramAnalysis Co-located with #PLDI2025 in #Seoul.
4
7
612
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… #SOAP2024 #CallForPapers #ProgramAnalysis Co-located with #PLDI2024.
4
6
2,342
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…) #SOAP2023 #CallForPapers #ProgramAnalysis
3
6
763
Talk on “Modeling Code Manipulation in JIT compilers” now at SOAP!
1
3
Thanks to Francesco Logozzo for a great talk on how to scale security analysis at Meta with abstract interpretation!
2
3
38
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report P: Luca Olivieri
1
2
The approach uses (non)-interference analysis to detect the unwanted non determinism bahaviors. Static analysis is implemented in GoLisa
1
1
on stage
1
1
2
Load more