Han Xu
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- POPL2 editions2023–2026
all 5 in the filters
on a stage with
- Xuejing Huang2×
- Andong Fanonce
- David Walkeronce
all 7 in the filters
who talks about the same things
- Xuejing Huang4 talks
- Shengyi Jiang5 talks
- Chen Cui3 talks
- Wenjia Ye5 talks
- Guannan Wei21 talks
- Oliver Bračevac9 talks
| title | conference | date |
|---|---|---|
| Network Change Validation with Relational NetKAT | POPL 2026 | 2026-01-11 |
Relational NetKAT is a specification language for change-by-trace: programs describe a trace relation R and compile it to NetKAT transducers and automata so… | ||
| Liberating Merges via Apartness and Guarded Subtyping | OOPSLA 2025 | 2025-10-16 |
Introduces type apartness plus a strengthened guarded subtyping that lets merges overlap yet remain deterministic, enabling function and return-type… | ||
| Practical Type Inference with Levels | PLDI 2025 | 2025-06-16 |
Formalizes the implementation trick called levels for Hindley‑Milner style systems, covering generalization, local data types, and higher‑rank polymorphism… | ||
| Building the Payments Foundation for Tomorrow’s AI Economy | SuperAI Singapore 2024 | 2024-06-05 |
Stripe describes a payments stack that already runs Transformer-based risk model in production (migrated in 2022), powers identity checks across ~50 countries… | ||
| Making a Type Difference: Subtraction on Intersection Types as Generalized Recor... | POPL 2023 | 2023-01-15 |
Defines a general type difference operator that extends record restriction to intersection, function and other types, gives an algorithm (deterministic) driven… | ||
| What Monkeys Taught Me About Leading Tech Teams | Developers Summit 2021 | 2021-02-18 |
A concrete set of practices and outcomes: a cautionary monkey experiment (10 monkeys, water cannon) becomes the leadership lesson that failure is expected and… | ||
| nothing matches | ||