Professor for secure software engineering at @Uni_Stuttgart, activist, devout follower of @ModCuisine and @CookingIssues, human being 🏳️🌈💻🎓
Dortmund, Germany
Joined July 2009
- Tweets3.4K
- Following401
- Followers972
- Likes6.2K
Pinned Tweet
Lights out... show's over in this theatre. Please all move along. Nothing to see here anymore.
Ben Hermann | @[email protected] 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…
Ben Hermann | @[email protected] 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/
Ben Hermann | @[email protected] 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.
This week was a first... Halloween at @dagstuhl. With fog, owls, and everything! 10/10 - would do again. 🎃👻🦉
Ben Hermann | @[email protected] 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).
Ben Hermann | @[email protected] 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.
Ben Hermann | @[email protected] 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
Ben Hermann | @[email protected] 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 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. 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 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.
Ben Hermann | @[email protected] 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)
Ben Hermann | @[email protected] retweeted
Shoutout to our amazing team of volunteers who, guided by @malyzajko, worked tirelessly for the smooth sailing of #ISSTA24 and #ECOOP24 🫶
Ben Hermann | @[email protected] retweeted
We now expect artifacts to be evaluated, but they are still submitted as an afterthought.
Ben Hermann | @[email protected] 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
ALT Donald Trump during the presidential debate.
Ben Hermann | @[email protected] 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…
Ben Hermann | @[email protected] 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
Ben Hermann | @[email protected] retweeted
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
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.
ALT A person giving a presentation in a room. Palm tree on the right side. A presentation slide is visible on a big monitor
ALT A bunch of stickers showing the PhASAR logo.
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?
Of course the journey is far from over, but I thought I'd share this piece and would like to encourage everyone to share their research platforms and frameworks... it's very much worth the effort!
doi.org/10.1007/978-3-030-17…
github.com/secure-software-e…
