Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

• WebAssembly

Education

Ph.D. in Computer Science, Mar. 2023 - Present

School of Computing, KAIST

MS. in Computer Science, Mar. 2021 - Feb. 2023

School of Computing, KAIST

BS in  Computer Science, Mar. 2016 - Feb. 2021

School of Computing, KAIST

Publication

• Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, and Sukyoung Ryu, “JSTAR: JavaScript Specification Type Analyzer using Refinement,” Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2021.

Contact

Rm. 4409, School of Computing (E3-1), KAIST

291 Daehak-ro

Yuseong-gu

Daejeon 34141

Republic of Korea

Email:  yusungsim [at] kaist.ac.kr