Jonathan Chan
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2024–2025
on a stage with
all 6 in the filters
who talks about the same things
- Stephanie Weirich14 talks
- Yiyun Liu5 talks
- Jonathan Aldrich17 talks
- Yizhou Zhang13 talks
- Steve Zdancewic19 talks
- William J. Bowman13 talks
| title | conference | date |
|---|---|---|
| Supercharging Backstage Scaffolder for Workflows | BackstageCon NA 2025 | 2025-11-10 |
RBC extends Backstage Scaffolder by pushing long‑running state into an external workflow engine and keeping the UI as the front end; they use Temporal for… | ||
| Consistency of a Dependent Calculus of Indistinguishability | POPL 2025 | 2025-01-19 |
Defines a concrete instance DCOIω with an infinite predicative universe hierarchy and proves logical consistency, strong normalization, and that type… | ||
| Internalizing Indistinguishability with Dependent Types | POPL 2024 | 2024-01-14 |
DCOI (Dependent Calculus of Indistinguishability) internalizes indistinguishability as definitional equality and adds an observer-indexed identity type so… | ||
| Is Sized Typing for Coq Practical? | ICFP 2023 | 2023-09-04 |
Implementation of CIC^ sized type theory inside a Coq 8.12 kernel fork produces a full size-inference pipeline that emits difference constraints solved by… | ||
| nothing matches | ||