Yuekai Jia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. | Zhenyang Dai, Shuang Liu, Vilhelm Sjberg, 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 |
| 2024 | SOSP | Skyloft: A General High-Efficient Scheduling Framework in User Space. | Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, Kang Chen |
| 2022 | USENIX | HyperEnclave: An Open and Cross-platform Trusted Execution Environment. | Yuekai Jia, Shuang Liu, Wenhao Wang, Yu Chen, Zhengde Zhai, Shoumeng Yan, Zhengyu He |