Miryung Kim
where else to find them
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 22 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Happiness U-Curve: Navigating the AI Validation Bottleneck with Conformance Testing and(…) | PLDI 2026 | 2026-06-15 |
Argues that validation — not generation — is the AI bottleneck and demonstrates a concrete dual-track approach: property-skeletons plus automated proof… | ||
| 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… | ||
| 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… | ||
| Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory | NSDI 2023 | 2023-04-17 |
Canvas isolates per-application swap data paths and builds a replacement swap system on Linux 5.5 that gives each workload dedicated swap partition, swap… | ||
| Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory... | NSDI 2023 | 2023-04-17 |
Hermit is a kernel swap redesign that implements feedback-directed asynchrony to move expensive, non-urgent work off the page-fault path, adaptively schedule… | ||
| Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads
John Thorpe, Yifan Qiao, Jonathan Eyolfson, and… | ||
| nothing matches | ||