Kimaya Bedarkar
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 1 in the filters
on a stage with
- Björn Brandenburgonce
- Deepak Gargonce
- Derek Dreyeronce
all 6 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free(…) | PLDI 2025 | 2025-06-16 |
Claims a machine‑checked end‑to‑end proof that an interrupt‑free, fixed‑priority, non‑preemptive scheduler meets response‑time bounds by connecting program… | ||
| nothing matches | ||