Zhengyu He

According to our database, Zhengyu He authored at least 17 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.

Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

SHELTER: Extending Arm CCA with Isolation in User Space.

Yiming Zhang, Yuxin Hu, Zhenyu Ning, Fengwei Zhang, Xiapu Luo, Haoyang Huang, Shoumeng Yan, Zhengyu He

Proceedings of the 32nd USENIX Security Symposium, 2023

PVM: Efficient Shadow Paging for Deploying Secure Containers in Cloud-native Environment.

Hang Huang, Jiangshan Lai, Jia Rao, Hui Lu, Wenlong Hou, Hang Su, Quan Xu, Jiang Zhong, Jiahao Zeng, Xu Wang, Zhengyu He, Weidong Han, Jiang Liu, Tao Ma, Song Wu

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

2022

HyperEnclave: An Open and Cross-platform Trusted Execution Environment.

Yuekai Jia, Shuang Liu, Wenhao Wang, Yu Chen, Zhengde Zhai, Shoumeng Yan, Zhengyu He

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

StrongBox: A GPU TEE on Arm Endpoints.

Yunjie Deng, Chenxu Wang, Shunchang Yu, Shiqing Liu, Zhenyu Ning, Kevin Leach, Jin Li, Shoumeng Yan, Zhengyu He, Jiannong Cao, Fengwei Zhang

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2020

Image Stitching Using Green Coordinates and Robust Elastic Warping.

Yuxing Mao, Shenghong Hu, Zhengyu He

Proceedings of the 10th Annual Computing and Communication Workshop and Conference, 2020

2013

A queuing model-based approach for the analysis of transactional memory systems.

Xiao Yu, Zhengyu He, Bo Hong

Concurr. Comput. Pract. Exp., 2013

2012

On algorithm design and programming model for multi-threaded computing.

Zhengyu He

PhD thesis, 2012

On Adaptive Contention Management Strategies for Software Transactional Memory.

Xiao Yu, Zhengyu He, Bo Hong

Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

Profiling-based Adaptive Contention Management for Software Transactional Memory.

Zhengyu He, Xiao Yu, Bo Hong

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

PMU-guided Priority Adjustment to Guarantee Thread Performance on IBM POWER SMT Processor.

Zhengyu He, Bo Hong

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

2011

An Asynchronous Multithreaded Algorithm for the Maximum Network Flow Problem with Nonblocking Global Relabeling Heuristic.

Bo Hong, Zhengyu He

IEEE Trans. Parallel Distributed Syst., 2011

2010

An Analytical Model on the Execution of Transactional Memory.

Xiao Yu, Zhengyu He, Bo Hong

Proceedings of the 22st International Symposium on Computer Architecture and High Performance Computing, 2010

Modeling the Run-time Behavior of Transactional Memory.

Zhengyu He, Bo Hong

Proceedings of the MASCOTS 2010, 2010

Dynamically tuned push-relabel algorithm for the maximum flow problem on CPU-GPU-Hybrid platforms.

Zhengyu He, Bo Hong

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009

On the Performance of Commit-Time-Locking Based Software Transactional Memory.

Zhengyu He, Bo Hong

Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, 2009

Impact of early abort mechanisms on lock-based software transactional memory.

Zhengyu He, Bo Hong

Proceedings of the 16th International Conference on High Performance Computing, 2009