~/talks

Tianyi Zhang

what they talk about

all 5 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

titleconferencedate
Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with(…)OOPSLA 20252025-10-16
iFix instruments code using call-graph and def‑use analysis, runs failing tests on multiple patched copies, aligns per-variable runtime values into a runtime…
Talk on
MSFRD: Mutation Similarity based SSD Failure Rating and Diagnosis for Complex...USENIX ATC 20242024-07-10
Proposes MSFRD, which uses dynamic mutation extraction from telemetry (51M+ T logs, 85 custom attributes) and a weighted mutation-similarity metric to score…
Talk on
Interactive Debugging and Testing Support for Deep LearningStrange Loop 20222022-09-22
An interactive debugger called DeepSeer transforms RNN internals into a Finite State Machine so programmers can step through a state trace and inspect words…
Talk on
An Introduction to hpxMP...CppCon 20192019-09-15
HPXMP is a drop-in OpenMP runtime that replaces libgomp via LD_PRELOAD the HPXMP shared library and delegates threading and synchronization to the HPX…
Talk on
Introduction to hpxMPC++Now 20192019-05-05
An OpenMP runtime built on HPX that replaces libgomp by LD_PRELOAD and runs OpenMP parallel regions as HPX threads and tasks, so OpenMP code needs no source…
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.