Ben Hermann

⏳ LAST CALL: Nominations for the 2027 AITO Dahl-Nygaard Prizes close Nov 30! Organizing 3 referees takes time, so act shortly to nominate your candidate. Info: sites.google.com/aito.org/hom... Form: docs.google.com/forms/d/1EU0...

If you are at ASE 2026 in Munich in a couple of weeks and have a paper with badges (any conference) please find me to get stickers for your laptops, posters, etc. #ase2026 @aseconf.bsky.social

The emotional roller coaster of open science: Step 1: yay, this article is sharing their dataset! Step 2: nay, the URL only points to a GitHub repository that doesn't exist anymore! The article was not even published a year ago, come on...

REMINDER: Our call for a professorship in the programming language field ends this Sunday! Make sure your application is in the system on time.

The program of ICOOOLPS is now online: 2026.ecoop.org/home/ICOOOLP... And today is the last day for early registrations. Interested in programming language implementation, compilation, and optimization? Join us in Brussels! Don't know what to expect? 1/2

Last call! Early registration for #ECOOP2026 closes tomorrow, May 14th. Keynotes on verified compilation, 15 years of Viper, and where programming paradigms converge. Brussels, June 29 – July 3. Register before the deadline: 2026.ecoop.org/attending/re...

📢 Call for Artifact Evaluation Reviewers! Join the ASE 2026 & ISSTA 2026 AE committees. Support open science while gaining an inside look at top-tier research artifacts. 📝 Apply now: docs.google.com/forms/d/e/1F... 🔁 Please boost! #ASE2026 #ISSTA2026

ECOOP wasn't on Bluesky — until now! 🎉 We're building a home here for the programming languages and software engineering research community. Follow us, spread the word, and help us grow! Whether you're an author, attendee, or just passionate about PL research — you belong here. 👋 #ECOOP #ECOOP26

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

My department is looking to hire a professor of practice in CS, with a focus on AI. Job posting below. If you have questions I'll do my best to answer them, else find someone who can! We are in Providence, easy commute access from Boston. jobs.chronicle.com/job/37970844...

Do you want to be my new colleague in Stuttgart? We opened a tenured professor position for researchers in Programming Languages. So, if you are working in this field, please consider applying. If you are not in this field, please repost and boost. 📣 www.f05.uni-stuttgart.de/en/faculty/n...

Honored to be recognized as an #ICSE Distinguished Reviewer alongside 29 fantastic colleagues! Beyond the honor, reviewing this year was genuinely fun. My selection of papers was incredibly interesting to read and I learned a lot from them. @icseconf.bsky.social conf.researchr.org/info/icse-20...

We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.

On the spectrum and working in IT? We think that especially in IT, research is still too often done about you rather than with you. @svenapel.bsky.social @janetsiegmund.bsky.social & Isabella Graßl #Neurodiversity #Autism #ComputerScience

New office as of today. @unistuttgart.bsky.social

A university is so much more than its bricks and mortar facilities. It is also an eduroam network with intermittent access

Calling all motivated students and researchers to be part of the PLDI'26 Artifact Evaluation Committee! The first round of self-nominations ends on Dec. 22: pldi26.sigplan.org/track/pldi-2...

In the running for Understatement of the Year

Indeed an XL version of an ASE banquet. @aseconf.bsky.social #ase2025

Dearly beloved, we are gathered here today to celebrate this thing called ASE 2025 ;) @aseconf.bsky.social @mboehme.bsky.social @llingming.bsky.social

ASE ’25 has just kicked off! Come join us at Vista Hall!

General Chair @drsyoo.bsky.social opening @aseconf.bsky.social in Seoul right now. ☺️

Job Alert! Professur (Open Rank: W2 oder W1 mit Tenure Track auf W2) ,,Digitale Transformation in Arbeit und Gesellschaft". Gemeinsame Berufung von @tu-dortmund.de und @cais-research.bsky.social nach Jülicher Modell. Ausschreibung unter: service.tu-dortmund.de/documents/18...

You can help us! We invite you to take part in our user survey 2025: sidonia.dagstuhl.de/survey/index... which will help us understand how the community is using dblp and guide dblp's future development. 1/2

