SOAP at PLDI '25 @SOAP_Workshop
The International Workshop on the State Of the Art in Program Analysis (SOAP), co-located with @PLDI. pldi25.sigplan.org/home/SOAP-2025 Seoul, South Korea Joined September 2016-
Tweets214
-
Followers153
-
Following69
-
Likes66
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
215
1
Download Image
Our last invited talk from Charles Zhang starts the last session!
Our second invited talk by Yulei Sui on the analysis of neural networks kicks off the afternoon!
We start with an invited talk by Xavier Rival on the MemCAD analyzer!
All is ready for SOAP! We'll be waiting for you in the orchid room!
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 🇰🇷
⚠️ SOAP deadline has been extended! Full papers can be submitted up to March 5th AoE!
📅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 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.
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 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
Talk on “Modeling Code Manipulation in JIT compilers” now at SOAP!
Thanks to Francesco Logozzo for a great talk on how to scale security analysis at Meta with abstract interpretation!
Alexandre Bartel @software_ses
10 Followers 89 Following Software Engineering and Security Group at Umeå University, Sweden.
クマムシ.exe @SugarHigh_bin
385 Followers 5K Following
Lou Predovic @LPredovic26114
1 Followers 173 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/0Qj9VvF3z3
A T @iDramedy
330 Followers 6K Following
Rommel Quintanilla @rommelqc
178 Followers 2K Following
Teyshoresh @teyshoresh95795
97 Followers 6K Following
Federico Bruzzone @fedebruzzone7
90 Followers 157 Following PhD Candidate in Computer Science. Programming Languages and Compilers enthusiast. Also, Sound Engineer and Music Composer.
Yuzhou Fang @y3s0n
150 Followers 713 Following Ph.D. student @CSatUSC, former intern @Meta. Software Engieering/Formal Methods/Programming Languages Opinions are my own.
Ricklee @usricklee
580 Followers 8K Following
Yatindra Indoria @yatindraindoria
24 Followers 97 Following
yarcompsci @yarcompsci
8 Followers 471 Following
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Michael Schwarz @93mSchwarz
113 Followers 277 Following PhD Student in Computer Science @TU_Muenchen working on Static Program Analysis. Also at: https://t.co/cAFeibkqEr
Martin Nyx Brain @ciphernyx
838 Followers 481 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Xizao Wang @wangxiz
44 Followers 484 Following Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages.
NSAD at SPLASH 2024 @NSAD_Workshop
21 Followers 38 Following The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD), co-located with @splashcon
Pradeep kumar @pt_of_no_return
94 Followers 606 Following MLIR / LLVM @ Nvidia | Programming Languages, Compilers & GPU | Cycling and Running | Love to talk about Physics, CS, Maths & Philosophy
Shiyi Wei @_shiyiwei_
0 Followers 10 Following
Parnian @Parnian_Kamran
13 Followers 212 Following Ph.D. student @ucdavis | Formal Methods, Programming Languages, Trustworthy LLMs, Systems Security
Praneeth Varma @praneethshub
43 Followers 841 Following
Greta Dolcetti @greta_dolcetti
29 Followers 109 Following
Sarah Zennou @BincatLady
654 Followers 364 Following member of @AirbusSecLab | academic brain of BinCAT
Sangeeta Chowdhary @schowdhary02
630 Followers 706 Following Researcher @AMD. Ph.D. @Rutgers. Compilers and Runtimes for accelerators.
Luca Negrini @lucaneg7
18 Followers 109 Following PhD in Computer Science | Static Analysis Specialist | Assistant Professor @ Ca' Foscari Univeristy of Venice
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
stanley okeshehor @stanleyokesheh3
476 Followers 8K Following I am a rap artist by the name k-star aka rhymestar. I do quality music with rhyme and rhythm.
guru @guruprerana
176 Followers 577 Following phd student at penn - concerned about all forms of synthesis and verification for autonomous agents
Luca Olivieri @OlivieriLuca93
5 Followers 7 Following PhD in Computer Science | Assistant Professor at Ca' Foscari University of Venice working on static analysis
Emmett Neyman @EmmettNeyman
525 Followers 1K Following Magic the Gathering nerd | SWE @Meta working on static analysis for security | interested in PL, Compilers, and Security | @CIS_Penn alum | Seattle | he/him
Static Analysis Sympo... @symposiumSAS
298 Followers 2 Following 31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
AMADIOHA @AMADIOHA_OKAKAA
0 Followers 71 Following All the heavens , All the Gods ,All the Hell are within Me
kasozi Vincent @kasozi_vin
99 Followers 705 Following MSc software engineering | Bsc Computer science
Adrian Herrera @0xadr1an
1K Followers 696 Following Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.
Arzu Behiye TARIMCI�... @sea_plus_plus
167 Followers 850 Following #build #human #ボイドランドこ🌎 Opinions mine saveasin @ blue sea
Luca Negrini @lucaneg7
18 Followers 109 Following PhD in Computer Science | Static Analysis Specialist | Assistant Professor @ Ca' Foscari Univeristy of Venice
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Ferhat Erata 🦀 @ferhaterata
510 Followers 2K Following PhD Candidate @Yale • Automated Reasoning • Reinforcement Learning • Alignment • Security • Applied Scientist @AmazonScience @AWSCloud • Views my own
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
Margo Seltzer @margo_seltzer
1K Followers 69 Following
Hila Peleg is not her... @HilaCodes
2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
Alexandra Silva @alexandra8silva
2K Followers 869 Following Computer scientist, loves traveling and food tasting!
Zvonimir Rakamaric @rakamaric
635 Followers 630 Following
Emmett Neyman @EmmettNeyman
525 Followers 1K Following Magic the Gathering nerd | SWE @Meta working on static analysis for security | interested in PL, Compilers, and Security | @CIS_Penn alum | Seattle | he/him
Francesco Logozzo @FrancescoLogozz
174 Followers 165 Following
Laura Titolo @laura_titolo
165 Followers 202 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
Marielle Stoelinga @m_stoelinga
389 Followers 236 Following Professor ICT Risk Management | Innovation | Betrokken Burger | Ongeneeslijk Optimistisch
Vincenzo Arceri @ArceriVincenzo
123 Followers 280 Following Assistant Professor (no-tenure track) @unipr
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
AbsInterpretation @AbsInterpret
235 Followers 106 Following News from the amazing abstract interpretation field!
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Carsten Fuhs (@Carste... @CarstenFuhs
129 Followers 191 Following Senior Lecturer in Computer Science at Birkbeck, U of London: program analysis, verification, automated reasoning, term rewriting, ... Language(s) aficionado.
Laure Gonnord @l_gonnord
1K Followers 614 Following Enseignante-Chercheuse en Informatique, sur le départ de twitter
Caterina Urban @caterinaurban
400 Followers 280 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Secure Software Engin... @SecEngUPB
769 Followers 37 Following Secure Software Engineering group at Heinz Nixdorf Institute of Paderborn University
Laurie Hendren @ljhbabybear
34 Followers 4 Following
Hadrien Majoie @HadrienMajoie
67 Followers 209 Following #Blockchain #technology #crypto specialist, owner of a multinational #Fintech company, patron of #security conferences, #aeternity investor, love #fashion
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Michael Carbin @mcarbin
3K Followers 359 Following Associate Professor in EECS at @MIT | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Kent Beck 🌻 @KentBeck
183K Followers 829 Following Programmer, coach coach, artist, pokerist, singer/guitarist. Learning to be me. Chief Scientist at Mechanical Orchard. Mastodon: @[email protected]
Martin Fowler @martinfowler
353K Followers 183 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
Dionysis Zindros @dionyziz
6K Followers 859 Following Cryptography/Blockchains @CommonPrefix. Post-doc @stanford; PhD @uoaofficial; MEng @NTUA. Prev: @Google @Twitter. Pilot LGTT. ✈️⛵️🎹🇬🇷🌈
Emery Berger @emeryberger
5K Followers 5K Following No longer posting here. @emeryberger.bsky.social, Threads: @emeryberger, Mastodon: @[email protected]
Bernhard Scholz @bsch0132
102 Followers 45 Following
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Neil Ernst @neilernst
2K Followers 956 Following Associate Professor of Computer Science/Software Engineering
Neville Grech @neville_grech
594 Followers 335 Following Co-Founder @dedaub. Lecturer @UMMalta. Security researcher in program analysis & blockchain.
Crista Lopes @cristalopes
2K Followers 398 Following Jedi Master @[email protected] @cristalopes.bsky.social
Guido Salvaneschi @guidosalva
753 Followers 433 Following Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Florian Kuebler @kuebler_stg
10 Followers 43 Following
Thorsten Holz @thorstenholz
7K Followers 363 Following Faculty at @CISPA, focussing on computer/systems security. My tweets are my own. Mastodon: @[email protected]
USENIX Security @USENIXSecurity
12K Followers 146 Following USENIX Security '23 is SOLD OUT. The event has reached maximum physical capacity, and we will not be able to accommodate any additional registrations.
IEEE S&P @IEEESSP
9K Followers 0 Following Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy.
Thomas Wuerthinger @thomaswue
5K Followers 4 Following No longer active here. Find me at https://t.co/FX2ebaTGhU For DM: [email protected]
Yannis Smaragdakis @YSmaragdakis
1K Followers 184 Following Program analysis, prog. langs researcher. Dedaub co-founder. My crypto/vulnerability activity is on @dedaub, not on this account. DO NOT DM HERE, not checking.
ISSTA Conference @issta_conf
2K Followers 17 Following The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and AnalysisTrends for United States
53,4 B posts
14,1 B posts
4.398 posts
2.772 posts
11,9 B posts
26 B posts
12,7 B posts
8.724 posts
5.333 posts
139 B posts
49,1 B posts
3.922 posts
1.315 posts
3.894 posts
196 B posts
27 B posts
17,4 B posts
3.193 posts
You might like
SPLASH Conference
@splashcon
3K Followers
Peter O'Hearn
@PeterOHearn12
1K Followers
POPL 2026
@poplconf
3K Followers
Karim Ali (كريم �...
@karimhamdanali
1K Followers
Derek Dreyer
@HerrDreyer
3K Followers
CAV
@confCAV
796 Followers
Zachary Tatlock
@ztatlock
1K Followers
ICSE
@ICSEconf
12K Followers
ACM SIGSOFT
@sigsoft
4K Followers
Manu Sridharan
@rakingleaves
2K Followers
Caterina Urban
@caterinaurban
400 Followers