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

Learn how Team Atlanta combined LLMs and program analysis to automatically find and fix vulnerabilities, a winning approach that earned 1st place in the DARPA AI Cyber Challenge!

010

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

Learn how Oracle’s Parfait evolved into a large-scale vulnerability detection platform analyzing billions of lines of code and how the Intelligent Application Security (IAS) vision shapes the future of DevSecOps!

020

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 · 14/10/2025

Meet Eunkyoung, Yasutaka’s fellow Tutorials Co-Chair of #ASE2025! She’s a Research Associate Professor at KAIST, passionate about verification, testing, and analysis techniques for software safety. She also finds joy in singing outside of research! 🎤

010

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

You can reach the venue by taxi or public bus, or take advantage of the free shuttle bus that runs every 15 minutes from Gangbyeon Station (Line 2) or Gwangnaru Station (Line 5). More info: www.walkerhill.com/grandwalkerh...

walkerhill.com

GRAND

GRAND WALKERHILL SEOUL, DOUGLAS HOUSE, BOOK A ROOM, BOOK A TABLE, WALKERHILL REWARDS, WALKERHILL PRESTIGE CLUB, MEMBERSHIP, MEETING, WEDDING, ASTON-HOUSE, FAMILY GATHERINGS, BRIDE AND GROOM MEETING, ...

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 · 23/09/2025

Oooops, we mistyped 😳 Our Doctoral Symposium & Diversity & Inclusion Chair is Ben Hermann (not Sherman). Apologies @benhermann.eu and thanks for your awesome work on #ASE2025!

010

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