Georgia Institute of Technology Aug. 2019 - presentAtlanta, Georgia (United States)

Pohang University of Science and Technology (POSTECH) Mar. 2015 - Feb. 2019Pohang (South Korea)


  1. Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim. In Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP), Virtual Event, Germany, October 26-29, 2021. (acceptance rate: 15.5% = 54/348) [paper] [code] [video]
    Distinguished Artifact Award!

Work Experience

Microsoft Research, Research Intern May. 2020 - Aug. 2020Remote (United States)

National Cancer Center, Research Assistant Apr. 2019 - June 2019Goyang (South Korea)

Oracle Labs Parallel Graph AnalytiX (PGX), Research Assistant Feb. 2018 - June 2018Belmont, California (United States)

POSTECH Database & Data Mining Lab, Undergraduate Intern Winter 2016 - Spring 2017Pohang (South Korea)

Research Interest

Scalable vulnerability detection

This topic is at the intersection of program analysis and software security, two fields that I have both enjoyed and excelled in. Manual security auditing can find complicated new bugs, but it is hardly scalable in terms of time and human resource. I'm extremely interested in automating such approach with fuzzing and static analysis, so that we can prevent not only a single bug in a specific software but also all bugs of the same class in all the current and the future software.

Abstraction Recovery

There is a huge gap between abstractions used in programming languages and machine code. Typically, machine code does not contain any type information, struct definition, or inheritance hierarchy. Furthermore, compilers might introduce additional disparity for optimization purpose. Lost abstractions make understanding the core logic of programs harder, and reconstructing them can greatly help both human and machine analyzer.

Teaching Experience

Honors and Awards


Capture the Flag / Programming Competition (selected)

I post my write-ups on GitHub.