Professor for secure software engineering at @Uni_Stuttgart, activist, devout follower of @ModCuisine and @CookingIssues, human being 🏳️‍🌈💻🎓

Joined July 2009
240 Photos and videos
Lights out... show's over in this theatre. Please all move along. Nothing to see here anymore.

ALT Cat Cats GIF

1
3
477
Ben Hermann | @benhermann@mastodon.social retweeted
The call for workshops for #ECOOP2026 is out. Interested in hosting a workshop in areas related to the theory, design, implementation, optimization, testing, and analysis of programs and programming languages consider hosting at @ECOOPconf All info at: 2026.ecoop.org/track/ecoop-2…

3
22
453
Ben Hermann | @benhermann@mastodon.social retweeted
📢We are opening 10 PhD positions at the Vienna University of Technology (@tu_wien) as part of our newly funded doctoral college on Automated Reasoning! Deadline: May 18, 2025 Start: October 2025 (or soon after) Details and application link: forsyte.at/docfunds/

1
10
24
4,243
Ben Hermann | @benhermann@mastodon.social retweeted
Today, Nov 16 is the 108th birthday of Christopher S. Strachey (16 November 1916 – 18 May 1975). Strachey was one of the founders of denotational semantics, and a pioneer in programming language design . He is one of the LGBTIQ pioneers in computing.
8
25
1,621
This week was a first... Halloween at @dagstuhl. With fog, owls, and everything! 10/10 - would do again. 🎃👻🦉
1
10
499
Social Media Inception... Posting a photo of a printout of @skate702 's post of finding his paper in the @dagstuhl library at last years software engineering research method training while being at @dagstuhl for this years software engineering research method training. 🤯
1
6
1,108
Ben Hermann | @benhermann@mastodon.social retweeted
I will be presenting "Seneca: Taint-Based Call Graph Construction for Java Object Deserialization" at #OOPSLA2024 later today. The presentation will be during the Static Analysis and Program Verification 3 session (room IBR East).
1
48
1,937
Ben Hermann | @benhermann@mastodon.social retweeted
Ethical challenges in cybersecurity conferences. Deeply disturbing and thanks @acm_ccs for sharing this openly. This calls for action or we risk of devaluing (even more) any research: papers should be byproducts of true and honest advances, not mere numbers.
17 Oct 2024
Wow, I appreciate @acm_ccs being frank about review ethics! #CCS
2
5
37
3,757
Ben Hermann | @benhermann@mastodon.social retweeted
✨Serve on the @icseconf 2026 PC! ✨ The self-nominations for the program committee of the 48th International Conference on Software Engineering are open! 🇧🇷 Apply here soon, but no later than 🗓️November 12, 2024! bit.ly/icse2026-pc-nominatio… @m_mezini @sigsoft
1
6
38
5,441
Ben Hermann | @benhermann@mastodon.social retweeted
Please consider holding a workshop at @programmingconf 2025. Those of us doing independent research on software sometimes feel like we are rejected by academic computer science because our work doesn’t have the proper shape. In turn we tend to dismiss academia as a dysfunctional status game. Workshops are a way to bridge this divide between independents and academics. Since workshops offer little credit towards academic career advancement they are less subject to gatekeeping. The <Programming> conference is particularly open-minded about the form and content of its associated workshops, with a pronounced fondness for the softer and more human aspects of programming. <Programming> attracts researchers from diverse fields with open minds. Please consider this opportunity to enrich your community by engaging with both independents and academics at a <Programming> workshop. The conference will be in Prague, with the workshops held June 2-3, 2025. Further details are in the Call for Proposals: 2025.programming-conference.…. I’m happy to answer any questions.

1
15
31
3,431
Ben Hermann | @benhermann@mastodon.social retweeted
Hello, SE peeps, here's a warm, broad invitation to the community to submit nominations for the TCSE Rising Star Award. "Intention" must be submitted by Oct 21, full nomination by Nov 4 tc.computer.org/tcse/2025-tc… (please RT)
1
7
14
1,355
Ben Hermann | @benhermann@mastodon.social retweeted
Shoutout to our amazing team of volunteers who, guided by @malyzajko, worked tirelessly for the smooth sailing of #ISSTA24 and #ECOOP24 🫶
1
4
22
1,757
Ben Hermann | @benhermann@mastodon.social retweeted
We now expect artifacts to be evaluated, but they are still submitted as an afterthought.
1
2
7
520
Ben Hermann | @benhermann@mastodon.social retweeted
Like it or not: Germany’s energy system is fully operational, with more than 50% renewables. And we are shutting down – not building – coal & nuclear plants. Coal will be off the grid by 2038 at the latest. PS: We also don’t eat cats and dogs. #Debate2024
9,972
17,088
88,054
17,084,337
Ben Hermann | @benhermann@mastodon.social retweeted
I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems in automated software testing and program repair, I would be happy to chat at @issta_conf in Vienna or simply email me. RT appreciated! yannicnoller.github.io/posit…

1
24
41
6,029
Ben Hermann | @benhermann@mastodon.social retweeted
#devs, do you sometimes get stuck on a programming task like you've hit a block? Or do you hear about your colleagues being stuck? Great! Help us research blocks during programming and share your experience with us by completing this 15-minute survey: mytuc.org/gmrk

3
1
830
Pro-Tipp: If you write me an email asking me to do something, don't use Comic Sans... 💭
7
722
Ben Hermann | @benhermann@mastodon.social retweeted
28 Jun 2024
Soon, a new research initiative on #QuantumComputing #software will start in #Germany: The #SPP2514 "Quantum Software, Algorithms and Systems" by @dfg_public. Today, we had an initial round-table discussion about it at @TU_Muenchen. Many thanks for the great exchange!🙂 1/2
2
4
15
1,270
As it is PLDI week, I thought I'll share a bit of personal history: A bit more than six years ago, we made PhASAR publicly available accompanied by our tutorial at PLDI'18 in Philadelphia. @pd_schubert, Eric Bodden and I were very proud of what we built.
1
23
920
Here a few bits for the numbers people: Our paper on the framework just surpassed 100 citations 🥳, the GitHub repo has over 900 stars and 140 forks 🤯 and has 48 contributors so far 🙏 🙇‍♂️. Maybe you want to be No.49?
1
2
171