Harry Xu
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 33 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Osprey: Transparent and Efficient Virtual Memory for Secure Computation | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Osprey provides a runtime virtual memory layer for secure computation that pages encrypted data to SSDs by forking a speculative process and a programmed… | ||
| A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
Atlas implements a hybrid data plane that picks per‑page transfer mode using always‑on profiling (a per‑page card table measuring card access ratio) and a… | ||
| DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full... | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
DRust is a Rust-based DSM that exposes Rust’s ownership and borrow semantics to the runtime and uses an ownership-based coherence protocol to avoid… | ||
| Parcae: Proactive, Liveput-Optimized DNN Training on Preemptible Instances | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Parcae is a system that proactively adapts hybrid data+pipeline parallelization to predicted spot-instance changes, using a liveput metric that balances… | ||
| Harvesting Idle Memory for Application-managed Soft State with Midas | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Midas implements a new soft memory abstraction plus a userlinked runtime and minimal kernel coordinator to let applications place evictable objects in idle RAM… | ||
| Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applic | VMCAI 2022 | 2022-01-16 |
Presents a new stateful DPOR algorithm that is sound for non-terminating, event-driven programs by adding a novel termination criterion, computing conflicts… | ||
| nothing matches | ||