It was great to attend Abhik Roychoudhury's MPI Distinguished Lecture "Trusted Automatic Programming" hosted by Marcel Böhme👨‍🔬! Learned a lot about program repair in the "pre-LLM" era and their issue-based solution AutoCodeRover (now Sonar) powered by LLM agents.

Looking forward to the inaugural Annual Singapore PL Summit: verse-lab.github.io/sg-pl-summit/ Thanks to the co-organizers Ilya Sergey and Yong Kiam Tan for bringing together a budding and vibrant PL community in and around SG.

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.

🔥 No fuzz drivers needed. Our paper on injecting fuzzers into running systems at user-defined amplifier points (in-vivo fuzzing) was accepted at #ICSE25! 📝 mboehme.github.io/paper/ICSE25-i… 🧑‍💻 github.com/OctavioGalland… (subject to AE) //Collab w/ Octavio Galland (former #MPI_SP intern).

We will host the 1st workshop on human-centered AI for SE, colocated with FSE 2025! Please consider participating and discussing on the exciting topics with us! humanai4se.github.io

Very pleased to post this message in support of Ruijie Meng, who is graduating from NUS this year, and is currently in the academic job market - see webpage mengrj.github.io Her PhD work focuses on fuzzing of reactive systems, and rendering much of the bug finding

Nominate yourself for the ASE'25 PC! The 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) is looking for PC nominations to maximize diversity of perspectives. 🖊️ forms.gle/UtKE4WBTrtUsKg… 🧑‍💻 conf.researchr.org/track/ase-2025… w/ Lingming Zhang

We reflect on the 5-year impact of our protocol fuzzer #AFLNet on research & practice in this journal extension *just accepted* at the Transactions on Software Engineering. 📝mpi-softsec.github.io/papers/TSE25-a… 🧑‍💻github.com/aflnet/aflnet Led by Ruijie Meng and @ThuanPv_ w/ Abhik Roychoudhury

Time flies!! It has been 5 years since we released and demonstrated AFLNet at ICST 2020. What a great journey! We share some reflections and an ablation study of our tool in this recently accepted TSE paper. We also introduce the “dark-grey-mode” of AFLNet. Pls check it out!

Introducing our first #ICRA2025 paper, SELP (Safe Efficient LLM Planner), a method for generating plans for robot agents that adhere to user constraints while optimizing for time-efficient execution. 🔗 Preprint: arxiv.org/pdf/2409.19471 #LLMs #Robotics #Agent

#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: Ruijie Meng (NUS) + Rohan Padhye (Rohan Padhye; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20. March (Submission) //cc @YannicNoller (RUB), László Szekeres (László Szekeres; Google)

We invite you to nominate yourself to serve on the Program Committee for FSE'26. Please use the following link to access the nomination form: docs.google.com/forms/d/e/1FAI…

Peking University's summer school for international students is an opportunity to explore cutting-edge CS research and learn about Chinese culture. Deadline: April 20, 2025 Peking University School of Computer Science

🏆🏆🏆We are thrilled to announce the inaugural recipient of the TOSEM Outstanding Paper (TOP) Award: “Assessing and Improving Malware Detection Sustainability through App Evolution Studies” (TOSEM’19), Haipeng Cai. Please join me in congratulating the author Haipeng Cai 🎉🎉

We're excited to announce two keynote speakers for the #FUZZING'25 workshop (part of ISSTA Conference at Trondheim, Norway): [*] Will Wilson, CEO and Co-Founder of Antithesis [*] Miryung Kim, Professor and Vice Chair of Graduate Studies at UCLA Computer Science conf.researchr.org/home/issta-202…

It was great to see the community come together again at our 4th #FUZZING workshop in Trondheim this year! We drew a big crowd. Enjoyed the super lively discussions. Thanks to the organizers: Rohan Padhye (Rohan Padhye) @YannicNoller Ruijie Meng and László Lszekeres (László Szekeres).

🚨 Our amazing #FUZZING'25 keynotes are online! "Constraining Fuzzing without Paying Too Much" by Miryung Kim youtu.be/L90MBb6NLBE "Are you sure you belong in academia?" by Will Wilson youtu.be/qQGuQ_4V6WI // Marcel Böhme👨‍🔬, László Szekeres, Rohan Padhye, Ruijie Meng

📢 Call for Papers: TOSEM Special Issue in Agentic AI We're inviting submissions for a special issue on Agentic AI in ACM Transactions on Software Engineering and Methodology (TOSEM)! 📄 Submission details below 👇 🔗 Submit here: mc.manuscriptcentral.com/tosemhttps://m…

Looking for a PostDoc, a PhD, and 3-6mth interns as part of my ERC project. Homepage: mboehme.github.io Böhme Lab: mpi-softsec.github.io Reach out if you find this interesting. 👇

#FUZZING'26 CALL FOR PAPERS ────── ✨After 5 years, we will be again co-located with NDSS! 🔗 fuzzing-workshop.github.io 📅 11. Dec (Submission) //cc Marcel Böhme (Marcel Böhme👨‍🔬; MPI-SWS), Ruijie Meng (CISPA), Rohan Padhye (Rohan Padhye; CMU), László Szekeres (László Szekeres; Google)