IPADS

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

playground
pub
courses
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
CrossOver: An Efficient and Flexible Cross-world Call Mechanism
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
Model Native Operating System
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
Vicover
Fast and Concurrent Query Processing on Big (Linked) Data
XSTORE: efficient RDMA-based ordered key-value store using learned cache
publication
AsiaSys 2008
Courses for Undergraduates
Members
Projects (Not-in-Sync)
Publications
IPADS Spring Outing, Tianmu Lake - May.18,2013
wiki
IPADS
Research Statement

Sitemap