iiinova — where your digital self keeps evolving

Ben Hermann @benhermann.eu · 26/09/2026

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

020

Reposted by Ben Hermann

Clémentine Maurice @bloody-tangerine.bsky.social · 22/07/2026

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

011

Ben Hermann @benhermann.eu · 18/05/2026

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

043

Reposted by Ben Hermann

Stefan Marr @stefan-marr.de · 14/05/2026

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

2026.ecoop.org

ICOOOLPS 2026 - ECOOP 2026

The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization. The goal of the workshop is to discuss emerging problems an...

144

Reposted by Ben Hermann

ECOOP '26 @ecoop-conference.bsky.social · 13/05/2026

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

2026.ecoop.org

Registration - ECOOP 2026

ℹ️ Early registration deadline: May 14th! Click here for all registration information

013

Ben Hermann @benhermann.eu · 27/04/2026

📢 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

docs.google.com

ASE & ISSTA AEC Self-Nominations

We are looking for highly motivated candidates for the artifact evaluation committees (AECs) of ASE 2026 and ISSTA 2026. The expected workload for each AEC member is 3-5 artifact reviews between Jul ...

065

Reposted by Ben Hermann

ECOOP '26 @ecoop-conference.bsky.social · 23/04/2026

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

032

Reposted by Ben Hermann

Shriram Krishnamurthi @shriram.bsky.social · 15/04/2026

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!

12017

Reposted by Ben Hermann

Shriram Krishnamurthi @shriram.bsky.social · 06/04/2026

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

jobs.chronicle.com

Professor of the Practice in Computer Science with a Focus on Artificial Intelligence - Providence, Rhode Island job with Computer Science | 37970844

The Department of Computer Science at Brown University is seeking applicants for a Professor of the Practice position at the assistant, associate, ...

1129

Ben Hermann @benhermann.eu · 29/03/2026

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

f05.uni-stuttgart.de

Professorship (W3) in Programming Languages | News | Mar 26, 2026 | Faculty 5: Computer Science, Electrical Engineering and Information Technology | University of Stuttgart

INSTITUTE OF SOFTWARE ENGINEERING | AT THE NEXT POSSIBLE DATE

023

Ben Hermann @benhermann.eu · 25/03/2026

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

conf.researchr.org

Awards - ICSE 2026

ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 12-18 2026 in Rio de Janeiro. Core conference days will be We...

251

Reposted by Ben Hermann

Hila Peleg @hilacodes.bsky.social · 18/03/2026

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.

12121

Reposted by Ben Hermann

Felis Just @monstermietz.bsky.social · 19/02/2026

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

A illustrated picture of a group of happy people. Around the image is the text: On the spectrum & working in IT. Then participate in our research.

257

Ben Hermann @benhermann.eu · 19/12/2025

Shortly before the holidays the OPAL team prepared a little gift themselves. OPAL 7 has just been released! And it finally provides support for Scala 3 (3.7.3 to be exact). We have been working on that for some time now.

120

Reposted by Ben Hermann

John Attridge @johnattridge.bsky.social · 15/12/2025

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

519128

Reposted by Ben Hermann

PLDI @sigplan-pldi.bsky.social · 01/12/2025

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

pldi26.sigplan.org

PLDI 2026 - PLDI Research Artifacts - PLDI 2026

Background A paper consists of a constellation of artifacts that extend beyond the document itself: software, proofs, models, test suites, benchmarks, and so on. In some cases, the quality of these ar...

023

Reposted by Ben Hermann

Emery Berger @emeryberger.bsky.social · 28/11/2025

In the running for Understatement of the Year

071

Reposted by Ben Hermann

Shin Yoo @drsyoo.bsky.social · 17/11/2025

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

0143

Reposted by Ben Hermann

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 17/11/2025

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

121

Reposted by Ben Hermann

Cornelius Schubert @cschbrt.bsky.social · 13/11/2025

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

service.tu-dortmund.de

01311

Reposted by Ben Hermann

дблп - ☮ Stop the war! @dblp.org · 12/11/2025

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

2132

Reposted by Ben Hermann

Andy Zaidman @azaidman.bsky.social · 12/11/2025

📣📣 𝗖𝗮𝗹𝗹𝗶𝗻𝗴 𝗮𝗹𝗹 𝘀𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗲𝗻𝗴𝗶𝗻𝗲𝗲𝗿𝘀! 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

022

Ben Hermann @benhermann.eu · 11/11/2025

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

cs.tu-dortmund.de

DFG Funds Dortmund Project on Verification of Digital Quantum Simulations

Interdisciplinary Team from Physics and Computer Science Lays Foundations for Reliable Quantum Simulations

040

Reposted by Ben Hermann

Stefan Marr @stefan-marr.de · 07/11/2025

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!

2026.ecoop.org

MPLR 2026 - ECOOP 2026

