Deokhwan Kim先生
人员信息
其他同名人员
Deok-Hwan Kim先生 — 韩国仁川仁华大学 (还有1个)
优化列表
2020年–今天
2020 [j3] 马拉维卡沙马 , Deokhwan Kim先生 , 马丁·里纳德 :
合成替换类。 程序。 ACM计划。 语言。 4 ( POPL公司 ) : 52:1-52:33 ( 2020 )
2010 – 2019
2016 [注2] 陈根利 , Nhu-Ngoc刀 , 张成敏(Seonmin Jang) , Deokhwan Kim先生 , 金永勋 , 孙嘉秋(Sungrae Cho) :
基于间接卡尔曼滤波器的传感器融合驱动器的陀螺漂移校正。 传感器 16 ( 6 ) : 864 ( 2016 ) 2015 【c6】 Stelios Sidiroglou-Douskos公司 , 埃里克·拉赫蒂宁 , 内森·里滕豪斯 , 保罗·皮塞利 , Fan Long(风扇长) , Deokhwan Kim先生 , 马丁·里纳德 :
使用目标定向条件分支强制的目标自动整数溢出发现。 ASPLOS公司 2015 : 473-486 【c5】 迈克尔·戈登 , Deokhwan Kim先生 , 杰夫·H·帕金斯 , 利米·吉尔姆 , 阮恩阮 , 马丁·里纳德 :
DroidSafe中Android应用程序的信息流分析。 NDSS公司 2015 2014 【c4】 Fan Long(风扇长) , Stelios Sidiroglou-Douskos公司 , Deokhwan Kim先生 , 马丁·里纳德 :
整数溢出错误的声音输入滤波器生成。 POPL公司 2014 : 439-452 2013 [j1] 萨萨·米塞洛维奇 , Deokhwan Kim先生 , 马丁·里纳德 :
用统计准确性测试并行化顺序程序。 ACM事务处理。 嵌入。 计算。 系统。 12 ( 2秒 ) : 88:1-88:26 ( 2013 ) 【c3】 迈克尔·卡宾 , Deokhwan Kim先生 , 萨萨·米塞洛维奇 , 马丁·里纳德 :
已验证安全近似程序转换的完整性属性。 政治公众人物 2013 : 63-66 2012 【c2】 迈克尔·卡宾 , Deokhwan Kim先生 , 萨萨·米塞洛维奇 , 马丁·里纳德 :
证明松弛非确定性近似程序的可接受性。 PLDI公司 2012 : 169-180 2011 【c1】 Deokhwan Kim先生 , 马丁·里纳德 :
验证链接数据结构上的语义交换条件和反向操作。 PLDI公司 2011 : 528-541