Ben Hermann
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Indeed an XL version of an ASE banquet. @aseconf.bsky.social #ase2025
November 18, 2025 at 10:02 AM
Indeed an XL version of an ASE banquet. @aseconf.bsky.social #ase2025
Reposted by Ben Hermann
Dearly beloved, we are gathered here today to celebrate this thing called ASE 2025 ;) @aseconf.bsky.social @mboehme.bsky.social @llingming.bsky.social
November 17, 2025 at 3:19 AM
Dearly beloved, we are gathered here today to celebrate this thing called ASE 2025 ;) @aseconf.bsky.social @mboehme.bsky.social @llingming.bsky.social
Reposted by Ben Hermann
ASE ’25 has just kicked off! Come join us at Vista Hall!
November 17, 2025 at 12:16 AM
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. ☺️
November 17, 2025 at 12:05 AM
General Chair @drsyoo.bsky.social opening @aseconf.bsky.social in Seoul right now. ☺️
Reposted by Ben Hermann
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...
Ausschreibung unter:
service.tu-dortmund.de/documents/18...
service.tu-dortmund.de
November 13, 2025 at 8:54 AM
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...
Ausschreibung unter:
service.tu-dortmund.de/documents/18...
Reposted by Ben Hermann
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
sidonia.dagstuhl.de/survey/index...
which will help us understand how the community is using dblp and guide dblp's future development. 1/2
November 12, 2025 at 4:19 PM
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
sidonia.dagstuhl.de/survey/index...
which will help us understand how the community is using dblp and guide dblp's future development. 1/2
Reposted by Ben Hermann
📣📣 𝗖𝗮𝗹𝗹𝗶𝗻𝗴 𝗮𝗹𝗹 𝘀𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗲𝗻𝗴𝗶𝗻𝗲𝗲𝗿𝘀!
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
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
November 12, 2025 at 4:20 PM
📣📣 𝗖𝗮𝗹𝗹𝗶𝗻𝗴 𝗮𝗹𝗹 𝘀𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗲𝗻𝗴𝗶𝗻𝗲𝗲𝗿𝘀!
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
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...
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
November 11, 2025 at 3:41 PM
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/en/details/d...
Reposted by Ben Hermann
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 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
November 7, 2025 at 4:52 PM
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 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!
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 ...
software engineering research" by Timperley, @laurenherckis.bsky.social,
@clegoues.bsky.social, and @michaelhilton.bsky.social. For their presentation they chose the overhead projector ...
November 3, 2025 at 10:55 AM
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 ...
software engineering research" by Timperley, @laurenherckis.bsky.social,
@clegoues.bsky.social, and @michaelhilton.bsky.social. For their presentation they chose the overhead projector ...
Reposted by Ben Hermann
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
📅 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
October 13, 2025 at 7:19 AM
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
📅 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
Reposted by Ben Hermann
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
@chwress.bsky.social, @kumarde.bsky.social, @aurore-fass.bsky.social
October 10, 2025 at 10:16 AM
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
@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...
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
October 9, 2025 at 2:45 PM
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/opalj/opal/r...
Reposted by Ben Hermann
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...
2026.splashcon.org/track/oopsla...
SPLASH 2026 - OOPSLA - SPLASH 2026
Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon!
In the meantime, please consider this overview of th...
2026.splashcon.org
October 2, 2025 at 1:16 PM
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...
2026.splashcon.org/track/oopsla...
Reposted by Ben Hermann
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
Intent to Nominate Deadline: Oct 6, 2025
Full Nomination Package Deadline: Oct 20, 2025 #DistinguishedService #OutstandingResearch #InfluentialEducator #OutstandingPhD #EarlyCareer #FrankAngerMemorial #InfluentialPaper
a baby is sitting in a crowd with a woman holding him and screaming yes .
ALT: a baby is sitting in a crowd with a woman holding him and screaming yes .
media.tenor.com
September 21, 2025 at 3:50 PM
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
Intent to Nominate Deadline: Oct 6, 2025
Full Nomination Package Deadline: Oct 20, 2025 #DistinguishedService #OutstandingResearch #InfluentialEducator #OutstandingPhD #EarlyCareer #FrankAngerMemorial #InfluentialPaper
Reposted by Ben Hermann
Meet Shin Yoo, the General Chair of ASE 2025! 😉
September 2, 2025 at 10:38 AM
Meet Shin Yoo, the General Chair of ASE 2025! 😉
Reposted by Ben Hermann
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...
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...
August 28, 2025 at 5:30 PM
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...
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.
August 23, 2025 at 5:37 PM
Being an adult in Europe: Looking at new houses on a Saturday. This one was nice, but a bit drafty.
Reposted by Ben Hermann
Interested in working with us? #Dagstuhl is looking for a Computer Scientist/Research Data Expert to join our team.
www.dagstuhl.de/en/institute...
www.dagstuhl.de/en/institute...
July 31, 2025 at 3:31 PM
Interested in working with us? #Dagstuhl is looking for a Computer Scientist/Research Data Expert to join our team.
www.dagstuhl.de/en/institute...
www.dagstuhl.de/en/institute...
Reposted by Ben Hermann
Please don't plug keyboards or other devices into random USB ports, ok?
July 29, 2025 at 10:47 AM
Please don't plug keyboards or other devices into random USB ports, ok?
Reposted by Ben Hermann
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
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
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
July 20, 2025 at 5:52 PM
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
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
Reposted by Ben Hermann
📢 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...
🧑🔬 To learn more/nominate yourself for the AEB, visit forms.gle/PJzS81AhN2TA...
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...
forms.gle
July 22, 2025 at 4:50 PM
📢 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...
🧑🔬 To learn more/nominate yourself for the AEB, visit forms.gle/PJzS81AhN2TA...
Reposted by Ben Hermann
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-...
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-...
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...
2026.ecoop.org
July 22, 2025 at 3:34 PM
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-...
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-...
Reposted by Ben Hermann
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...
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...
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...
conf.researchr.org
July 14, 2025 at 7:45 PM
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...
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...
Reposted by Ben Hermann
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!
June 5, 2025 at 11:16 AM
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!