Paper deadlines for ASE’25 co-located workshops are approaching! This year, nine exciting workshops are co-located with ASE’25, covering diverse SE topics. Deadlines vary, but most are due Aug 26 ⏳. Check each workshop’s website for details! conf.researchr.org/track/ase-20... #ASE25 #Workshop #CFP

25 years of delta debugging! On this day in 2000, I presented “Simplifying Failure-Inducing Inputs” at ISSTA - now one of the most influential works in the 50-year history of Transactions on Software Engineering. Read all about its genesis and impact at doi.ieeecomputersociety.org/10.1109/TSE....

Aixcc results !

Released today: the second video in my Programming Language Pragmatics series, covering Compilation, Interpretation, and Environments! www.youtube.com/watch?v=mrmo... Going forward, I'll post a video 3 times a week. Please share the series with anyone who might benefit!

Can we statistically estimate how likely an LLM-generated program is correct w/o knowing what is a correct program for that task? Sounds impossible-but it's actually really simple. In fact, our measure of "correctness" called incoherence can be estimated (PAC guarantees). arxiv.org/abs/2507.00057

LibAFLGo adds directed fuzzing to #LibAFL Neat! (not related to Golang) github.com/vusec/libaflgo

🚨 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

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)

Thrilled to share a recent opinion piece at the IEEE Security and Privacy (Vol. 23, Issue 3). Basically a long-term perspective on the field meant for both researchers and practitioners. 📝 ieeexplore.ieee.org/stamp/stamp....

Knowing the input language of a software system greatly facilitates its (automated) testing. In our new GDBMiner work, we use the GNU debugger (GDB) to extract precise input grammars from any recursive descent parser that can be traced via GDB: doi.org/10.4230/LITE...

My short impulse presentation from Cycon is online: youtu.be/qllU_B_Rmis?...

Just Accepted to ACM TOSEM! The "Havoc Paradox" is about the relationship between byte-level fuzzer mutations and their effect on the inputs produced by generators for structured strings (e.g. XML/SQL). Can disruptive mutations be controlled? Should they be? Find out. 📄 dl.acm.org/doi/pdf/10.1...

Massive 1.2k submissions to #ASE25 in Korea! 🎉 📈

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

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

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...

All @acm.org publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!

✨️ Now that #ICSE25 is over, it's time to get your papers ready for #ASE25 (30th May)! 📢 Here is what's new: * Major Revision v2.0 * Review criteria for tech. & experience papers * Policy on LLM-assisted Reviews * Auto-bidding (TPMS) * Rapid Response Reliable Reviewers 👇 For more details, read on.

📆 One month to go! The ASE 2025 Research Papers submission deadline is approaching: 30 May. We welcome impactful ideas and results that advance the state of the art in software engineering. 😉 #ASE2025 #SoftwareEngineering #CallForPapers

I'll be at #ICSE'25 in Ottawa for the week. If you see me, come and say Hi 👋 Looking forward to amazing research discussions!

Feature of our #ICLR'25 Spotlight paper, just presented in Singapore. www.mpi-sp.org/81927/news_p...

Our paper "Top Score on the Wrong Exam" paper will be presented at #ISSTA25 🐣 in Trondheim! 📝https://mpi-softsec.github.io/papers/ISSTA25-topscore.pdf 🧑‍💻https://github.com/niklasrisse/TopScoreWrongExam // @nrisse.bsky.social @fuzzing.bsky.social

My team at Trail of Bits is hiring! 🎉 If you enjoy building and breaking novel cryptographic protocols like threshold signature schemes and zero-knowledge proof systems please come and work with us! apply.workable.com/trailofbits/...

😒 Citing a paper in 2020: Google Search gives you 20 entries. Non contains a bibtex. 🥴 Citing a paper in 2025: Google Search gives you a bibtex. 2 authors are made up and 6 missed.

Benchmarks are our measures of progress. Or are they? Looking forward to exploring promises & perils of measuring tool capabilities @ SBFT'25! Thanks Gunel, Vincenzo, and Matteo for the invite! 👩‍🏭 sbft25.github.io (co-located w/ ICSE'25 in Ottawa) 📅 28.04. 11:00 GMT-4 (Also, live on Twitch)

🚨 LibAFL 0.15.2 🚨 - Rust 2024 edition - LibAFL_Unicorn - Use LibAFL rand types for other crates - Allow logging to StatsD - LibAFL_QEMU updates like binary-only ASan in Rust 🦀🦀🦀, inputs via StdIn, better snapshots And so much more: github.com/AFLplusplus/... #LibAFL #Fuzzing #AFLplusplus

