Symbolic Predictive Cache Analysis for Out-of-Order Execution
Symbolic Predictive Cache Analysis for Out-of-Order Execution
复制标题
乱序执行的符号预测缓存分析
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Wang, Chao
中科院分区：
文献类型：
--
作者：
Huang, Zunchen;Wang, Chao
登录
查看更多内容
DOI：
10.1109/csf.2016.34
发表时间：
2016-08
期刊：
2016 IEEE 29th Computer Security Foundations Symposium (CSF)
影响因子：
--
作者：
C. Păsăreanu;Quoc-Sang Phan;P. Malacaria
通讯作者：
C. Păsăreanu;Quoc-Sang Phan;P. Malacaria
DOI：
10.1145/3377811.3380428
发表时间：
2019-11
期刊：
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Shengjian Guo;Yueqi Chen;Peng Li;Yueqiang Cheng;Huibo Wang;Meng Wu;Zhiqiang Zuo
通讯作者：
Shengjian Guo;Yueqi Chen;Peng Li;Yueqiang Cheng;Huibo Wang;Meng Wu;Zhiqiang Zuo
预测可串行性违规：基于 SMT 的搜索与基于 DPOR 的搜索
DOI：
--
发表时间：
2011
期刊：
Haifa Verification Conference
影响因子：
--
作者：
Arnab Sinha;S. Malik;Chao Wang;Aarti Gupta
通讯作者：
Aarti Gupta
DOI：
10.1145/3314221.3314647
发表时间：
2019-04
期刊：
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Meng Wu;Chao Wang
通讯作者：
Meng Wu;Chao Wang
DOI：
10.1145/3213846.3213851
发表时间：
2018-06
期刊：
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
影响因子：
--
作者：
Meng Wu;Shengjian Guo;P. Schaumont;Chao Wang
通讯作者：
Meng Wu;Shengjian Guo;P. Schaumont;Chao Wang