I am happy to share that our paper deepSURF has been accepted to IEEE S&P 2026!

This effort was led by my student George Androutsopoulos (https://www.linkedin.com/in/gandrout/).

deepSURF combines the use of program analysis and LLMs to uncover memory safety bugs in Rust’s unsafe code.

You can check out the code and the paper here:

https://github.com/purseclab/deepSURF

https://arxiv.org/abs/2506.15648

#Rust #Security #ProgramAnalysis #LLM #Fuzzing #Purdue

Yesterday we published the next recording from the #LLVM #Meetup #Darmstadt

Alexander Hueck - Opaque Pointers and Debug Info [LLVM Meetup Darmstadt March 2023]
https://youtu.be/bQIxgYMmWn4

Go check it out to learn a bit more about #DebugInfo and #OpaquePointers in the light of a #Typechecker for #MPI programs

#HPC #ProgramAnalysis

After quite a bit of work, I'm delighted that #MetaCG v0.8.0 just got released and I want to thank everybody who contributed to the project.

Check it out, star the repo and watch for more updates.
Get your copy at https://github.com/tudasc/MetaCG/releases/tag/v0.8.0

#HPC #llvm #clang #software #ProgramAnalysis

SOAP 2024 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 4th, 2024 (https://soap24.hotcrp.com).

More info here 👉 https://pldi24.sigplan.org/home/SOAP-2024 #SOAP2024 #CallForPapers #ProgramAnalysis
Co-located with #PLDI2024

PhD position on Program Analysis for LLVM-IR and all its source languages: https://utwentecareers.nl/en/vacancies/1320/phd-position-on-program-analysis-for-llvm-ir-and-all-its-source-languages/

#PhD #ProgramAnalysis

I'm happy to share that I just released #MetaCG version 0.5.0 \o/

Besides a number of important bug fixes, we have *finally* reworked some internals that gave us a great performance improvement. For several use cases from minutes to seconds.
Thank you so much to everybody who contributed.

If your curious, check it out at https://github.com/tudasc/MetaCG

#HPC #ProgramAnalysis #CallGraph #TUDaSC