Wonho Shin公司
人员信息
其他同名人员
优化列表
2020年–今天
2024 [j1] 杨东军(Dongjun Youn) , Wonho Shin公司 , 李在云 , 苏京琉 , 约阿希姆·布雷特纳 , 菲利普·加德纳 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 康拉德·瓦特 , 安德烈亚斯·罗斯伯格 :
使用SpecTec加快WebAssembly标准。 程序。 ACM计划。 语言。 8 ( PLDI公司 ) : 1559-1584 ( 2024 ) 2023 [i1] 约阿希姆·布雷特纳 , 菲利普·加德纳 , 李在云 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 安德烈亚斯·罗斯伯格 , 苏京琉 , Wonho Shin公司 , 康拉德·瓦特 , 杨东军(Dongjun Youn) :
Wasm SpecTec:设计正式语言标准。 CoRR公司 abs/2311.07223 ( 2023 ) 2021 【c1】 Jihyeok公园 , Seungmin安 , Wonho Shin公司 , Yusung Sim先生 , 苏京琉 :
JSTAR:使用精简的JavaScript规范类型分析器。 ASE公司 2021 : 606-616