~/talks

Nicholas Ng

what they talk about

where they keep going back

on a stage with

never shared a talk

who talks about the same things

titleconferencedate
Understanding concurrency with behavioural typesGolang UK 20172017-08-16
Extraction tool called Miego behavioral types converts Go SSA form using the SSA package into abstract communication types, then compiles those to an LTS and…
Talk on
Static Deadlock Detection for GoGolang UK 20162016-08-18
A static deadlock detector that infers session types from Go source constructs a global graph of matched sends and receives and flags incompatible…
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.