Login / Signup
Junrui Zhou
Publication Activity (10 Years)
Years Active: 2011-2015
Publications (10 Years): 0
Top Topics
Speculative Execution
Quantitative Analysis
Distributed Control
Computation Tree Logic
Top Venues
ICA3PP (4)
TrustCom/ISPA/IUCC
ACIS-ICIS
</>
Publications
</>
Junrui Zhou
,
Hong An
,
Yunyun Wang
,
Junshi Chen
Local State Reusing for Efficient Model Checking of Multithreaded Programs.
ICA3PP (4)
(2015)
Junrui Zhou
,
Hong An
,
Yanyan Zou
,
Tao Sun
Quantitative Analysis of Inter-block Dependence in Speculative Execution.
TrustCom/ISPA/IUCC
(2013)
Mengjie Mao
,
Hong An
,
Tao Sun
,
Qi Li
,
Bobin Deng
,
Xuechao Wei
,
Junrui Zhou
Distributed Control Independence for Composable Multi-processors.
ACIS-ICIS
(2012)
Min Xu
,
Junrui Zhou
,
Wei Zhou
,
Hong An
CHMasters: A Scalable and Speed-Efficient Metadata Service in Distributed File System.
PDCAT
(2011)