A. R. Balasubramanian
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Minjian Zhang3 talks
- Rupak Majumdar21 talks
- Ramanathan S. Thinniyam5 talks
- Georg Zetzsche6 talks
- Michalis Kokologiannakis12 talks
- Krishnendu Chatterjee11 talks
| title | conference | date |
|---|---|---|
| State Space Estimation for DPOR-Based Model Checkers | PLDI 2026 | 2026-06-15 |
Proves counting Mazurkiewicz classes is #P-hard and inapproximable, then builds a polynomial‑time Monte Carlo estimator by turning an optimal stateless DPOR… | ||
| Reachability in Continuous Pushdown VASS | POPL 2024 | 2024-01-14 |
Proves reachability and even coverability for pushdown VASS with continuous semantics (counters are rationals scaled by any factor in (0,1]) is… | ||
| nothing matches | ||