MS Candidate, PLRG Lab.
School of Computing
Korea Advanced Institute of Science and Technology
Scalable and precise static analysis
MS in Computer Science, Mar. 2017 - Present
School of Computing, KAIST
BS in Mathematics & Computer Science, Feb. 2012 - Feb. 2017
Department of Mathematical Sciences, KAIST
Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., and Sukyoung Ryu, “Polymorphic Symmetric Multiple Dispatch with Variance,“ Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2019.