심유성

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.
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel. 2024. Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. Proc. ACM Program. Lang. 8, OOPSLA2, Article 347 (October 2024), 27 pages. https://doi.org/10.1145/3689787

Yusung Sim, & Sukyoung Ryu (2022-12-20). Program Equivalence Checking for WebAssembly via Symbolic Execution. 한국정보과학회 학술발표논문집, 제주.
Yusung Sim, Doehyun Baek, Jakob Getz, & Sukyoung Ryu (2023-12-20). Wasm Benchmark Generation by Recording and Replaying the Host Interoperation. 한국정보과학회 학술발표논문집, 부산.
Yusung Sim, Doehyun Baek, Jakob Getz, & Sukyoung Ryu (2024). Wasm Benchmark Generation by Recording and Replaying the Host Interoperation. KIISE Transactions on Computing Practices, 30(7), 341-346, 10.5626/KTCP.2024.30.7.341

Yusung Sim. 2024. Improving the WebAssembly Specification Framework for Future Proposals. In APLAS 2024 SRC: Asian Symposium on Programming Languages and Systems, Student Research Competition (Kyoto, Japan, October 22–25, 2024). Retrieved from https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/12/-SRC-Improving-the-WebAssembly-Specification-Framework-for-Future-Proposals.

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