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

TrustCom/ISPA/IUCC

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)