Vikraman Choudhury
where else to find them
website:https://vikraman.org
github:vikraman
what they talk about
all 5 in the filters
where they keep going back
- POPL2 editions2022–2025
all 8 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Neel Krishnaswami10 talks
- Simon J. Gay5 talks
- Steve Zdancewic19 talks
- Philip Wadler14 talks
- Deepak Garg18 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| Semantic Analysis of Normalisation for Directional Logic Programming | WITS 2025 | 2025-01-25 |
Claims a formal bridge: bidirectional type checking becomes directional logic programs whose evaluation is normalisation as cut reductions in classical linear… | ||
| Towards Quantum Multiparty Session Types | PLanQC 2025 | 2025-01-25 |
Proposes Quantum MPSTs that extend multiparty session types with linearity and quantum primitives, implements an operational semantics as a labeled transition… | ||
| Intrinsically Correct Sorting in Cubical Agda | CPP 2025 | 2025-01-20 |
Claims intrinsic correctness of bialgebraic sorting follows solely from a distributive law lifted to an indexed setting; implementation uses Cubical Agda with… | ||
| The Duality of λ-Abstraction | POPL 2025 | 2025-01-19 |
Presents a concrete extension of call‑by‑value simply‑typed lambda calculus with covalues, coabstraction and coapplication, claiming that inserting double… | ||
| Classical Processes in modern dress | ST30 2023 | 2023-10-22 |
Proposes extending Curry–Howard to a Lambek-style correspondence that ties categorical models of classical linear logic to session-type semantics, and… | ||
| Continuations and Coexponentials | HOPE 2023 | 2023-09-04 |
Proposes that higher-order continuations are categorical coexponentials and shows how the continuation monad and a full-image factorization of negation produce… | ||
| Scheme Pearl: Quantum Continuations | Scheme 2022 | 2022-09-16 |
Claims that quantum-circuit simulation reduces to efficiently managing many delimited continuations and demonstrates it by implementing a full simulator in… | ||
| Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible | POPL 2022 | 2022-01-16 |
Presents a concrete equivalence: the Pi reversible language is shown equivalent to the free symmetric rig groupoid of finite sets and bijections via a… | ||
| Recovering Purity with Comonads and Capabilities | ICFP 2020 | 2020-08-23 |
A call-by-value impure lambda calculus is extended with a comonadic safety modality that tags variables as safe or impure and a box comonad that internalizes… | ||
| nothing matches | ||