杨东军(Dongjun Youn)
人员信息
优化列表
2020年–今天
2023 [注2] Jihyeok公园 , 杨东军(Dongjun Youn) , Kanguk Lee公司 , 苏京琉 :
编程语言实现一致性测试的特征敏感覆盖。 程序。 ACM计划。 语言。 7 ( PLDI公司 ) : 493-515 ( 2023 ) [j1] 杨东军(Dongjun Youn) , 李成浩 , 苏京琉 :
使用CodeQL对多语言程序进行声明性静态分析。 柔和。 实际。 支出。 53 ( 7 ) : 1472-1495 ( 2023 ) [i3] 约阿希姆·布雷特纳 , 菲利普·加德纳 , 李在云 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 安德烈亚斯·罗斯伯格 , 苏京琉 , Wonho Shin公司 , 康拉德·瓦特 , 杨东军(Dongjun Youn) :
Wasm SpecTec:设计正式语言标准。 CoRR公司 abs/2311.07223 ( 2023 ) 2021 【c3】 Jihyeok公园 , Seungmin安 , 杨东军(Dongjun Youn) , 庆元金 , 苏京琉 :
JEST:N+1版本JavaScript引擎和规范的差异测试。 ICSE公司 2021 : 13-24 【c2】 Jihyeok公园 , Seungmin安 , 杨东军(Dongjun Youn) , 庆元金 , 苏京琉 :
JEST:JavaScript引擎和规范的N+1版本差异测试。 ICSE(配套卷) 2021 : 156-157 【c1】 Joonyoung公园 , Jihyeok公园 , 杨东军(Dongjun Youn) , 苏京琉 :
通过动态快捷方式加速JavaScript静态分析。 ESEC/SIGSOFT FSE 2021 : 1129-1140 [i2] Jihyeok公园 , Seungmin安 , 杨东军(Dongjun Youn) , 庆元金 , 苏京琉 :
JEST:JavaScript引擎和规范的N+1版本差异测试。 CoRR公司 abs/2102.07498 ( 2021 ) [i1] Joonyoung公园 , Jihyeok公园 , 杨东军(Dongjun Youn) , 苏京琉 :
通过动态快捷方式加速JavaScript静态分析(扩展版)。 CoRR公司 abs/2105.13699 ( 2021 )