@benhermann.eu.bsky.social
Professor for Secure Software Engineering at TU Dortmund π³οΈβππ»π https://benhermann.eu https://sse.cs.tu-dortmund.de
Excellent! And please do not forget research software. π
31.07.2025 16:26 β π 0 π 0 π¬ 0 π 0
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
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?
29.07.2025 10:47 β π 4729 π 1513 π¬ 51 π 40
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...
[review invitation noises]
11.07.2025 14:29 β π 2 π 0 π¬ 1 π 0To 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!
05.06.2025 11:16 β π 169 π 43 π¬ 4 π 1
Program overview of ECOOP-week.
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
Congratulations Dominik! π₯³
23.05.2025 16:56 β π 1 π 0 π¬ 0 π 0Reminder! Next Monday π
23.05.2025 10:40 β π 13 π 11 π¬ 0 π 1For 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
23.05.2025 06:37 β π 1 π 1 π¬ 1 π 1A lecture is a live performance act, somewhere between classical theater and improv. Proper preparation is key, both for the performer and the audience.
22.05.2025 20:27 β π 6 π 3 π¬ 1 π 0All @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!
19.05.2025 17:50 β π 74 π 32 π¬ 1 π 2
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.
07.05.2025 21:09 β π 6 π 4 π¬ 0 π 0
Ottawa National War Memorial in the sunset
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
04.05.2025 01:22 β π 9 π 0 π¬ 0 π 0Did they fix it?
04.05.2025 00:54 β π 0 π 0 π¬ 1 π 0
β¨οΈ Now that #ICSE25 is over, it's time to get your papers ready for #ASE25 (30th May)!
π’ Here is what's new:
* Major Revision v2.0
* Review criteria for tech. & experience papers
* Policy on LLM-assisted Reviews
* Auto-bidding (TPMS)
* Rapid Response Reliable Reviewers
π For more details, read on.
Mira Mezini
Amir Shaikhha
Meet the AITO Dahl-Nygaard Prize Winners at ECOOP'25:
Mira Mezini, TU Darmstadt (Senior Prize)
Amir Shaikhha, University of Edinburgh (Junior Prize)
Check out their awards-citation:
https://2025.ecoop.org/track/ecoop-2025-awards
It's also the first time [β¦]
[Original post on mastodon.social]
11am today at #ICSE2025: Rust provides memory safety to low-level code, but in practice Rust libraries link to unsafe C. @icmccorm.com Josh Sunshine and I used dynamic analysis to find 46 cases where the C code broke Rust's memory rules, causing undefined behavior. Preprint: arxiv.org/pdf/2404.11671
02.05.2025 13:42 β π 18 π 4 π¬ 2 π 0
Claire Le Goues (Awards chair), Andreas Zeller (holding the award certificate), and Marsha Chechik (ACM SIGSOFT chair)
Honors! Today at #ICSE2025, I received the #ACM #SIGSOFT Influential Educator Award βfor significant contributions and important innovations in automated software engineering educationβ (such as fuzzingbook.org). Thanks to all!
30.04.2025 20:52 β π 47 π 2 π¬ 6 π 0We need a conference on Usable Formal Methods.
Every submission to it must come with a verifier,a set of positive/negative examples for it, and, most importantly, an exercise. A review may give a positive score only if it provides a solution to the exercise, which is accepted by the verifier.
While I'm in Ottawa for #icse2025, my student Max presented our static analysis-based approach to predict energy consumption of programs in a competition. We won 2nd place and all are overjoyed! π₯³π
29.04.2025 18:32 β π 7 π 0 π¬ 0 π 0
Software engineering practitioners, researchers, and educators will gather to discuss the future of #SoftwareEngineering standards, certifications, and professional development a the #IEEE #SWEBOKSummit 2025 @ #ICSE2025.
Register for free: conf.researchr.org/info/icse-20...
#SWEBOK #FutureOfTech
Are you a new faculty member in SE? The New Faculty Symposium (NFS) at
@ICSEconf
offers valuable insights and practical advice for the challenges you will encounter. ICSE attendees are welcome to join.
ποΈ Apr 29 / π Room 201 / π conf.researchr.org/track/icse-2... #icse2025
Yes! I'll attach them to the workshop entry on the website.
28.04.2025 11:54 β π 2 π 0 π¬ 1 π 0Happy to meet in the hallway, have dinner (!), and talk to all of you!
27.04.2025 21:02 β π 3 π 0 π¬ 0 π 0π£ At 12:00 right before that Vivek Sarkar (University of Washington) - our other summer intern - will present CoPhi, our mining infrastructure for Conan, which is a component ecosystem for C and C++. Both our interns were generously funded by @daadusa.bsky.social.
2025.msrconf.org/details/msr-...
