IPADS

This is a sitemap over all available pages ordered by namespaces.

playground
projects
pub
members
projects
Formally Verified Concurrent File System (AtomFS) and CRL-H Framework
Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting
CHAOS: Confidentiality and High-Assurance equipped Operating Systems
Cocytus
COREMU : Scalable and Portable Parallel Emulation using Sequential Emulator
Efficient In-memory Transactional Processing Using New Advanced Hardware
Hang Survey: A comprehensive study on software hang
ICA: Safe Binary Device Driver Reuse via User-level Binary Translation
IPADS Data Analytics Stack (IDAS)
ixen
LUCOS: Live Updating Contemporary Operating Systems
Mercury: Combining Performance with Dependability Using Self-virtualization
OVM: Type-safe, Object-oriented Virtual Machine Monitors
Parallelizing Live Migration of Virtual Machines
POLUS: A POwerful Live Updating System
Passive Reader-Writer Lock : Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks
Formally Verified Concurrent File System (RefFS) and MoLi Framework
Shepherd: VMM-based Process Shepherding
SSMalloc: A Low-latency, Locality-conscious Memory Allocator with Stable Performance Scalability
Motivation
Fast and Concurrent Query Processing on Big (Linked) Data
XSTORE: efficient RDMA-based ordered key-value store using learned cache
publication
AsiaSys 2008
AsiaSys 2008
Courses for Undergraduates
Members
Projects (Not-in-Sync)
Publications
IPADS Spring Outing, Tianmu Lake - May.18,2013
talk
wiki
Binyu Zang
Fengzhe Zhang
Haibo Chen
Advanced Operating System Implementation (AOSI)
Rong Chen (陈榕)
IPADS
Research Statement
Xiang Song (宋翔)
Yubin Xia's Homepage (夏虞斌)
Yufei Chen (陈宇飞)
Yutao Liu (刘宇涛)
Zhaoguo Wang (王肇国)
Zhijun Hao (郝志军)

Sitemap