Tarakaram Gollamudi
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Anitha Gollamudionce
- Joshua Gancheronce
- Jules Jacobsonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Semantic Logical Relation for Termination of Intuitionistic Linear Logic Session Types | CoqPL 2025 | 2025-01-25 |
Proves termination for intuitionistic linear logic session types (ILLST) by building a semantic unary logical relation and showing the fundamental theorem… | ||
| ILA: Correctness via Type Checking for Fully Homomorphic Encryption | PriSC 2025 (with POPL 2025) | 2025-01-20 |
ILA is an intermediate language that attaches quantitative bounds (plaintext range and ciphertext noise) as types and proves that well-typed ILA circuits… | ||
| nothing matches | ||