~/talks

Baishakhi Ray

what they talk about

all 4 in the filters

where they keep going back

no series more than once — all 2 in the filters

on a stage with

all 10 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
UTFix: Change Aware Unit Test Repairing using LLMOOPSLA 20252025-10-16
UTFix uses LLM prompts plus static and dynamic code slicing to repair test assertions and restore coverage, taking original and updated focal methods, the…
Talk on
Automatically Detecting Error Handling Bugs Using Error SpecificationsUSENIX Security '162016-08-10
Automated tool EPEX uses under constrained symbolic execution plus explicit error specifications to explore only error paths and flag incorrect handling. It…
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.