How do you fuzz code that cannot be instrumented, e.g. on an embedded system? It turns out you can use GDB for that!
👉 Check out our upcoming “GDBFuzz” @issta_conf paper at
https://publications.cispa.saarland/3950/
👉 GDBFuzz is available as open source at https://github.com/boschresearch/gdbfuzz
(On a more personal note: I tested negative today, and am symptom-free. Thank you for all your support!)
My PhD students at @ICSEconf! If you meet Tural Mammadov, Marius Smytzek, Leon Bettscheider , or Fengmin "Paul" Zhu, ask them about their research, what it’s like to work with me at @CISPA - and how I made them wear these T-shirts. https://jobs.cispa.saarland/
Missing #ICSE! On the day of my flight to Australia, I tested positive for COVID and will thus stay at home. Wishing my friends and colleagues all the best at #ICSE2023 – enjoy a great conference!
T-Shirts for #ICSE2023! I am hiring multiple Post-Docs in software testing and analysis who want to combine their independent research agenda with our #S3 techniques. Ask wearers (+ me) at #ICSE for details, and check out the S3 ERC project at https://cispa.de/s3
I just finished reviewing a paper on quantum programming. The paper is both accepted and rejected.
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