Login / Signup
Wonho Shin
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Provably Correct
High Level
Preprocessing
Data Storage
Top Venues
Proc. ACM Program. Lang.
CoRR
ASE
</>
Publications
</>
Dongjun Youn
,
Wonho Shin
,
Jaehyun Lee
,
Sukyoung Ryu
,
Joachim Breitner
,
Philippa Gardner
,
Sam Lindley
,
Matija Pretnar
,
Xiaojia Rao
,
Conrad Watt
,
Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang.
8 (PLDI) (2024)
Joachim Breitner
,
Philippa Gardner
,
Jaehyun Lee
,
Sam Lindley
,
Matija Pretnar
,
Xiaojia Rao
,
Andreas Rossberg
,
Sukyoung Ryu
,
Wonho Shin
,
Conrad Watt
,
Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard.
CoRR
(2023)
Jihyeok Park
,
Seungmin An
,
Wonho Shin
,
Yusung Sim
,
Sukyoung Ryu
JSTAR: JavaScript Specification Type Analyzer using Refinement.
ASE
(2021)