The IEEE Computer Society interviewed me on my past and the Future of Automated Debugging and Software Testing. Enjoy! www.computer.org/publications...

The Future of Automated Debugging and Software Testing with Harlan D Mills Award Winner Andreas Zeller

Hardware-based protections validate what software cannot independently verify. They shift visibility from reactive observation to foundational assurance. This article takes a deeper look at the what, ...

computer.org

Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.

We are organizing the third edition of the "Fuzzing and Software Security Summer School 2026", at NUS on 26th–29th May 2026. We have a stellar set of speakers and will also have a Hackathon. Please share, and/or consider joining! fuzzingsummerschool.github.io/index.html

⏱️ 9 days until submission deadline (Dec 11, 23:59 AoE). Organized by: @yannicnoller.bsky.social, @rohan.padhye.org, @ruijiemeng.bsky.social, and Laszlo (@lszekeres.bsky.social) Szekeres.

Yannic Noller@yannicnoller.bsky.social · 10mo ago

#FUZZING'26 CALL FOR PAPERS ────── ✨ After 5 years, we will be again co-located with NDSS! 🔗 fuzzing-workshop.github.io 📅 11. Dec (Submission) //cc @mboehme.bsky.social (MPI-SP), @ruijiemeng.bsky.social (CISPA), @rohan.padhye.org (CMU), László Szekeres (Google)

#FUZZING'26 CALL FOR PAPERS ────── ✨ After 5 years, we will be again co-located with NDSS! 🔗 fuzzing-workshop.github.io 📅 11. Dec (Submission) //cc @mboehme.bsky.social (MPI-SP), @ruijiemeng.bsky.social (CISPA), @rohan.padhye.org (CMU), László Szekeres (Google)

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.org * @yannicnoller.bsky.social * @ruijiemeng.bsky.social and * László Szekeres (Google)

🚨 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 // @mboehme.bsky.social, László Szekeres, @rohan.padhye.org, @ruijiemeng.bsky.social

Marcel Böhme@mboehme.bsky.social · last yr.

We had two exciting keynotes: * From academia: Miryung Kim (Prof @ UCLA) * From industry: Will Wilson (CEO and Co-Founder of @AntithesisHQ.bsky.social). Stay tuned for recordings!

Introducing #Fandango 💃 — a powerful bio-inspired test generator designed to supercharge your software testing. Fandango gives you unprecedented control over test inputs, integrating grammars, constraints, and Python. Now with protocol testing! ➡️ Check out Fandango at fandango-fuzzer.github.io

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

We also have an excellent program of research talks and *fuzzing nuggets*. Detailed schedule coming soon. conf.researchr.org/home/issta-2...

🖊️ Register here: ntnu.eventsair.com/fse2025-isst... (FUZZING is a co-located workshop)

Rohan Padhye@rohan.padhye.org · last yr.

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

🚀 Our first blog post is live!!! Check out the interview with the new ACM TOSEM Editor-in-Chief, Prof. Abhik Roychoudhury@abhikrc.bsky.social — conducted by Aldeida Aleti@aldeidaaleti.bsky.social and Cristian Cadar@ccadar.bsky.social. 📖 Read it here: sigsoft.medium.com/interview-wi...

Interview with the New ACM TOSEM EiC, Prof. Abhik Roychoudhury

Interview conducted by Aldeida Aleti and Cristian Cadar ACM TOSEM Information Directors

sigsoft.medium.com

🏆🏆🏆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🎉🎉🎉

Coana has been acquired by Socket! 🤩 From basic research in static program analysis to real-world impact - read more 👉 socket.dev/blog/socket-...

Socket Acquires Coana to Bring Reachability Analysis to Ever...

Socket is bringing best-in-class reachability analysis into the platform — cutting false positives, accelerating triage, and cementing our place as th...

socket.dev

#FUZZING'25 Deadline Extension ────── If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025! 🔗 fuzzingworkshop.github.io //cc @rohan.padhye.org, László Szekeres, @ruijiemeng.bsky.social, @mboehme.bsky.social

#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: * Ruijie Meng (@ruijiemeng.bsky.social; NUS) * Rohan Padhye (@rohan.padhye.org; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20.March (Submission) 📅 17.April (Notification) 📅 28.June (Workshop)

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. 📝https://mpi-softsec.github.io/papers/TSE25-aflnet.pdf 🧑‍💻https://github.com/aflnet/aflnet Led by Ruijie and Thuan, w/ Abhik

We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social