Talia Ringer
where else to find them
bluesky:taliaringer.bsky.social
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Christopher W. Fletcheronce
- Hannah Leungonce
- Lindsey Kuperonce
all 4 in the filters
who talks about the same things
- Emily Harber2 talks
- Emily Lovell4 talks
- Anatolii Kmetiuk4 talks
- Rissa Jackson4 talks
- Emily Riederer3 talks
- Sami Kallinen3 talks
| title | conference | date |
|---|---|---|
| Towards Formally Verified Path ORAM in Coq | CoqPL 2023 | 2023-01-21 |
Formalization of Path ORAM proceeds from a Python prototype to a Coq/Gallina formalization on GitHub, with the claim of machine-checked proofs of functional… | ||
| You and Your Environment | PLMW @ POPL 2022 | 2022-01-17 |
Talk argues mental health arises from the interaction between individual traits and the environment and lists concrete remedies: medication plus therapy can… | ||
| Welcome | PLMW @ ICFP 2020 | 2020-08-23 |
Welcome notes report concrete scale and logistics: 275 registered attendees from 32 countries on six continents, enabled by moving PLMW online so scholarships… | ||
| REPLica: REPL Instrumentation for Coq Analysis | CPP 2020 | 2020-01-20 |
REPLica instruments the Coq read‑eval‑print loop with a client‑server plugin and records every interaction (timestamps, REPL inputs and responses) across UIs… | ||
| nothing matches | ||