International Conference on Automated Software Engineering (ASE)
banner
aseconf.bsky.social
International Conference on Automated Software Engineering (ASE)
@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-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...
October 28, 2025 at 7:44 AM
🎙️ #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”
October 26, 2025 at 3:19 AM
🎙️ #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...
October 22, 2025 at 11:39 AM
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! 🎤
October 14, 2025 at 7:04 AM
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 :-)
October 6, 2025 at 9:42 AM
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 💃 🎶!
October 5, 2025 at 3:29 PM
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 😉
September 30, 2025 at 8:37 AM
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!
September 29, 2025 at 9:48 AM
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 💙
September 28, 2025 at 1:04 PM
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
September 28, 2025 at 12:58 PM
Meet Nico, Industry Track Co-Chair at #ASE2025, working on automated techniques for provable security. Outside of work: 🎵 music, 🚴 cycling, and ⛵ sailing!
September 24, 2025 at 2:25 PM
Meet Xusheng, another security expert on the ASE’25 Organizing Committee! He is co-chairing the NIER track together with Sang Kil Cha (KAIST).
September 22, 2025 at 2:20 PM
Meet Ben, Doctoral Symposium Co-Chair & D&I Chair at #ASE2025 — his research focuses on secure software engineering and yes, he sails 😎⛵!
September 20, 2025 at 10:29 AM
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 😉
September 17, 2025 at 8:56 AM
Here’s our other Program Co-Chair, Lingming Zhang (@llingming.bsky.social) from UIUC! “Playing with software” sounds like the perfect spirit for ASE! :-)
September 13, 2025 at 7:42 AM
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.
September 12, 2025 at 4:07 AM
Meet Shin Yoo, the General Chair of ASE 2025! 😉
September 2, 2025 at 10:38 AM