SOAP at PLDI '25
@SOAP_Workshop
Followers
153
Following
66
Media
58
Statuses
214
The International Workshop on the State Of the Art in Program Analysis (SOAP), co-located with @PLDI.
Seoul, South Korea
Joined September 2016
That's a wrap! Thanks to everyone that showed up and to our speakers!. And congrats to Ákos Hajdu for his best presentation award 🎊
0
1
7
Our last invited talk from Charles Zhang starts the last session!
0
0
5
Our second invited talk by Yulei Sui on the analysis of neural networks kicks off the afternoon!
0
1
5
We start with an invited talk by Xavier Rival on the MemCAD analyzer!
0
0
3
All is ready for SOAP! We'll be waiting for you in the orchid room!
1
1
7
The list of accepted papers and the (tentative) program are out! Check them out here 👉 You can still register for SOAP for a few weeks! Come see us in Seoul 🇰🇷.
0
1
4
⚠️ SOAP deadline has been extended! Full papers can be submitted up to March 5th AoE!.
0
2
4
📅Last week to submit at SOAP 2025! Get your papers ready by March 3rd, 2025 and submit them at 😎 More info here 👉 #SOAP2025 #CallForPapers #ProgramAnalysis #PLDI2025 #Seoul.
0
1
1
SOAP 2025 is accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 3rd, 2025 (. More info here 👉 #SOAP2025 #CallForPapers #ProgramAnalysis .Co-located with #PLDI2025 in #Seoul.
0
4
7
SOAP 2024 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 4th, 2024 (. More info here 👉 #SOAP2024 #CallForPapers #ProgramAnalysis.Co-located with #PLDI2024.
0
4
7
SOAP 2023 is now accepting paper submissions!.Submit your experiments, tools, ideas on program analysis by March 10th, 2023. (.More info here 👉 (.#SOAP2023 #CallForPapers #ProgramAnalysis.
0
3
6
Talk on “Modeling Code Manipulation in JIT compilers” now at SOAP!
0
0
3
Thanks to Francesco Logozzo for a great talk on how to scale security analysis at Meta with abstract interpretation!
2
3
38
The approach uses (non)-interference analysis to detect the unwanted non determinism bahaviors. Static analysis is implemented in GoLisa.
1
0
1
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report.P: Luca Olivieri.
1
0
2
Nice analysis of what data scientists *really* need as output :-).
0
0
0
Caterina reinvents the classical "bugs are everywhere" old slide from the AI comunity
1
0
0
We have the pleasure to welcome @caterinaurban for a keynote <<Static Analysis for Data Scientists>>.
1
1
10