What she said! Can we please stop being so US-centric as a community? I understand that it is hard for US-based people to leave the US right now but for anyone else going to the US for a conference always has been tricky, now more so than ever.

🚀 Apply now 🚀 The new Max Planck #Postdoc Program offers a guaranteed contract of at least 3 years, targeted mentoring, and career workshops. postdocprogram.mpg.de #ScienceCareer #PostdocProgram

Delighted that our paper on "Grammar mutation for testing input parsers" - led by Bachir Bendrissou and joint with @ccadar.bsky.social - is now published in ACM TOSEM! This came from a registered report at FUZZING. Check it out! doc.ic.ac.uk/~afd/papers/...

"Empirical Computation" is a fun, short paper with Eric Tang of CMU. We are exploring how to delineate programming from prompting to solve a computational problem, and what are the interesting challenges for the Software Engineering community to tackle. 📝https://arxiv.org/abs/2503.10954

OGHarn mutationally generates harnesses and uses 3 oracles of behavior to determine both their utility and validity, leading to the discovery of 41 new bugs(with zero false-positive crashes)! Paper: futures.cs.utah.edu/papers/25ICS... Source: github.com/FuturesLab/O... Happy Fuzzing! 🐛

#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

Hot take: We have now fully arrived in the empiricist era where results and utility are all that matters, where a fundamental understanding of underlying processes takes a backseat. And I think that's bad. plato.stanford.edu/entries/rati...

Been invited for a keynote. What should I talk about? What do y'all find interesting in #SoftSec or #fuzzing these days? 1) Software Security Analysis in 2030 2) Surprising Facts about Fuzzing 3) On Guarantees in Software Testing 4) ERC CoG on Invivo Software Analysis 5) Smtg else (write👇)

📢 Call for Papers: #ASE2025! ASE2025 invites submissions for the following upcoming tracks 🔍 Research Papers: 30 May ✨ NIER: 12 Jul ⚒️ Tool Demonstration: 23 Jul 🏢 Industry Showcase: 1 Aug 📄 Journal First: 1 Sep - 🛠 Workshop Proposals: 4 Apr #ASE2025 #SoftwareEngineering #Conference #CallForPapers

#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)

I'm super excited about this new track at the #FUZZING'25 workshop. It's the academic version of thoughtful blog posts, but with a paper and talk for wider reach! Submission deadline is in a month (March 20th)! fuzzingworkshop.github.io

#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)

Selected as ICLR'25 Spotlight 🤩 (5% of accepted papers) -- for a topic we've been mostly just working on for the fun of it. Congrats Seongmin! 🎉 📝 mpi-softsec.github.io/paper/ICLR25...

Purple sky in Bochum

Happy and honored to receive the 2025 ACM SIGSOFT Influential Educator Award! The citation refers to my work on interactive textbooks such as fuzzingbook.org and debuggingbook.org. Thanks to all who helped making this possible!

Yesterday, I gave a commencement speech for the graduates of #Passau University. "The virtue of simplicity" reflected on the role of simplicity in science, both personal and universal, and how it is important for the future career of graduates. Enjoy! andreas-zeller.info/2025/01/25/T...

Just got our first ICLR paper accepted! 🥳🥳 It shines light on a beautiful statistical riddle! Suppose, you train a classifier. How representative was the training data? What is the proportion of the *unknown* population of classifier inputs with classes *not* in the training data? Led by Seongmin.

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

Re-sharing to keep bluesky rolling go.bsky.app/EhGFSVj

Nominate yourself for the ASE'25 PC! The 40th IEEE/ACM International Conference on Automated Software Engineering is looking for PC nominations to maximize diversity of perspectives. 🖊️ forms.gle/UtKE4WBTrtUs... 🧑‍💻 conf.researchr.org/track/ase-20...

Tomasz Kuchta (Samsung Research) on the need for assurances in software testing, particularly at scale. Here is the full interview: research.samsung.com/srTalks/-SR-...

one week left to submit to the SpaceSec NDSS workshop! some highlights from the first two years: A Case Study on Fuzzing Satellite Firmware [1] Merge/Space: A Security Testbed for Satellite Systems [2] Death By A Thousand COTS: Disrupting Satellite Comms using Low Earth Orbit Constellations [3]

We have six open faculty positions in the Department of 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 www.imperial.ac.uk/jobs/search-...

Our Office Team at #MPI_SP is the best! Thanks for the nice chocolate surprise this morning. Happy Saint Nicholas Day to everyone who celebrates!