兹沃尼米尔·帕夫利诺维奇
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [j1] 兹沃尼米尔·帕夫利诺维奇 , 苏玉森 , 托马斯·维斯 :
数据流优化类型推断。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1至31 ( 2021 ) 2020 [i3] 兹沃尼米尔·帕夫利诺维奇 , 苏玉森 , 托马斯·维斯 :
数据流优化类型推断。 CoRR公司 abs/2011.04876 ( 2020 )
2010 – 2019
2019 【b1】 兹沃尼米尔·帕夫利诺维奇 :
利用程序分析进行类型推断。 美国纽约大学, 2019 【c7】 Yan Shvartzshnaider先生 , 兹沃尼米尔·帕夫利诺维奇 , 阿南斯·巴拉珊卡 , 托马斯·维斯 , Lakshminarayanan Subramanian语 , 海伦·尼森鲍姆 , Pratek Mittal公司 :
疫苗:使用上下文完整性进行数据泄漏检测。 万维网 2019 : 1702-1712 2018 【c6】 Kedar S.Namjoshi公司 , 兹沃尼米尔·帕夫利诺维奇 :
程序转换对静态程序分析的影响。 SAS公司 2018 : 306-325 2017 【c5】 迭戈·加伯维斯基 , 兹沃尼米尔·帕夫利诺维奇 , 巴纳特 , 穆苏瓦蒂夫人 , 托德·米特科维奇 , 埃德加多·佐皮 :
用于优化大数据查询的静态分析。 ESEC/SIGSOFT FSE 2017 : 932-937 [i2] Yan Shvartzshnaider先生 , 兹沃尼米尔·帕夫利诺维奇 , 托马斯·维斯 , 拉克希米纳拉亚南苏布拉曼尼亚语 , Pratek Mittal公司 , 海伦·尼森鲍姆 :
构建DLP系统的疫苗框架。 CoRR公司 abs/1711.02742 ( 2017 ) 2016 【c4】 兹沃尼米尔·帕夫利诺维奇 , 阿卡什·拉尔 , 拉胡尔·夏尔马 :
从验证历史推断设备驱动程序的注释。 ASE公司 2016 : 450-460 2015 【c3】 兹沃尼米尔·帕夫利诺维奇 , 蒂姆·金 , 托马斯·维斯 :
实用的基于SMT的类型错误定位。 ICFP公司 2015 : 412-423 【c2】 兹沃尼米尔·帕夫利诺维奇 , 蒂姆·金 , 托马斯·维斯 :
查找最小类型错误源。 软件工程与管理 2015 : 43-44 [i1] 兹沃尼米尔·帕夫利诺维奇 , 蒂姆·金 , 托马斯·维斯 :
基于SMT的实用类型错误定位。 CoRR公司 abs/1508.06836 ( 2015 ) 2014 【c1】 兹沃尼米尔·帕夫利诺维奇 , 蒂姆·金 , 托马斯·维斯 :
正在查找最小类型错误源。 OOPSLA公司 2014 : 525-542
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)