My Research Experience During Ph.D

I received Ph.D. from Software Foundations Lab, Seoul National University in August, 2021. When I was a graduate student, I worked on clarifying the semantics of the intermediate representation of the LLVM compiler infrastructure and implementing compiler optimization validators.

I actively sent patches to LLVM (commits/patches) to (1) make LLVM IR semantics abide by a formal definition, and (2) resolve performance issues of the generated machine code after my patches. I also participated in developing Alive2 (https://alive2.llvm.org/), an automatic optimization validator (pull requests).

Industrial Experience

• Oct, 2022 ~ now: Applied Scientist, AWS (Austin, TX, USA)
• Sep, 2021 ~ Sep, 2022: Research engineer, CryptoLab (Seoul, Korea). I served a mandatory military service in an alternative form by working for this company.
• May ~ Aug, 2019 : Intern, Program Analysis Team at Apple (Cupertino, US).
• Feb ~ Apr, 2018 : Research intern, Programming Principles and Tools Group at Microsoft Research (Cambridge, UK).

Talks

• May 2023, “Practical Software Verification and Its Impact: From Compiler to Cryptogtaphy”, KAIST
• May 2022, “Practical Concerns in Verifying LLVM Optimizations and Fixing Bugs in Them”, MPI-SWS
• Apr 2022, “Intermediate Representations of Compilers”, KAIST
• Apr / May 2022, “Prototyping a Compiler for Homomorphic Encryption in MLIR”, LLVM-CGO 2022 / EuroLLVM 2022
• Jan 2022, “A Robust Foundation for the Correctness of LLVM Compiler”, KCSE (link)
• 2020, “Undef and Poison: Present and Future”, The 2020 Virtual LLVM Developers’ Meeting, Keynote Talk (link)
• 2019, “Safely Optimizing Casts between Pointers and Integers”: 2019 European LLVM developers’ meeting, Student Research Competition, Second Prize

Professional Activities

• 2024: VSTTE (Program Committee), AVTA (Artifact Evaluation Committee)
• 2023: CAV (Program Committee)
• 2022: VSTTE (External Reviewer), APLAS (External Reviewer)
• 2020: CAV (Artifact Evaluation Committee)

Awards and Honors

• 2021 College of Engineering, SNU, Best Thesis Award
• 2021 PLDI, Distinguished Paper Award
• 2019 European LLVM developers’ meeting, Student Research Competition, Second Prize
• 2017 Mar – 2021. Aug. Graduate Student Scholarship. Korea Foundation for Advanced Studies.
• 2012 ACM International Collegiate Programming Contest (ICPC) Regional Contest Daejeon, 5th place (team name DIPLOMATICS, link)