论文

Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication

Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services

GCPersist: An Efficient GC-assisted Lazy Persistency Framework for Resilient Java Applications on NVM

Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting

No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers

XIndex: A Scalable Learned Index for Multicore Data Storage

(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization (Preprint)

Performance and Protection in the ZoFS User-space NVM File System

Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System

On the Parallels between Paxos and Raft, and how to Port Optimizations

EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices

Pragh: Locality-preserving Graph Traversal with Split Live Migration

Pisces: A Scalable and Efficient Persistent Transactional Memory

XPC: Architectural Support for Secure and Efficient Cross Process Call

TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms

ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection

SkyBridge: Fast and Secure Inter-Process Communication for Microkernels

Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!

Analysis and Optimizations of Java Full Garbage Collection

Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration

EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs

VButton: Practical Attestation of User-driven Operations in Mobile Apps

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory

Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption

Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads

vTZ: Virtualizing ARM TrustZone

Soft Updates Made Simple and Fast on Non-volatile Memory

Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing

Secure Live Migration of SGX Enclaves on Untrusted Cloud

Deconstructing Xen

Transparent and Efficient CFI Enforcement with Intel Processor Trace

Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration

A Case for Virtualizing Persistent Memory

Fast and General Distributed Transactions Using RDMA and HTM

Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environment

Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication

Mitigating Sync Amplification for Copy-on-write Virtual Disk

Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation

Fast In-memory Transaction Processing using RDMA and HTM

Secure outsourcing of virtual appliance

You Shouldn't Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps

A loosely-coupled full-system multi-core simulation framework

Persistent transactional memory

Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls

AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone

PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs (Best Paper Award)

TinMan: Eliminating Confidential Mobile Data Exposure with Security-oriented Offloading

NUMA-aware Graph-structured Analytics

Bipartite-oriented Distributed Graph Partitioning for Big Learning

Greedy map generialization by iterative point removal

Bipartite-oriented Distributed Graph Partitioning for Big Learning

Building Trusted Path on Untrusted Device Drivers for Mobile Devices

Replication-based Fault-tolerance for Large-scale Graph Processing

Computation and Communication Efficient Graph Processing with Distributed Immutable View

Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks

Using Restricted Transactional Memory to Build a Scalable In-Memory Database

Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory

X10-FT: Transparent Fault Tolerance for APGAS Language and Runtime