Ankush Das
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
- POPL2 editions2023–2024
all 4 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Qiancheng Fu4 talks
- Di Wang12 talks
- Jan Hoffmann9 talks
- Peter Thiemann15 talks
- Brigitte Pientka15 talks
- Nobuko Yoshida13 talks
| title | conference | date |
|---|---|---|
| Testing LLM-Generated Distributed Protocol Code | PAgE 2026 | 2026-06-15 |
Testing LLM-Generated Distributed Protocol Code (Video, PAgE 2026)
Brendan Coyne, Ankush Das
(Boston University, USA; Boston University, USA)
Abstract: Large… | ||
| 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… | ||
| Parametric Subtyping for Structural Parametric Polymorphism | POPL 2024 | 2024-01-14 |
Paper proves structural subtyping is undecidable for recursive type constructors and defines parametric subtyping as a decidable fragment that enforces… | ||
| Probabilistic Resource-Aware Session Types | POPL 2023 | 2023-01-15 |
Extends binary session types to describe message probability distributions and to infer expected-resource bounds automatically, using a type reconstruction… | ||
| Exact and Linear-Time Gas-Cost Analysis | SAS 2020 | 2020-11-18 |
A static tool called GasBoX computes exact gas bounds and removes runtime gas accounting by inserting Gas.deposit and amortizing gas into data with gas… | ||
| nothing matches | ||