Kedar S. Namjoshi
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Consistent Updates for Scalable Microservices | POPL 2026 | 2026-01-11 |
Presents a formal framework and the first algorithms that guarantee atomic-looking live updates for rolling microservice upgrades by routing requests based on… | ||
| Constructing Trustworthy Smart Contracts | VMCAI 2025 | 2025-01-20 |
ASP is a new contract language plus a proof checker and a defensive compiler that guarantees absence of common bugs like overflow and reentrancy, compiles to… | ||
| Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications | VMCAI 2025 | 2025-01-20 |
Automated procedure synthesizes an abstract representative process from a fair-CTL local specification using a modified tableau that adds interference… | ||
| nothing matches | ||