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...
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
🎙️ 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...
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”
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 (2 of 3)
Dr. Cristina Cifuentes, Vice President @ Oracle Software Assurance
“Oracle Parfait – Detecting Application Vulnerabilities at Scale – Past, Present and Future”
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...
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
🎙️ #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...
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...
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 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! 🎤
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 :-)
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 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 :-)
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 💃 🎶!
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
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 💃 🎶!
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 😉
September 30, 2025 at 8:37 AM
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!
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
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!
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 💙
September 28, 2025 at 1:04 PM
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
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 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
He’s helping manage the publication process together with Soha Hussein.
💪 Co-organizer of #FUZZING’26
👨💻 Passionate about improving software quality
@yannicnoller.bsky.social
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 Nico, Industry Track Co-Chair at #ASE2025, working on automated techniques for provable security. Outside of work: 🎵 music, 🚴 cycling, and ⛵ sailing!
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 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 😎⛵!
September 20, 2025 at 10:29 AM
Meet Ben, Doctoral Symposium Co-Chair & D&I Chair at #ASE2025 — his research focuses on secure software engineering and yes, he sails 😎⛵!
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
Here’s our other Program Co-Chair, Lingming Zhang (@llingming.bsky.social) from UIUC! “Playing with software” sounds like the perfect spirit for ASE! :-)
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 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! 😉
September 2, 2025 at 10:38 AM
Meet Shin Yoo, the General Chair of ASE 2025! 😉