肖家饶
人员信息
优化列表
2020年–今天
2024 [j2] 杨东军(Dongjun Youn) , Wonho Shin公司 , 李在云 , 苏京琉 , 约阿希姆·布雷特纳 , 菲利普·加德纳 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 康拉德·瓦特 , 安德烈亚斯·罗斯伯格 :
使用SpecTec加快WebAssembly标准。 程序。 ACM计划。 语言。 8 ( PLDI公司 ) : 1559-1584 ( 2024 ) 2023 [j1] 肖家饶 , 艾娜·林·乔治斯 , 马克西姆·勒戈皮勒 , 康拉德·瓦特 , Jean Pichon-Pharabod公司 , 菲利普·加德纳 , 拉尔斯·比克达尔 :
Iris-Wasm:WebAssembly程序的健壮和模块化验证。 程序。 ACM计划。 语言。 7 ( PLDI公司 ) : 1096-1120 ( 2023 ) [i1] 约阿希姆·布雷特纳 , 菲利普·加德纳 , 李在云 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 安德烈亚斯·罗斯伯格 , 苏京琉 , Wonho Shin公司 , 康拉德·瓦特 , 杨东军(Dongjun Youn) :
Wasm SpecTec:设计正式语言标准。 CoRR公司 abs/2311.07223 ( 2023 ) 2021 【c1】 康拉德·瓦特 , 肖家饶 , Jean Pichon-Pharabod公司 , 摄影 , 菲利普·加德纳 :
WebAssembly 1.0的两种机制。 FM公司 2021 : 61-79