德文·考夫林
人员信息
优化列表
2020年–今天
2010 – 2019
2015 [i1] 蔡逸凡 , 德文·考夫林 , Bor-Yuh Evan Chang先生 , Xavier对手 :
数据结构不变量的合成短路验证。 CoRR公司 abs/1511.04846 ( 2015 ) 2014 【c4】 德文·考夫林 , Bor-Yuh Evan Chang先生 :
裂变类型分析:几乎处处不变量的模块化检查。 POPL公司 2014 : 73-86 2012 【c3】 德文·考夫林 , Bor-Yuh Evan Chang先生 , 艾默·迪万 , 杰里米·西克 :
用符号跟踪解释来衡量强制窗口:表现良好的程序所说的。 ISSTA公司 2012 : 276-286
2000 – 2009
2009 【c2】 克里斯托夫·赖森巴赫 , 德文·考夫林 , 艾默·迪万 :
程序变形。 ECOOP公司 2009 : 394-418 [c1] 托德·米特科维奇 , 德文·考夫林 , 艾默·迪万 :
推断的调用路径分析。 OOPSLA公司 2009 : 175-190