📣📣 𝗖𝗮𝗹𝗹𝗶𝗻𝗴 𝗮𝗹𝗹 𝘀𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗲𝗻𝗴𝗶𝗻𝗲𝗲𝗿𝘀! We're running a study at TU Delft on 𝗵𝗼𝘄 𝘀𝗼𝗰𝗶𝗮𝗹 𝗮𝗻𝗱 𝗼𝗿𝗴𝗮𝗻𝗶𝘇𝗮𝘁𝗶𝗼𝗻𝗮𝗹 𝗳𝗮𝗰𝘁𝗼𝗿𝘀 𝗶𝗻𝗳𝗹𝘂𝗲𝗻𝗰𝗲 𝘀𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝘁𝗲𝘀𝘁𝗶𝗻𝗴 𝗰𝘂𝗹𝘁𝘂𝗿𝗲. We would love your insights! (takes 15 minutes) 👉 lnkd.in/dPPF6-Vq The more voices, the better! Thank you 💙 #SoftwareEngineering #SoftwareTesting

Quantum computing is becoming accessible, but everyday use is still far off. A key challenge is scalable program analysis. Together with Falk Howar and Benedikt Fauseweh, I’ll work on improving verification for digital quantum simulations. Exciting times ahead! cs.tu-dortmund.de/en/details/d...

MPLR'26 will be in Brussels! The deadline is sooner than usually, March 6th. Please get your papers ready early! MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling! 2026.ecoop.org/home/mplr-20... They'll colocate again with ECOOP and ICOOOLPS!

The early bird registration for #ASE2025 is still open! 📅 Early deadline: Oct 15, 2025 🧾 Regular deadline: Nov 2, 2025 All accepted papers must have at least one regular (non-student) registration for inclusion in the proceedings. 👉 Details: conf.researchr.org/attending/ase-2025/registration

You are an Early Career Researcher in #cybersec? Here is an opportunity: The AEC chairs of @USENIXSecurity '26 are looking for (self)nominations for the Artifact Evaluation Committee. Deadline: October 17th, 2025, so sign up soon! @chwress.bsky.social, @kumarde.bsky.social, @aurore-fass.bsky.social

The OPAL team just released version 6 of our program analysis framework. As a major release, it features more improvements than can be explained in a post. So just a few teasers: JVM bytecode up to version 25, new solver for IDE problems, def-use webs, string analysis, ... github.com/opalj/opal/r...

OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks! 2026.splashcon.org/track/oopsla...

Time for #ACM #SIGSOFT awards nominations: www2.sigsoft.org/awards/sigso... Intent to Nominate Deadline: Oct 6, 2025 Full Nomination Package Deadline: Oct 20, 2025 #DistinguishedService #OutstandingResearch #InfluentialEducator #OutstandingPhD #EarlyCareer #FrankAngerMemorial #InfluentialPaper

Meet Shin Yoo, the General Chair of ASE 2025! 😉

Help ACM recognize the best in computing! We’re calling on you to help us build the 2025 ACM Awards nomination pool. Consider diversity in all its forms and make sure deserving voices are heard. Nominate or share the call today 👉 www.acm.org/binaries/con...

Being an adult in Europe: Looking at new houses on a Saturday. This one was nice, but a bit drafty.

Interested in working with us? #Dagstuhl is looking for a Computer Scientist/Research Data Expert to join our team. www.dagstuhl.de/en/institute...

Please don't plug keyboards or other devices into random USB ports, ok?

Enjoying the summer? 🤩☀️ But please don't forget. Three #ASE2025 deadlines are coming up! 🔧 Tool Demonstration: July 23 🎓 Doctoral Symposium: July 31 🏭 Industry Showcase: August 1 conf.researchr.org/home/ase-2025

📢 The Journal of Systems Research (JSys) is looking for senior graduate students, postdocs, and early-career researchers to serve on its Artifact Evaluation Board (AEB). #OpenScience 🧑‍🔬 To learn more/nominate yourself for the AEB, visit forms.gle/PJzS81AhN2TA...

The call for workshop for #ECOOP2026 is out now! If you would like to organize a workshop together with ecoop please visit the website for all information and submission info 2026.ecoop.org/track/ecoop-...

The VMIL paper deadline is next week. Please submit abstracts already. We are looking forward to your work on language implementation. Don't have results yet, but would like feedback on an experimental design? We're looking forward to those, too! 🧑‍🔬🧪💻 conf.researchr.org/home/icfp-sp...

To celebrate the release of the Nintendo Switch 2™, the C committee has added an Easter egg to the C programming language called the "switch" statement! Connect your compiler with your Ninteno Online™ account to try it out!

ECOOP'25 early registration approaching! Don't miss it! We have plenty of interesting satellite events as well! https://2025.ecoop.org/info/program-overview #ecoop2025 #Bergen #HVL @selabhvl

Reminder! Next Monday 👇

For some weeks now, the #dblp team has been receiving an exceptionally high number of support/error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. 1/2

A lecture is a live performance act, somewhere between classical theater and improv. Proper preparation is key, both for the performer and the audience.