Jay Lee
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
who talks about the same things
- Xiaoyu Ma2 talks
- Joe Beda13 talks
- Jinpeng Zhang3 talks
- Liquan Pei3 talks
- Anton Kalik4 talks
- Ping Yu5 talks
| title | conference | date |
|---|---|---|
| Retargeting an Abstract Interpreter for a New Language by Partial Evaluation (Short Paper) | PEPM 2026 | 2026-01-11 |
Claims that partially evaluating a sound abstract interpreter for S with a definitional interpreter for T yields a sound abstract interpreter for T, and… | ||
| Keynote: How Microsoft Builds and Runs on Open Source | Open Source Summit Korea 2025 | 2025-11-04 |
Microsoft claims it is now a second-largest contributor to CNCF projects and the leading cloud vendor by CNCF contributions over the last three years, with… | ||
| React-tRace: A Semantics for Understanding React Hooks | OOPSLA 2025 | 2025-10-16 |
A formal operational semantics called React-tRace models core Hook behavior (useState and useEffect) and ships a stepwise visualizer online that replays… | ||
| Redefining fan engagement in the NBA | Config 2025 | 2025-05-06 |
Claims concrete audience scale and engineering choices: an app and rearchitected tech stack supporting League Pass in 200 territories, pushed 124 billion… | ||
| How Does Geo-Replication Work in TiDB? | Percona Live Online 2020 | 2020-10-20 |
TiDB uses Raft-based replication with PD as the metadata router and regions (default region size 96MB) split across TiKV instances; regions default to three… | ||
| nothing matches | ||