~/talks

Yubin Xia

what they talk about

all 7 in the filters

where they keep going back

no series more than once — all 11 in the filters

on a stage with

all 58 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
OneSidedMW: Managing Disaggregated Memory Efficiently, Flexibly, and Securely with RNICNSDI '262026-05-04
System implements RNIC offloading plus memory windows to perform remote bind/unbind on the NIC so allocation and deallocation happen with zero memory-node CPU…
Talk on
Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPECFAST '262026-02-24
Claims a working pipeline that uses SYSSPEC to generate a concurrent file system called SPECFS from high-level formal-style specs, producing ~4,000 lines of C…
Talk on
Serverless Functions Made Confidential and Efficient with Split ContainersUSENIX Security '252025-08-13
CoFunc implements a split container architecture that runs multiple confidential serverless functions inside one CVM by pairing each confidential instance with…
Talk on
μEFI: A Microkernel-Style UEFI with Isolation and TransparencyUSENIX ATC '252025-07-07
A microkernel-style UEFI isolates drivers by deprivileging modules to user mode and placing each in its own address space, implements trampoline injection and…
Talk on
Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production...OSDI '252025-07-07
Platform traces show 19.5% of requests are cold starts and 18% of invocations finish within 221 ms, exposing three overlooked bottlenecks: control path…
Talk on
OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order CommitOSDI '252025-07-07
Spars generates self-contained rendering tasks via in-order preparation, executes them across worker threads with out-of-order execution, and enforces drawing…
Talk
Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in...USENIX ATC 20242024-07-10
Jiagu targets serverless resource waste with two concrete techniques: pre-decision scheduling builds per-node capacity tables that answer most placement…
Talk on
CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure...USENIX ATC 20242024-07-10
CPC (Confidential Procedure Calls) runs vetted maintenance code inside CVMs using extra host‑wakeup vCPU threads (hvvCPUs) and a state‑machine API, avoiding…
Talk on
Encrypted Databases Made Secure Yet MaintainableOSDI 20232023-07-10
Presents HEDB, a dual‑mode encrypted DB that blocks a newly demonstrated smuggle attack by isolating operators in Execution Mode and enabling safe maintenance…
Talk on
EPK: Scalable and Efficient Memory Protection KeysUSENIX ATC '222022-07-11
EPK extends Intel MPK’s 16-domain limit to hundreds by combining MPK with hardware virtualization (EPT + VMFUNC) so each domain is a pair of PK + EPT index…
Talk on
Scalable Memory Protection in the PENGLAI Enclave15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21)2021-07-14
Prototype Penglai adds two hardware primitives, Guarded Page Table (GPT) and Mountable Merkle Tree (MMT) plus a shadow fork fast-init, enabling page-grained…
Talk on
Bringing Decentralized Search to Decentralized Services15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21)2021-07-14
DeSearch builds a decentralized, verifiable, private search pipeline for Steemit and OpenBazaar, using trusted hardware (SGX) and ORAM for privacy, cloud…
Talk on
Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernelUSENIX ATC '202020-07-15
UnderBridge redesigns microkernels by moving system servers into kernel space while enforcing isolation with Intel PKU/MPK, implementing a fast IPC gate that…
Talk on
vTZ: Virtualizing ARM TrustZone26th USENIX Security Symposium (USENIX Security '17)2017-08-16
vTZ virtualizes ARM TrustZone by giving each VM its own guest TEE while using existing hardware: a tiny TrustZone monitor (SMM) enforces and interposes memory…
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.