iiinova — where your digital self keeps evolving

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 19/11/2025

ASE’25 has officially come to an end! Huge thanks to everyone for the amazing energy and active participation 👏🏻🤍

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 18/11/2025

Congrats to all the award winners! 🤩🥇 Hope everyone enjoyed the Korean course meal and the beautiful, soulful songs as well. Tomorrow is already the last day of the main conference. See you at 9 a.m. in Vista Hall!

070

Reposted by International Conference on Automated Software Engineering (ASE)

Shin Yoo @drsyoo.bsky.social · 17/11/2025

Dearly beloved, we are gathered here today to celebrate this thing called ASE 2025 ;) @aseconf.bsky.social @mboehme.bsky.social @llingming.bsky.social

0143

Reposted by International Conference on Automated Software Engineering (ASE)

Henry Chu @bsky.henryhc.net · 18/11/2025

Checkout our talk of LSPFuzz @aseconf.bsky.social and let's discuss during the poster session! 🕒 14:40 – 14:50, Wed November. 19 📍 Grand Hall 2 This tool is built on top of LibAFL @aflplusplus.bsky.social

031

Reposted by International Conference on Automated Software Engineering (ASE)

Ben Hermann @benhermann.eu · 18/11/2025

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

061

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 18/11/2025

Don’t miss tonight’s banquet! It’s happening in Vista Hall 🎶. Join us!

060

Reposted by International Conference on Automated Software Engineering (ASE)

Jing Liu @fuzzing.bsky.social · 18/11/2025

Huge thanks to my advisor @mboehme.bsky.social and the @aseconf.bsky.social organizing committee for the support and the opportunity to volunteer! 🧑‍💻 It’s been an incredible experience learning from the community. Grateful for the path ahead! 🧭

051

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 18/11/2025

The Student Research Competition is currently taking place in the poster session!

040

Reposted by International Conference on Automated Software Engineering (ASE)

Eric Eide @ericeide.bsky.social · 18/11/2025

Congratulations to my former student, Ethan Stanley, on presenting his first conference talk! On Monday he presented his paper at @aseconf.bsky.social ASE 2025. conf.researchr.org/details/ase-... (Photo credit @snagycs.bsky.social.)

Photo of Ethan Stanley presenting his paper at the ASE 2025 conference. One of his presentation slides is displayed on a projection screen. Ethan is standing at a podium, on the right. About a dozen people are seated in the audience.

081

Reposted by International Conference on Automated Software Engineering (ASE)

Stefan Nagy @snagycs.bsky.social · 17/11/2025

Crashing calculators and CAD editors? GUIFuzz++ is finally here to help make them better! 🔥 Come see my undergraduate student @trowlett0.bsky.social's very first paper "GUIFuzz++" at @aseconf.bsky.social this Wednesday. Also now integrated in @aflplusplus.bsky.social! 😃 github.com/AFLplusplus/...

083

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 17/11/2025

Our hungry web chairs are happily filling up. 😉 Come join us for the welcome reception at Vista Hall! The live coding performance will also begin shortly 🎶

020

Reposted by International Conference on Automated Software Engineering (ASE)

Andreas Zeller @andreaszeller.bsky.social · 17/11/2025

And another student of mine, Bernd Gruner, presenting continuous data flow-based threat modeling with FlowStrider at @aseconf.bsky.social

041

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 17/11/2025

Did you know the booklet has the full schedule overview? It also includes venue maps and menu info! And right now, a lot of exciting presentations are happening in the Vista and Grand Hall 1~6.

040

Reposted by International Conference on Automated Software Engineering (ASE)

Andreas Zeller @andreaszeller.bsky.social · 17/11/2025

Today at ASE 2025 @aseconf.bsky.social: “The fault in our stats”, or how the majority of notebooks fails to check even the most basic statistical assumptions

The Fault in our Stats
i.e., exploring the degree to which data analysts deviate from statistics best practice, and an automated approach to detect such deviations

0101

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 17/11/2025

Absolutely loved Prof. Thomas Reps’s keynote. It was an inspiring journey from symbolic execution to path profiling and even quantum simulation. “Hijack the bad for the good!” 🐸🫅 Thank you, Prof. Reps!

040

Reposted by International Conference on Automated Software Engineering (ASE)

Ben Hermann @benhermann.eu · 17/11/2025

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

