🔔 Round 2 deadline is approaching!

Submissions are open for one more week until:
🗓️ April 12, 23:59 AoE

On my way to Tokyo, Japan for a NII Shonan meeting on “Foundation Models and Software Engineering: Challenges and Opportunities” shonan.nii.ac.jp/seminars/176/

'Language-Based Software Testing,' by Dominic Steinhöfel 🦩 CISPA and Andreas Zeller Universität Saarland, on the state of software testing bots. bit.ly/4akCCVs

🌟Kurt Mehlhorn, MPI for Informatics Founding Director & Universität Saarland Professor, featured in 'People of Association for Computing Machinery: From early computer science to present, he shares insights & pioneering work like creating #LEDA . Dive into his story!💡acm.org/articles/peopl… #computerscience

This is a lovely writeup about a recent experiment Brendan Dolan-Gavitt and Toby Murray conducted on having Claude fuzz, and 'statically analyze', certain C programs. The writeup beautifully summarizes a few Twitter threads. Thanks to Toby for taking the time to write such a clean summary.

As a PC member, did you ever get a mail from an author pointing you to their “interesting” submission so you can bid on it and review it? At ICSE, such behavior will now result in the paper being rejected without review: icse2025.hotcrp.com

Just finished my ISSTA Conference reviews

By popular demand, my #autoreject automatic review generator is back! Find it at its new home uds-se.github.io/autoreject/

Neue Podcast-Folge mit @Andreaszeller vom CISPA über das Testen von #Software .

Ganze Sendung und kostenloses #Podcast -Abo: resonator-podcast.de/2024/res202-au… (hk)

When formatted as a PDF, the The Fuzzing Book now has 1,477 pages

Regarding climate action, if you are organizing a conference with catering, consider making vegetarian food the default, with people required to explicitly opt in to get food containing meat. This was a great suggestion made by Adam Chlipala from MIT during the feedback session…

Congratulations to my PhD student Max Eisele for winning the ACM SIGSOFT/ACM SIGBED Frank Anger Award!

Max Eisele works on testing and analyzing embedded systems at Bosch. He is best known so far for GDBFuzz, a GDB-based fuzzer for embedded systems medium.com/security-garte…

We have 2 PhD positions in Software Security at #MPI -SP in Germany.

We are interested in developing automatic techniques that analyze software systems at the large scale.

Happy to chat if you want to find out more. Reach out via mboehme.github.io.

Please share! We will hold the 'Fuzzing Summer School 2024' at NUS Computing in Singapore! We are excited to feature speakers such as Abhishek Arya, Marcel Böhme👨‍🔬, Mathias Payer, Thuan Pham, and Andreas Zeller. Apply by 16 Feb 2024. fuzzing.comp.nus.edu.sg CC Umang Mathur Abhik Roychoudhury

Pascal was the first high-level programming language I learnt. And I guess I am one of many.

At @Dagstuhl, kicking off my new ERC project “Semantics of Software Systems” cispa.de/s3

That time all your favorite devs teamed up to write a book about coding. And all the royalties went to Amnesty International.

Brian Kernighan, Simon Peyton Jones, Bryan Cantrill, Greg Koah-Hartman, Jeff Dean, R. Kent Dybvig, Yukihiro Matsumoto, what a list.

ML4SE role at DeepMind.

SHOCKING findings in 2023 Software Engineering papers