The 23rd International Conference on Managed Programming Languages and Runtimes (MPLR 2026, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...

073

Ben Hermann @benhermann.eu · 03/11/2025

In my seminar last week, the students discussed "Understanding and improving artifact sharing in software engineering research" by Timperley, @laurenherckis.bsky.social, @clegoues.bsky.social, and @michaelhilton.bsky.social. For their presentation they chose the overhead projector ...

153

Reposted by Ben Hermann

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 13/10/2025

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

conf.researchr.org

Registration - ASE 2025

Welcome to the website of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025. The ASE conference is the premier research forum for Automated Software Engineering. E...

043

Reposted by Ben Hermann

KIT Graduate School Cyber Security @kitcybersec.bsky.social · 10/10/2025

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

059

Ben Hermann @benhermann.eu · 09/10/2025

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

github.com

Release 6.0.0 · opalj/opal

we are now using sbt 1.9.7 we are now using scalafmt instead of Scalariform introduce auto formatting via sbt format add pre-commit hook to verify (sbt checkFormat) and apply formatting unify co...

021

Reposted by Ben Hermann

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 02/09/2025

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

Meet the #ASE2025 OC: Shin Yoo 🎵 he/him 👨‍🏫 Prof. at KAIST 🇰🇷 General Chair 🚴 music, cycling, camping ⛺️ seeking to find ways to support software engineers with computational intelligence, especially on testing and debugging, while having fun with my awesome students ❤️

071

Reposted by Ben Hermann

Association for Computing Machinery @acm.org · 28/08/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...

034

Ben Hermann @benhermann.eu · 23/08/2025

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

130

Reposted by Ben Hermann

дблп - ☮ Stop the war! @dblp.org · 31/07/2025

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

Schloss Dagstuhl - Leibniz-Zentrum fiir Informatik
stellt ein:

Informatiker:in / Expert:in fiir Forschungsdaten (m/w/d)
Voll- oder Teilzeit, TV-L E13

Die international renommierten Forschungsinfrastrukturen von Schloss Dagstuhl — die Open-Access-Publikationsplattform DROPS und der offene Indexierungsdienst DBLP - spielen eine wichtige Rolle beim Aufbau der nationalen Forschungsdateninfrastruktur NFDI fiir die Informatikgemeinschaft. Wir suchen eine hochmotivierte Person fiir unser Publishing-Team.
Weitere Informationen finden Sie unter: www.dagstuhl.de/job

111

Reposted by Ben Hermann

Dave @sheepfilms.bsky.social · 29/07/2025

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

5446921504

Reposted by Ben Hermann

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 20/07/2025

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

conf.researchr.org

ASE 2025

021

Reposted by Ben Hermann

Eric Eide @ericeide.bsky.social · 22/07/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...

forms.gle

Self-Nomination for JSys Artifact Evaluation Board

The Artifact Evaluation Board (AEB) for the Journal of Systems Research (JSys) assists with the review of two kinds of submissions. "Tool/benchmark papers" present new, open-source tools and benchmark...

034

Reposted by Ben Hermann

Nicolas Cardozo @ncardozo.bsky.social · 22/07/2025

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

2026.ecoop.org

ECOOP 2026 - Workshops - ECOOP 2026

Call for Workshop Proposals The workshops at ECOOP 2026 bring together academics, industry researchers, and practitioners to discuss ideas, problems, and experiences in on focused groups. Topics for w...

033

Reposted by Ben Hermann

Stefan Marr @stefan-marr.de · 14/07/2025

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

conf.researchr.org

VMIL 2025 - 17th Workshop on Virtual Machines and Language Implementations - ICFP/SPLASH 2025

Virtual Machines are pervasive in the design and implementation of programming systems. In fact, languages implemented as virtual machines are crucial in the specification, implementation, and deploym...

053

Reposted by Ben Hermann

The C Programming Language @c-official.bsky.social · 05/06/2025

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!

416736

Reposted by Ben Hermann

Volker Stolz🏳️‍🌈 @fm-volker.mastodon.social.ap.brid.gy · 27/05/2025

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

043

Reposted by Ben Hermann

Deutsche Forschungsgemeinschaft @dfg.de · 23/05/2025

Reminder! Next Monday 👇

01311

Reposted by Ben Hermann

дблп - ☮ Stop the war! @dblp.org · 23/05/2025

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

111

Reposted by Ben Hermann

Crista 🔶 @tagide.com · 22/05/2025

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

163

Reposted by Ben Hermann

Jonathan Aldrich @jonathanaldrich.bsky.social · 19/05/2025

All @acm.org publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!

17332

Reposted by Ben Hermann

International Conference on Software Engineering @icseconf.bsky.social · 07/05/2025

Videos of #ICSE2025 keynote presentations are now on our YouTube Channel! www.youtube.com/playlist?lis... Other session videos will follow in the coming weeks, as we receive requests.

youtube.com

ICSE 2025 - YouTube

ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in O...

064

Ben Hermann @benhermann.eu · 04/05/2025

Finished my last evening in Ottawa with a photo walk. Thank you @icseconf.bsky.social organizers for a perfect conference! It was truly amazing. #icse2025

Ottawa National War Memorial in the sunset

090