Slowly migrating to bluer skies:

Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas: - PL - Systems - Security - Software Eng. - Computer Architecture - Theoretical Computer Science Applications from individuals from underrepresented groups especially welcome! https://t.co/6LFgJXvMUw

Our own Ahmed Zaki (@pengwinsurf) 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

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! https://t.co/KR3xHHPQjm

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!

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

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

We have six open faculty positions in the Department of Computing @ICComputing at @imperialcollege, with software engineering among the focus areas! Outstanding candidates across all areas of computer science are encouraged to apply. More info at

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 @imperialcollege for hosting my talk.

🔮 ACM TOSEM Perspective Paper on Software Security in 2030 (Invited). 📝 https://t.co/giCT87yiWz Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello // @ACM_TOSEM @c_cadar @Sun450gmailcom1 @g_scanniello

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

I have a postdoc position in my group to work on an exciting project at the intersection of program analysis and GenAI: https://t.co/MMxrDkA2ZJ Reposts appreciated, both here and elsewhere.

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:

Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers! https://t.co/0kveZBbhK3 https://t.co/xtF2k2Dl0y

Excellent keynote from @Tomasz_Kuchta at the @kleesymex workshop this year, do check it out!

Also a shout-out for the pre-registration publication model adopted by FUZZING:

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. https://t.co/rN9u5ge6rR https://t.co/smJTAnCh9L

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

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. https://t.co/KtG1ETld87

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!