Backlinks

• Haibo Chen
• Advanced Operating System Implementation (AOSI)
• Members
• Chuzhe Tang (唐楚哲)
• Haibo Chen
• Lei Qi (祁磊)
• Lun Liu (刘仑)
• Rong Chen (陈榕)
• Sibo Wang (王思博)
• Yifeng Wang 王怡丰
• Yijian Huang(黄弋简)
• Yue ZHOU
• Yufei Chen (陈宇飞)
• Zhiwei Xiao (肖之慰)
• Formally Verified Concurrent File System (AtomFS) and CRL-H Framework
• Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting
• Cocytus
• COREMU : Scalable and Portable Parallel Emulation using Sequential Emulator
• Efficient In-memory Transactional Processing Using New Advanced Hardware
• IPADS Data Analytics Stack (IDAS)
• Parallelizing Live Migration of Virtual Machines
• Passive Reader-Writer Lock : Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks
• Formally Verified Concurrent File System (RefFS) and MoLi Framework
• Fast and Concurrent Query Processing on Big (Linked) Data
• Rong Chen (陈榕)