On my way to an IFIP meeting in York Harbor, Maine, meeting lots of awesome colleagues to discuss software implementation technologies https://www.ifip-wg24.org

I got a 2.5 Million EUR ERC Advanced Grant #ERCAdG (my 2nd)! In the project "Semantics of Software Systems" (S3), we will research massive generation of tests and oracles for software. Details (and proposal!) here: https://www.cispa.de/s3. Come work with me!

A big "thank you" to all who have helped me with the many proposal revisions and interview rehearsals. Particular 🙏🙏🙏 go to @rahul and @dsteinhoefel – this proposal would not have been possible without you and your work!

Super happy to receive a 10-year impact award from #MSR2013. See you in Melbourne! https://conf.researchr.org/track/msr-2023/msr-2023-mip-award

As a grant panel member, I frequently get reviews of grant proposals that praise the work but still give lots of advice for improvement. This can very quickly sink the proposal. Let me tell you why.

Panels _rank_ grant proposals. Which ones are the best that deserve funding? This is a _political_ process. Panel members will do their best to champion their favorite proposals and often oppose others.

Semantic Fuzzing! Wed 11:00 at #SE2023 in Paderborn, join @dsteinhoefel and me for a presentation of our #ISLa input spec language, string solver, and semantic fuzzer: https://dl.gi.de/handle/20.500.12116/40110

I have deleted a forwarded message showing how ChatGPT would (falsely?) out researchers. I will repost a sanitized version later.