2015
Local State Reusing for Efficient Model Checking of Multithreaded Programs.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

2013
Quantitative Analysis of Inter-block Dependence in Speculative Execution.
Proceedings of the 12th IEEE International Conference on Trust, 2013

2012
Distributed Control Independence for Composable Multi-processors.
Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011
CHMasters: A Scalable and Speed-Efficient Metadata Service in Distributed File System.
Proceedings of the 12th International Conference on Parallel and Distributed Computing, 2011