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

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!

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

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

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

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

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! 🧭

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

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

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

Join us today for the keynote by Dr. Cristina Cifuentes!!

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 🎶

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

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.

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

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!

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

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.

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!

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!

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

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

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

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 😉

🤔 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!

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

🎙️ #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”

🎙️ #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...

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

🧩 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]

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

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 :-)

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 💃 🎶!

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 😉

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!

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 💙

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

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.

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

ASE’25 registration is open! ⌛️ Early registration deadline: Oct 15 (less than a month left!). Come to Seoul for the food, the connections, and of course… the research! 😉

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

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

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 😉

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 ⤵️

🐞 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

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.

Meet Shin Yoo, the General Chair of ASE 2025! 😉

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

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