Zhenyang Dai

According to our database, Zhenyang Dai authored at least 2 papers between 2018 and 2024.

Collaborative distances:

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

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

2018

Is It Possible to Automatically Port Kernel Modules?

Yanjie Zhen, Wei Zhang, Zhenyang Dai, Junjie Mao, Yu Chen

Proceedings of the 9th Asia-Pacific Workshop on Systems, 2018