刘培尊
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [j1] 刘佩尊 , 托马斯·沃尔 , 托马斯·W·代表 :
使用观察序列进行跨过程上下文无边界程序分析。 ACM事务处理。 程序。 语言系统。 42 ( 4 ) : 16:1-16:34 ( 2021 )
2010 – 2019
2019 【c6】 刘培尊 , 托马斯·沃尔 , 阿卡什·拉尔 :
使用部分抽象转换器验证异步事件驱动程序。 CAV(2) 2019 : 386-404 [i5] 刘培尊 , 托马斯·沃尔 , 阿卡什·拉尔 :
使用部分抽象变换器验证异步事件驱动程序(扩展原稿)。 CoRR公司 abs/1905.09996 ( 2019 ) 2018 【c5】 刘培尊 , 托马斯·沃尔 :
CUBA:并发程序的跨过程上下文无边界分析。 PLDI公司 2018 : 105-119 [i4] 刘培尊 , 托马斯·沃尔 :
CUBA:并行程序的跨过程上下文无边界分析(扩展手稿)。 CoRR公司 腹肌/1804.04766 ( 2018 ) 2017 【c4】 刘培尊 , 托马斯·沃尔 :
IJIT:一种用于实时翻译的布尔程序分析API。 SEFM公司 2017 : 316-331 [i3] 刘培尊 , 托马斯·沃尔 :
IJIT:一种用于实时翻译布尔程序分析的API(扩展技术报告)。 CoRR公司 abs/1706.03167 ( 2017 ) 2016 【c3】 康斯坦蒂诺斯·阿萨纳西奥 , 刘培尊 , 托马斯·沃尔 :
使用线程状态方程验证无边界线程程序。 国际JCAR 2016 : 516-531 【c2】 刘培尊 , 托马斯·沃尔 :
通过循环摘要实现和谐无限的线程可访问性。 ICFEM公司 2016 : 346-362 [i2] 刘培尊 , 托马斯·沃尔 :
通过回路总结(扩展技术报告)实现的和谐无界螺纹可达性。 CoRR公司 abs/1607.08273 ( 2016 ) 2015 [i1] 刘培尊 , 托马斯·沃尔 :
通过符号执行和循环加速实现无界线程可达性(技术报告)。 CoRR公司 abs/1505.02637 ( 2015 ) 2014 【c1】 刘培尊 , 托马斯·沃尔 :
布尔广播节目的无限状态向后探索。 FMCAD公司 2014 : 155-162
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)