~/talks

Yu Zhang

what they talk about

all 12 in the filters

where they keep going back

all 12 in the filters

on a stage with

all 68 in the filters

who talks about the same things

titleconferencedate
How Soon is Now? Preloading Images for Virtual Disks with ThinkAheadFAST '262026-02-24
Trace analysis of ~160,000 image loads finds lazy loading causes 40% of slow I/Os (>1s), so ThinkAhead preloads blocks using score-based block selection…
Talk
A Hyper-V Based pvIOMMU Built on Generic I/O Page TableLinux Plumbers Conference 20252025-12-11
A Hyper-V pvIOMMU prototype for Linux guests uses the community Generic I/O Page Table framework and drives DMA remapping from the guest’s stage-1 nested…
Talk
InReAcTable: LLM-powered Interactive Visual Data Story Construction from Tabular DataUIST 20252025-09-28
A framework and prototype called InReAcTable (In-RACTIVE) combines an Acting module with insight graph structural filtering and a Reasoning module with…
Talk on
Fast Distributed Transactions for RDMA-based Disaggregated MemoryUSENIX ATC '252025-07-07
HDTX is a distributed transaction system for RDMA disaggregated memory that claims up to 88.3% and 72.1% lower latency and up to 2.08× and 84.7% higher…
Talk on
Towards High-throughput and Low-latency Billion-scale Vector Search via CPU/GPU...FAST '252025-02-25
FusionANNS is a working SSD + single entry‑level GPU ANNS that uses CPU/GPU collaborative filtering to keep PQ‑compressed vectors in GPU memory, avoid…
Talk on
Unifying compositional verification and certified compilation with a three-dimensional(…)POPL 20252025-01-19
A concrete claim: a three-dimensional algebra of refinement composes module interfaces, abstraction levels, and state views so compiler correctness, linking…
Talk on
MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for GolangOOPSLA 20242024-10-20
MEA2 implements a field-sensitive escape analysis with points-to calculation on top of the GoLLVM/GoRVM pipeline, adds a generic function-summary format for…
Talk on
Enabling Tensor Language Model to Assist in Generating High-Performance Tensor...18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24)2024-07-10
A compiler-side framework converts tensor-program search into a generation task and implements a tensor language model that samples decision paths rather than…
Talk on
Scalable Billion-point Approximate Nearest Neighbor Search Using SmartSSDsUSENIX ATC 20242024-07-10
SmartANNS implements hierarchical indices on host plus Samsung SmartSSDs with FPGA acceleration, dynamic task scheduling and a gradient-boosted shard pruning…
Talk on
Douleur: Creating Pain Sensation with Chemical Stimulant to Enhance User Experience in Virtual ...UbiComp 20212021-09-21
A wearable prototype named Douleur chemically induces adjustable pain by pumping capsaicin via microneedling through a microfluidic reservoir and micropump…
Talk on
Unmapped Guest MemoryKVM Forum 20212021-09-15
Mapping entire guest memory into host user space breaks Intel TDX guarantees by exposing private pages that carry a 28‑bit MAC and TD owner bit whose…
Talk on
A Virtual IOMMU With Cooperative DMA Buffer TrackingKVM Forum 20202020-10-28
A virtual IOMMU implements cooperative DMA buffer tracking by adding a guest-side driver that hooks DMA APIs, a shared DMA Tracking Table (DTT), and a host…
Talk on
coIOMMU: A Virtual IOMMU with Cooperative DMA Buffer Tracking for Efficient MemoryUSENIX ATC '202020-07-15
coIOMMU implements a virtual IOMMU in QEMU/KVM with a shared DMA Tracking Table (DTT), a pmanager, and a remap engine, and shows that cooperative tracking cuts…
Talk
OSCA: An Online-Model Based Cache Allocation Scheme in Cloud Block Storage SystemsUSENIX ATC '202020-07-15
OSCA presents an online cache allocator that builds miss-ratio curves from a low-overhead re-access ratio O(1) model (no trace collection), converts those MRCs…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.