Qiancheng Fu
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
all 6 in the filters
who talks about the same things
- Ankush Das6 talks
- Hongfei Fu6 talks
- Marco Gaboardi18 talks
- Peixin Wang5 talks
- Di Wang12 talks
- Brigitte Pientka15 talks
| title | conference | date |
|---|---|---|
| Probabilistic Refinement Session Types | PLDI 2026 | 2026-06-15 |
Introduces probabilistic refinement session types and implements a prototype PReST prototype in OCaml with a bi-directional type checker that emits nonlinear… | ||
| Probabilistic Refinement Session Types | PLDI 2025 | 2025-06-16 |
Introduces PReST, a core calculus that generalizes probabilistic session types to symbolic probabilities and proves type safety, global progress, probability… | ||
| A Calculus of Inductive Linear Constructions | TyDe 2023 | 2023-09-04 |
A new calculus combines linear and dependent types with inductive typing schemes and a guarded fixpoint plus case instead of ordinary induction for linear data… | ||
| A Dependently Typed Language with Dynamic Equality | TyDe 2023 | 2023-09-04 |
Designs a dependently typed language that defers equality checking to runtime and replaces many static rejections with warnings, inserting explicit casts and… | ||
| nothing matches | ||