Wonho Shin

Orcid: 0000-0002-1889-3797

According to our database1, Wonho Shin authored at least 4 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2021
2022
2023
2024
2025
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Automated code transformation for distributed training of TensorFlow deep learning models.
Sci. Comput. Program., 2025

2024
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang., 2024

2023
Wasm SpecTec: Engineering a Formal Language Standard.
CoRR, 2023

2021
JSTAR: JavaScript Specification Type Analyzer using Refinement.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021


  Loading...