Ryan Stutsman
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 7 in the filters
on a stage with
all 27 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Consistency and Coherence of the NVIDIA Grace-Hopper Superchip | ISMM 2026 | 2026-06-16 |
Empirical study validates the Grace‑Hopper enforces the Compound Memory Consistency Model using 1,960 litmus variants spanning ARM and PTX, showing independent… | ||
| Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent System | OSDI 2023 | 2023-07-10 |
IronSync is an automated verification framework that uses an ownership type system and a Localized Transition System to split global proofs into small… | ||
| Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters | PLDI 2022 | 2022-06-13 |
Mako is an evacuating collector that offloads GC work to memory servers in RDMA‑connected, memory‑disaggregated datacenters, using a heap indirection table… | ||
| NrOS: Effective Replication and Sharing in an Operating System | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
NrOS implements a sequential kernel per NUMA node and keeps a replica per node, synchronizing replicas with an operation log with combiner batching so cores… | ||
| Adaptive Placement for In-memory Storage Functions | USENIX ATC '20 | 2020-07-15 |
A system implements a server-internal cost model that observes user-defined functions and dynamically chooses client or storage execution for each invocation… | ||
| On the Impact of Isolation Costs on Locality-aware Cloud Scheduling | HotCloud '20 | 2020-07-13 |
Argues that embedding functions into storage saves data movement but pays nontrivial isolation overheads, so a scheduler must profile data movement and network… | ||
| Flashield: a Hybrid Key-value Cache that Controls Flash Write Amplification | NSDI 2019 | 2019-02-26 |
Flashield is a hybrid DRAM+SSD key‑value cache that uses DRAM as a filter and a lightweight SVM classifier (features: past reads and updates) to admit only… | ||
| nothing matches | ||