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

In the running for Understatement of the Year

Indeed an XL version of an ASE banquet. @aseconf.bsky.social #ase2025

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!

General Chair @drsyoo.bsky.social opening @aseconf.bsky.social in Seoul right now. ☺️

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

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

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!

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

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

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

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

Meet Shin Yoo, the General Chair of ASE 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...

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

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?

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

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!

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

Reminder! Next Monday 👇

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

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

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!

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.

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

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

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

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!

We 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! 🥳😁

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

I just arrived in Ottawa for @icseconf.bsky.social and MSR. Looking forward to meet all the lovely SE people! Tuesday will be my busiest day! 🟣 At 09:45 I will give a keynote at the STATIC workshop on Scaling Static Analysis - The Why, the How, and the What. conf.researchr.org/details/icse...

For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!

So... I'm attending @icseconf.bsky.social next week. I've never been so sure what I will eat so much in advance before. I think I answered the fourth of fifth survey by now... I mean I understand why they ask, but wow how did we ever do this in the past? 😂

Upcoming events on local-first: • Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks • Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)

Willkommen in Stuttgart, Prof. Cristian Cadar! 🤝💐 Prof. Cadar entwickelt Tools für zuverlässige & sichere Softwaresysteme. Nun bringt er sein Know-how ans #SoftwareLab der #UniStuttgart, wo der Humboldt-Forschungspreisträger für mehrere Monate forscht . Mehr erfahren👉 sohub.io/q60h

Time is flying—only one week left to submit your workshop proposals. The deadline is April 4 (AOE): conf.researchr.org/track/ase-20.... If you have any questions, our co-chairs Shane McIntosh & Yunja Choi are here to help 😊 We can’t wait to see exciting workshops with ASE!