- Paper List
	- WeTune: Automatic Discovery and Verification of Query Rewrite Rules SIGMOD'22
	- Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly SIGMOD'22
	- On the Parallels between Paxos and Raft, and how to Port Optimizations  PODC'19
	- TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM  SOSP'21
	- Scalable Memory Protection in the Penglai Enclave  OSDI'21
	- XPC: Architectural Support for Secure and Efficient Cross Process Call ISCA'19
	- CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization   SOSP'11
	- Serverless Computing on Heterogeneous Computers ASPLOS'22
	- How to Enable Index Scheme for Reducing the Writing Cost of DNA Storage on Insertion and Deletion TECS'22
	- HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems  FAST'22
	- Zero-Change Object Transmission for Distributed Big Data Analytics  ATC'22
	- Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences  OSDI'22
	- No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing OSDI'23
	- Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication  ATC'20
- ![HTMFS Strong Consistency Comes for Free with.pdf](../assets/HTMFS_Strong_Consistency_Comes_for_Free_with_1682647018871_0.pdf)
- ![XPC Architectural Support for Secure and Efficient Cross.pdf](../assets/XPC_Architectural_Support_for_Secure_and_Efficient_Cross_1682647057931_0.pdf)