Login / Signup
Wonho Shin
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Provably Correct
Open Source
Data Storage
Formal Language
Top Venues
CoRR
ASE
</>
Publications
</>
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)