Harshit Jitendra Motwani
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
- S. Hitarth2 talks
- Amir Kafshdar Goharshady10 talks
- Rupak Majumdar21 talks
- Aarti Gupta7 talks
- Adam Chlipala23 talks
- Mukund Raghothaman7 talks
| title | conference | date |
|---|---|---|
| Verifying Almost-Sure Termination for Randomized Distributed Algorithms | POPL 2026 | 2026-01-11 |
Presents a sound proof rule that combines martingale-based arguments with reasoning about weak fairness and produces SMT-based proofs for almost-sure… | ||
| Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Program... | OOPSLA 2023 | 2023-10-23 |
Algorithm reduces template-based synthesis of polynomial imperative programs to Quadratic Programming by applying Farkas, Handelman, Putinar (SOS) and the Real… | ||
| nothing matches | ||