~/talks

Ryan F. Kelly

what they talk about

all 9 in the filters

where they keep going back

all 4 in the filters

on a stage with

all 20 in the filters

who talks about the same things

titleconferencedate
Hardening Attack Surfaces with Formally Proven Binary Format ParsersPLDI 20222022-06-13
A toolchain converts a descriptive 3D format into F proofs and then to C, yielding memory- and integer-safe parsers with functional correctness and…
Talk on
Amplifying Quiet Voices: Challenges and Opportunities for Participatory Design at an Urban ScaleCHI 20182018-04-21
A citywide participatory design program in Milton Keynes gathers 4,500 dialogues, ~100 online ideas and 30 competition applications, funds 13 funded projects…
Talk on
Exploring End User Programming Needs In Home AutomationCHI 20182018-04-21
Contextual inquiry runs for one week in 12 households, 18 participants using paper prototypes and yields 249 use cases, 129 modeled with ~70% of models about…
Talk on
PyPy.js: What? How? Why?PyCon Australia 20142014-08-01
Claims a working in‑browser Python VM by PyPy interpreter compiled into javascript and retargeting its JIT to emit asmjs. Benchmarks show native CPython…
Talk on
Testing for Graceful Failure with Vaurien and MarteauPyCon Australia 20132013-07-05
Demonstrates concrete tooling and failures: Marteau (hosted frontend for funkload) spins up AWS workers, runs distributed load tests from a .marto.yml and…
Talk on
Esky: keep your frozen apps freshPyCon AU 20102010-06-26
Esky: keep your frozen apps fresh Presented by Ryan F Kelly Esky (http://pypi.python.org/pypi/esky/) is an auto-update framework for frozen Python…
Talk on
Lightning talks - SaturdayPyCon AU 20102010-06-26
Lightning Talks - Saturday - 00:00 - Amy Maree: Talking about OLPC XO, Python and Pippy. - 05:55 - Jurgen Brendel: Jython and writing performance critical…
Lightning
~/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.