MS Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

• Type system

• Scalable and precise static analysis

Education

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

Publications

Conference

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

  • Extended Technical Report