Wonho Shin

According to our database, Wonho Shin authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automated code transformation for distributed training of TensorFlow deep learning models.

Yusung Sim, Wonho Shin, Sungho Lee

Sci. Comput. Program., 2025

WEST: Specification-Based Test Generation for WebAssembly.

Dongjun Youn, Wonho Shin, Sukyoung Ryu

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Bringing the WebAssembly Standard up to Speed with SpecTec.

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg

Proc. ACM Program. Lang., 2024

2023

Wasm SpecTec: Engineering a Formal Language Standard.

Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn

CoRR, 2023

2021

JSTAR: JavaScript Specification Type Analyzer using Refinement.

Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021