011

Reposted by International Conference on Automated Software Engineering (ASE)

Aayush Kumar @aayushkumar.bsky.social · 07/11/2025

Happy to announce that I’ll be presenting our paper “Why AI Agents Still Need You” at ASE 2025. Based on a user study with Cursor, we discovered why the presence of tacit knowledge means that making agents collaborative will always be necessary, and argue for designing agents with this in mind.

221

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 16/11/2025

Tomorrow, right after the morning opening session at 9:00, we’ll begin with our first keynote talk by Prof. Thomas Reps at 9:30!

000

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 16/11/2025

Tomorrow is the first day of the ASE’25 main conference! Hope everyone made it to Korea safely 🙌🇰🇷 If you want to promote your talk or poster, just tag @aseconf.bsky.social when you post!

020

Reposted by International Conference on Automated Software Engineering (ASE)

Henry Chu @bsky.henryhc.net · 16/11/2025

🍂 Late Autumn in Seoul 🇰🇷 #ASE2025 See you tomorrow @aseconf.bsky.social

011

Reposted by International Conference on Automated Software Engineering (ASE)

Rohan Padhye @rohan.padhye.org · 15/11/2025

Excited to be on my way to ASE in Seoul! Aiming to learn some Hangul on the flight. @aseconf.bsky.social

Screenshot of a Korean writing app with introductory lessons for Hangul

261

Reposted by International Conference on Automated Software Engineering (ASE)

Shin Yoo @drsyoo.bsky.social · 14/11/2025

Wishing safe travels to those who are flying into Seoul for @aseconf.bsky.social - see you soon ;)

031

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 06/11/2025

ASE’25 is just around the corner! Check out this page: kanit.page It’s a special website (made by our web chair👩🏻‍💻) for you, introducing the best apps to help you get around Seoul and enjoy local food 🍜🚆. Take a look while waiting for your flight. It’ll make your trip much smoother 😉

051

Reposted by International Conference on Automated Software Engineering (ASE)

Doehyun Baek @doehyunbaek.bsky.social · 04/11/2025

🤔 Wasm Program Reduction is slow. Can I speed it up? 💡Record and replay can directly target and isolate the bug-triggering function! Our paper "Execution-Aware Program Reduction for WebAssembly via Record and Replay" that addresses this problem will be presented at @aseconf.bsky.social 2025!

231

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 28/10/2025

🎙️ ASE 2025 Keynote Speaker Series (3 of 3) Prof. Taesoo Kim (Georgia Tech) “Hyperscale Bug Finding and Fixing: DARPA AIxCC” conf.researchr.org/track/ase-20...

142

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 26/10/2025

🎙️ #ASE2025 Keynote Speaker Series (2 of 3) Dr. Cristina Cifuentes, Vice President @ Oracle Software Assurance “Oracle Parfait – Detecting Application Vulnerabilities at Scale – Past, Present and Future”

162

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 22/10/2025

🎙️ #ASE2025 Keynote Speaker Series (1 of 3) What do symbolic model checking, path profiling, and quantum simulation have in common? 🤔 Find out from Prof. Reps (University of Wisconsin-Madison) in his ASE2025 Keynote “We Will Publish No Algorithm Before Its Time”! conf.researchr.org/track/ase-20...

0103

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 13/10/2025

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

conf.researchr.org

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

043

Reposted by International Conference on Automated Software Engineering (ASE)

Konstantinos Kitsios @kitsios.bsky.social · 07/10/2025

🧩 Can semantic code clone detectors really detect clones in-the-wild? 🎉 We address this question in our paper “Detecting Semantic Clones of Unseen Functionality,” recently accepted to @aseconf.bsky.social! 📄 Pre-print: arxiv.org/abs/2510.04143 💻 Code: github.com/kitsiosk/uns... [1/4]

142

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 10/10/2025

🚨 Do not miss the early registration, which remains open until 15th October!

011

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 06/10/2025

Meet Yasutaka Kamei, Tutorials Co-Chair at #ASE2025! Bridging AI and Software Engineering is his passion 💫 When he’s not researching, you might find him deep in a game of Shogi or Chess :-)

140

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 05/10/2025

Meet Yunja Choi, Workshops Co-Chair of #ASE2025! 🌟 She’s a professor at KNU working on formal methods — model checking, abstraction, and synthesis. Outside academia, she enjoys Zumba 💃 🎶!

