Ben Hermann | @[email protected]

Lights out... show's over in this theatre. Please all move along. Nothing to see here anymore.

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-20…

📢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/

@timmenzies Congrats Tim! 🥳🥳

"Dear Dr. Menzies It is my privilege to confirm your elevation to ACM Fellow. Fellow is ACM's highest membership grade. The number of Fellows is limited and the criteria are very strict. Congratulations on this very significant honor." I have so many people to thank...

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.

@mtbaldassarre @aserebrenik Commitment seems to be harder to get and give currently. Would be really interesting to see why this is.

@aserebrenik Terrible situation!!! Lately happens to me all the time. We should conduct some research to investigate the reasons for this trend! 🤕

Here we go again... #editor

@Numair_Mansur @dagstuhl Professor 😂

@benhermann @dagstuhl What was your costume?

This week was a first... Halloween at @dagstuhl. With fog, owls, and everything! 10/10 - would do again. 🎃👻🦉

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. 🤯

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).

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.

✨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-no… @m_mezini @sigsoft

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.org/track/prog25-w…. I’m happy to answer any questions.

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-tcse… (please RT)

Shoutout to our amazing team of volunteers who, guided by @malyzajko, worked tirelessly for the smooth sailing of #ISSTA24 and #ECOOP24 🫶

We now expect artifacts to be evaluated, but they are still submitted as an afterthought.

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

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/positions/

#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

Pro-Tipp: If you write me an email asking me to do something, don't use Comic Sans... 💭