John Li
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
- LAFI2 editions2023–2024
all 6 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Multi-Language Probabilistic Programming | OOPSLA 2025 | 2025-10-16 |
Introduces MultiPPL, a multi-language that stitches an exact-discrete engine (DICE / BDD knowledge compilation) to an approximate sampler (K with importance… | ||
| An Incremental Approach to the Semantics of Borrowing | HOPE 2024 | 2024-09-02 |
Presents a core, extensible borrow calculus built incrementally: start from a linear call-by-push-value core, add immutable borrows, lifetimes, mutable… | ||
| Towards a Categorical Model of the Lilac Separation Logic | LAFI 2024 | 2024-01-14 |
Constructs two categories—a probabilistic “sheaf/topos–style” category and a nominal-style category—and proves they are equivalent, so Lilac’s independent… | ||
| Major Savings with App Startup Shaving | droidcon New York 2023 | 2023-09-14 |
Claims a concrete win: TTI for a first screen drops from 5.9s to 1.88s — a 69% TTI reduction — by moving expensive work out of startup and using caching and… | ||
| New foundations for probabilistic separation logic | LAFI 2023 | 2023-01-15 |
Proposes a new separation-logic semantics where propositions are sets of probability spaces and heaps are replaced by probability-space fragments combined with… | ||
| Growing at Work with Community-oriented Development | droidcon SF 2019 | 2019-11-18 |
Organizing internal meetups, tech talks, roundtables, lightning talks, hackathons and ongoing workgroups produces concrete outcomes: one meetup contact leads… | ||
| How to Do Great Work | droidcon NYC 2019 | 2019-08-26 |
Tech lead role at Wayfair starts with a small Android team that has under a year of platform experience, so priority is defining concrete standards… | ||
| nothing matches | ||