020

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 30/09/2025

Pleased to introduce Jaechang (JC) Nam, Co-Chair of the #ASE2025 Student Research Competition. JC’s work explores natural-language interfaces to computing, lowering barriers for broader participation. Personal favorites: gravel biking 🚵‍♂️, drum🥁, .. and many others 😉

030

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 29/09/2025

Meet Soha, another proceedings co-chair at #ASE2025 💫 She’s an Assistant Professor at Ain Shams University, Egypt, and is passionate about all aspects of building reliable programs. ⌨️ Thrilled to have her on board for ASE'25!

031

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 28/09/2025

The #ASE25 venue, Grand Walkerhill Seoul, is located on the eastern side of Seoul, right next to the Han River. Nearby, you’ll find Achasan Mountain, a lovely spot for a short hike. If you have some free time, take a walk up with your colleagues and enjoy the beautiful panoramic view of Seoul 💙

131

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 28/09/2025

Meet Yannic, Proceedings Co-Chair of #ASE2025! He’s helping manage the publication process together with Soha Hussein. 💪 Co-organizer of #FUZZING’26 👨‍💻 Passionate about improving software quality @yannicnoller.bsky.social

091

Reposted by International Conference on Automated Software Engineering (ASE)

Tanner Rowlett @trowlett0.bsky.social · 24/09/2025

Fuzzing GUIs shouldn’t be harder than fuzzing files. That's why I am excited to share my first paper (w/ fellow undergrad Dillon Otto + @snagycs.bsky.social) "GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications" at #ASE25.

152

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 24/09/2025

Meet Nico, Industry Track Co-Chair at #ASE2025, working on automated techniques for provable security. Outside of work: 🎵 music, 🚴 cycling, and ⛵ sailing!

040

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 22/09/2025

Meet Xusheng, another security expert on the ASE’25 Organizing Committee! He is co-chairing the NIER track together with Sang Kil Cha (KAIST).

020

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 20/09/2025

Meet Ben, Doctoral Symposium Co-Chair & D&I Chair at #ASE2025 — his research focuses on secure software engineering and yes, he sails 😎⛵!

161

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 17/09/2025

Meet Sang Kil, one of our NIER Track Co-Chairs for #ASE2025! Seems like we’ve got quite a few runners on the ASE’25 OC team 😉

041

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 15/09/2025

Applications Open: ASE 2025 Student Volunteers 🕐 ~20 hrs of service during conference week 🎟️ Free ASE registration (SV covers student reg fee; if you have a paper, one co-author must register at full rate) 👕 ASE 2025 T-shirt + more! Please share this with your students and networks! Apply here ⤵️

conf.researchr.org

ASE 2025 - Student Volunteers - ASE 2025

021

Reposted by International Conference on Automated Software Engineering (ASE)

Konstantinos Kitsios @kitsios.bsky.social · 03/09/2025

🐞 After a bug is patched, how can we increase our confidence that it will not reappear in the future? We address this question in our paper recently accepted to @aseconf.bsky.social 2025! 🎉 1/5

142

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 12/09/2025

Meet Marcel Böhme (@mboehme.bsky.social), our Program Co-Chair of ASE 2025! 😉 Together with his fellow chair, Lingming Zhang (UIUC), he is overseeing the Research Track submissions.

Marcel Böhme (he/him),
Scientist at MPI, Germany 🇩🇪

ASE'25 Program Co-Chair

🦾 #FUZZING’26 co-organizer,
🌱 Open Science enthusiast,
Father of two daughters,
🏃‍♂️ 15km every day.

171

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 31/08/2025

⚡ Final Reminder! ⚡ The deadline for the ASE’25 Journal-First Track is today :-) ⏰ Sep 1, 2025, 23:59 AoE

020

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 25/08/2025

Have you recently published in ASEJ, IEEE TSE, ACM TOSEM, EMSE, or JSS? Present your work at ASE’25! ✅ Accepted after Jan 1, 2024 ✅ In ASE scope ✅ ≥70% new content ✅ Not presented elsewhere 👉 Full details: conf.researchr.org/track/ase-20... 🗓️ Submission Due: 1st Sep #ASE2025 #SoftwareEngineering

conf.researchr.org

ASE 2025 - Journal-First Track - ASE 2025

042