林俊熙
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 【j4】 马特·埃尔德 , 林俊熙 , 图沙尔·夏尔马 , 第谷·安徒生 , 托马斯·W·代表 :
仿射关系的抽象域。 ACM事务处理。 程序。 语言系统。 36 ( 4 ) : 11:1-11:73 ( 2014 ) 2013 [j3] 林俊熙 , 托马斯·W·代表 :
TSL:生成抽象解释器的系统及其在机器代码分析中的应用。 ACM事务处理。 程序。 语言系统。 35 ( 1 ) : 4:1-4:59 ( 2013 ) [注2] 张伟(音译) , 孙冲(Chong Sun) , 林俊熙 , 山路 , 托马斯·W·代表 :
ConMem:通过面向效果的方法检测崩溃触发并发错误。 ACM事务处理。 柔和。 工程方法。 22 ( 2 ) : 10:1-10:33 ( 2013 ) [第13条] 阿迪蒂亚·塔库尔 , 阿卡什·拉尔 , 林俊熙 , 托马斯·W·代表 :
PostHat和所有这些:自动化抽象解释。 塔帕斯@SAS 2013 : 15-32 2011 [j1] 林俊熙 , 阿卡什·拉尔 , 托马斯·W·代表 :
通过语义重新解释进行符号分析。 国际期刊软件。 工具技术。 Transf公司。 13 ( 1 ) : 61-87 ( 2011 ) [第12条] 张伟(音译) , 林俊熙 , 拉米亚·奥利坎德兰 , 乔尔·舍普尔茨 , 金国亮 , 山路 , 托马斯·W·代表 :
ConSeq:通过顺序错误检测并发错误。 ASPLOS公司 2011 : 251-264 [第11条] 马特·埃尔德 , 林俊熙 , 图沙尔·夏尔马 , 第谷·安徒生 , 托马斯·W·代表 :
仿射关系的抽象域。 萨斯 2011 : 198-215 2010 [第10条] 托马斯·W·代表 , 林俊熙 , 阿迪蒂亚·塔库尔 , 戈古尔·巴拉克利什南 , 阿卡什·拉尔 :
底部有很多空间:分析和验证机器代码。 CAV汽车 2010 : 41-56 【c9】 阿迪蒂亚·塔库尔 , 林俊熙 , 阿卡什·拉尔 , 阿曼达伯顿 , 埃文·德里斯科尔 , 马特·埃尔德 , 第谷·安徒生 , 托马斯·W·代表 :
机器代码的定向证明生成。 CAV汽车 2010 : 288-305
2000 – 2009
2009 【c8】 林俊熙 , 阿卡什·拉尔 , 托马斯·W·代表 :
通过语义重新解释进行符号分析。 自旋蛋白 2009 : 148-168 2008 【c7】 林俊熙 , 托马斯·W·代表 :
为机器指令生成静态分析器的系统。 科科斯群岛 2008 : 36-52 2007 [第1页] 托马斯·W·代表 , 戈古尔·巴拉克利什南 , 林俊熙 , 蒂姆·泰特鲍姆 :
用于分析可执行文件的下一代平台。 恶意软件检测 2007 : 43-61 2006 【c6】 阿卡什·拉尔 , 林俊熙 , 玛丽娜·波里什丘克 , 本·利布利特 :
程序中的路径优化及其在调试中的应用。 员工持股计划 2006 : 246-263 【c5】 托马斯·W·代表 , 戈古尔·巴拉克利什南 , 林俊熙 :
从低级代码进行中间重表示恢复。 政治公众人物 2006 : 100-111 【c4】 林俊熙 , 托马斯·W·代表 , 本·利布利特 :
从可执行文件中提取输出格式。 WCRE公司 2006 : 167-178 2005 【c3】 托马斯·W·代表 , 戈古尔·巴拉克利什南 , 林俊熙 , 蒂姆·泰特鲍姆 :
用于分析可执行文件的下一代平台。 阿普拉斯 2005 : 212-229 【c2】 戈古尔·巴拉克利什南 , 托马斯·W·代表 , 尼古拉斯·基德 , 阿卡什·拉尔 , 林俊熙 , 大卫·梅尔斯基 , 拉杜·格鲁安 , 孙希勇 , 陈池华 , 蒂姆·泰特鲍姆 :
使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。 CAV汽车 2005 : 158-163 2004 【c1】 查尼克公园 , 林俊熙 , Kiwon Kwon先生 , 李政宰 , Sang Lyul Min先生 :
带闪存的嵌入式系统的编译器辅助请求分页。 EMSOFT公司 2004 : 114-124
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)