Ben Hermann

@benhermann.eu

Professor for Secure Software Engineering at Universitรคt Stuttgart ๐Ÿณ๏ธโ€๐ŸŒˆ๐Ÿ’ป๐ŸŽ“ https://benhermann.eu https://sse.cs.tu-dortmund.de

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

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

2026.ecoop.org

๐Ÿ“ข 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

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

docs.google.com

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!

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

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

f05.uni-stuttgart.de

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

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

conf.researchr.org

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.

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.

Presents in front of a Christmas tree. One with the OPAL logo an a gift label.

๐Ÿ“ฃ๐Ÿ“ฃ ๐—–๐—ฎ๐—น๐—น๐—ถ๐—ป๐—ด ๐—ฎ๐—น๐—น ๐˜€๐—ผ๐—ณ๐˜๐˜„๐—ฎ๐—ฟ๐—ฒ ๐—ฒ๐—ป๐—ด๐—ถ๐—ป๐—ฒ๐—ฒ๐—ฟ๐˜€! 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

Bild

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

DFG Funds Dortmund Project on Verification of Digital Quantum Simulations

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

cs.tu-dortmund.de

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!

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

2026.ecoop.org

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

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

github.com