심유성
Yusung Sim
Ph.D. Candidate, PLRG Lab.
School of Computing
Korea Advanced Institute of Science and Technology
Research Interests
Research Interests
WebAssembly
Education
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
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
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