~/talks

Chijin Zhou

what they talk about

all 4 in the filters

where they keep going back

on a stage with

all 23 in the filters

who talks about the same things

titleconferencedate
USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)2026-07-13
Implements a Linux security extension that anchors policies at protected files, sockets and device nodes instead of process domains, compiles those templates…
Talk on
PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation(…)OOPSLA 20242024-10-20
PolyJuice builds equivalent tensor-graph variants via equality saturation and selects the most simplified and most complex extracts to force different…
Talk on
Building Dynamic System Call Sandbox with Partial Order AnalysisOOPSLA 20232023-10-23
Builds a runtime system-call sandbox called DBox that instruments program binaries to gradually disable system calls at identified reduction points using…
Talk on
Towards Better Semantics Exploration for Browser FuzzingOOPSLA 20232023-10-23
SaGe automatically extracts a CFG from W3C specs, refines it with browser-execution feedback into a production-context sensitive grammar so the fuzzer avoids…
Talk on
RIFF: Reduced Instruction Footprint for Coverage-Guided FuzzingUSENIX ATC '212021-07-14
RIFF reduces fuzzing overhead by moving runtime computations to instrumentation-time and by turning per-block coverage writes into single-instruction…
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.