SOAP at PLDI '25 @SOAP_Workshop X Profile

SOAP at PLDI '25

@SOAP_Workshop

Followers

152

Following

66

Media

58

Statuses

214

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

https://t.co/oCRB8fyk1M

Seoul, South Korea

Joined September 2016

Don't wanna be here? Send us removal request.

SOAP at PLDI '25

@SOAP_Workshop

6 months

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

SOAP at PLDI '25

@SOAP_Workshop

6 months

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

0

5

SOAP at PLDI '25

@SOAP_Workshop

6 months

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

0

1

5

SOAP at PLDI '25

@SOAP_Workshop

6 months

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

0

3

SOAP at PLDI '25

@SOAP_Workshop

6 months

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

1

7

SOAP at PLDI '25

@SOAP_Workshop

7 months

The list of accepted papers and the (tentative) program are out! Check them out here 👉 https://t.co/dA9IBEHcp1 You can still register for SOAP for a few weeks! Come see us in Seoul 🇰🇷

0

1

4

SOAP at PLDI '25

@SOAP_Workshop

10 months

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

0

2

4

SOAP at PLDI '25

@SOAP_Workshop

10 months

📅Last week to submit at SOAP 2025! Get your papers ready by March 3rd, 2025 and submit them at https://t.co/wcyOoxlN9W 😎 More info here 👉 https://t.co/M8NNkf3f4T #SOAP2025 #CallForPapers #ProgramAnalysis #PLDI2025 #Seoul

0

1

SOAP at PLDI '25

@SOAP_Workshop

10 months

SOAP 2025 is accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 3rd, 2025 ( https://t.co/BwDlSodQDY). More info here 👉 https://t.co/M8NNkf3f4T #SOAP2025 #CallForPapers #ProgramAnalysis Co-located with #PLDI2025 in #Seoul.

0

4

7

SOAP at PLDI '25

@SOAP_Workshop

2 years

SOAP 2024 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 4th, 2024 ( https://t.co/3RknX0qo8a). More info here 👉 https://t.co/iJbHgQSZFv #SOAP2024 #CallForPapers #ProgramAnalysis Co-located with #PLDI2024.

0

4

7

SOAP at PLDI '25

@SOAP_Workshop

3 years

SOAP 2023 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 10th, 2023. ( https://t.co/YBLKBQJipT) More info here 👉 ( https://t.co/wBmMCZD7iF) #SOAP2023 #CallForPapers #ProgramAnalysis

0

3

6

SOAP at PLDI '25

@SOAP_Workshop

4 years

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

0

3

SOAP at PLDI '25

@SOAP_Workshop

4 years

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

2

3

38

SOAP at PLDI '25

@SOAP_Workshop

4 years

on stage

0

1

2

SOAP at PLDI '25

@SOAP_Workshop

4 years

The approach uses (non)-interference analysis to detect the unwanted non determinism bahaviors. Static analysis is implemented in GoLisa

1

0

1

SOAP at PLDI '25

@SOAP_Workshop

4 years

Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report P: Luca Olivieri

1

0

2

SOAP at PLDI '25

@SOAP_Workshop

4 years

Nice analysis of what data scientists *really* need as output :-)

0

SOAP at PLDI '25

@SOAP_Workshop

4 years

_live_

1

0

3

SOAP at PLDI '25

@SOAP_Workshop

4 years

Caterina reinvents the classical "bugs are everywhere" old slide from the AI comunity

1

0

SOAP at PLDI '25

@SOAP_Workshop

4 years

We have the pleasure to welcome @caterinaurban for a keynote <<Static Analysis for Data Scientists>>

1

10