🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I agree; in this day and age it doesn't help prevent spam and it just makes it unnecessarily hard for legitimate communication to reach you.

I'll be there at the start of the week, giving a keynote at LCTES'24 on Monday, on the topic of fuzzing. Looking forward to catching up with the LCTES/PLDI crowd!

I am teaching at Marktoberdorf Summer School this year. I highly recommend it in future years if you are a PhD student in verification, PL, SE, and related areas. sites.google.com/view/marktober…

Excited to start working soon on FORTE, an European Research Council (ERC) Proof of Concept project which will explore practical applications of our research on safe and secure software evolution. More details in the article below.

Great to be at FUZZING'24, where we are presenting two registered reports, one on CI/CD fuzzing and the other on sparse loop symbolic execution. srg.doc.ic.ac.uk/publications/2… srg.doc.ic.ac.uk/publications/2…

Also a shout-out for the pre-registration publication model adopted by FUZZING: fuzzbench.com/blog/2021/04/2…

Excellent keynote from Tomasz Kuchta at the kleesymex workshop this year, do check it out!

Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers! srg.doc.ic.ac.uk/klee24/keynote… srg.doc.ic.ac.uk/klee24/accepte…

It was great to catch up today with the verification community at the 16th VSTTE. My keynote reflected on testing vs. verification, and introduced dynamic symbolic execution as a technique between T & V. Slides for my keynote are now available at: srg.doc.ic.ac.uk/talks/24-dse-v…

I have a postdoc position in my group to work on an exciting project at the intersection of program analysis and GenAI: srg.doc.ic.ac.uk/vacancies/post… Reposts appreciated, both here and elsewhere.

Always a pleasure to be back at ⁦Schloss Dagstuhl⁩, this time learning about automated programming.

🔮 ACM TOSEM Perspective Paper on Software Security in 2030 (Invited). 📝 mpi-softsec.github.io/papers/TOSEM25… Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello // @ACM_TOSEM Cristian Cadar Liu Yang Giuseppe Scanniello

Delighted to talk today about program analysis for safe and secure software evolution to a great audience in Singapore! Many thanks to Imperial Global Singapore Imperial College London for hosting my talk.

We have six open faculty positions in the Department of Computing Imperial Computing at Imperial College London, with software engineering among the focus areas! Outstanding candidates across all areas of computer science are encouraged to apply. More info at imperial.ac.uk/jobs/search-jo…

I am delighted to be in Singapore for an extended visit, kindly hosted by Abhik Roychoudhury and his awesome group at NUS. I've already had many interesting and productive meetings at NUS and beyond, and I'm looking forward to my remaining time here!

Thank you, David Lo for hosting me at SMU today, and thanks to everyone in the audience for their excellent questions and suggestions.

My PhD student Ahmed's research is focused on the challenging problem of both generating and contributing test cases to library repositories. Our recent paper presents an interesting relevant technique and case study. Talk to him at SANER! srg.doc.ic.ac.uk/publications/2…

I am looking to fill a Research Associate/Assistant position on an exciting project at the intersection of program analysis and GenAI. Candidates should be able to start soon (in the next few months). If you are interested, please get in touch ASAP! srg.doc.ic.ac.uk/vacancies/25-r…

Our own Ahmed Zaki (Ahmed Zaki) just presented his APISlicer work with a talk titled "Generating and contributing test cases for C libraries from client code: A case study" at SANER 2025! #SANER2025