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

Professional Activities

• 2024: OOPSLA (Review Committee), VSTTE (Program Committee), ATVA (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
• 2020 Virtual LLVM Developers’ Meeting, Keynote Talk (link)
• 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)