Andreas Zeller
AndreasZeller@mastodon.social

Meet my new team of Post-Docs: Dominic Steinhöfel (@dsteinhoefel), Alexi Turcotte, Jordan Samhi, and Rafael Dutra

September 21, 2023
Andreas Zeller
AndreasZeller@mastodon.social

When developing new research ideas, I ask myself: How could their result fit in _a single sentence_? In this interview, I show how this shapes my research, its communication, and the quest for impact. Enjoy!
🇺🇸 cispa.de/en/zeller
🇩🇪 cispa.de/zeller

July 20, 2023
Andreas Zeller
AndreasZeller@mastodon.social

Fuzzing embedded systems! If you’re at or today, drop in at 2:15 pm at G01 and see how we use GDB (yes, the GNU debugger) to fuzz test software running on embedded systems hardware: 2023.issta.org/details/issta-2

July 19, 2023
Andreas Zeller
AndreasZeller@mastodon.social

If you’re at and looking for a position in 2023 or 2024, talk to me. I have several positions to fill:
➡️ PhD students:
jobs.cispa.saarland/jobs/detai
➡️ PostDocs:
jobs.cispa.saarland/jobs/detai
Check out the project for topic suggestions: cispa.de/s3

July 18, 2023
Andreas Zeller
AndreasZeller@mastodon.social

Slides of my DEBT keynote “Language-Based Testing and Debugging“ are now available at slideshare.net/andreas.zeller/

My demo code (actually, this week’s coding assignment for my students) is at github.com/CISPA-SBTD-Seminar/ Enjoy!

July 17, 2023
Andreas Zeller
AndreasZeller@mastodon.social

In Seattle, visiting and . Find me
* Monday morning: giving a keynote at the workshop on debugging,
* Monday noon: hanging out at the workshop,
* Monday late afternoon: giving advice at the ISSTA Doctoral Symposium,
and at ISSTA & ECOOP all week!

July 17, 2023
Andreas Zeller
AndreasZeller@mastodon.social

My sister unearthed this photo of me from 1984. At this time, I did not know all the things I didn't know.

July 07, 2023
Andreas Zeller
AndreasZeller@mastodon.social

How to create the nastiest test inputs ever: My ten-minute talk on automated software testing is now available at youtube.com/watch?v=GCy8bYJ_G0

June 08, 2023
Andreas Zeller
AndreasZeller@mastodon.social

"Did you run the evaluation multiple times, and did earlier runs influence the design of your system or its parameters? If so, how?" I have asked this question in dozens of reviews and never got an answer.

June 02, 2023
Andreas Zeller
AndreasZeller@mastodon.social

@phf Most CS research groups in Germany get ample base funding (compared to the world), and thus are not so much dependent on research grants. This allows you to focus on long-term goals (say, formal verification for everyone), but also brings the risk of getting out of touch with reality. As a grant reviewer, I value both theoretical and practical breakthroughs, and recommend both for funding.

June 02, 2023
Andreas Zeller
AndreasZeller@mastodon.social

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
publications.cispa.saarland/39

👉 GDBFuzz is available as open source at github.com/boschresearch/gdbfu

May 23, 2023
Andreas Zeller
AndreasZeller@mastodon.social

(On a more personal note: I tested negative today, and am symptom-free. Thank you for all your support!)

May 17, 2023
Andreas Zeller
AndreasZeller@mastodon.social

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. jobs.cispa.saarland/

May 17, 2023
Andreas Zeller
AndreasZeller@mastodon.social

Missing ! 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 – enjoy a great conference!

May 14, 2023
Andreas Zeller
AndreasZeller@mastodon.social

T-Shirts for ! I am hiring multiple Post-Docs in software testing and analysis who want to combine their independent research agenda with our techniques. Ask wearers (+ me) at for details, and check out the S3 ERC project at cispa.de/s3

May 11, 2023
Andreas Zeller
AndreasZeller@mastodon.social

I just finished reviewing a paper on quantum programming. The paper is both accepted and rejected.

May 05, 2023