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!

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!

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

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

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!