Koushik Chakraborty
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Arnd Hartmannsonce
- Jonah Boeonce
- Nick Waddoupsonce
all 6 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Probabilistic Verification for Modular Network-on-Chip Systems | VMCAI 2026 | 2026-01-12 |
A modular NoC model written in Modest produces DTMCs and uses CTL model checking plus statistical model checking to bound power-supply-noise events up to an… | ||
| nothing matches | ||