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...
Ben Hermann
@benhermann.eu
Professor for Secure Software Engineering at Universitรคt Stuttgart ๐ณ๏ธโ๐๐ป๐ https://benhermann.eu https://sse.cs.tu-dortmund.de
REMINDER: Our call for a professorship in the programming language field ends this Sunday! Make sure your application is in the system on time.
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...
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
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...
Registration - ECOOP 2026
โน๏ธ Early registration deadline: May 14th! Click here for all registration information
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!
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...
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, ...
jobs.chronicle.com
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.
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
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.
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...
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...
pldi26.sigplan.org
In the running for Understatement of the Year
This is very disturbing
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!
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
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...
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
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 ...
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
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...
conf.researchr.org
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...
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