About me

I am a second-year PhD student at North Carolina State University, advised by Dr. Marcelo d’Amorim in the SWAT research group. My research focuses on software testing with the goal of making software systems more reliable. Currently, I am developing fuzzing techniques for machine learning model compilers, targeting optimization pipelines in systems such as TorchInductor and OpenXLA/XLA.

Prior to starting my PhD at NC State, I earned my M.S. from KAIST under the supervision of Prof. Doo-Hwan Bae. My research interests lie in software testing, fault diagnosis, software reliability, cyber-physical systems, and safety-critical systems. During my master’s, I developed mutation-based test generation techniques for nuclear power plant software using SMT solvers. For more details, see the publications section.

News

• 🎉 Our paper Learning Compiler Fuzzing Mutators from Historical Bugs has been accepted to MSR 2026.