Devora Chait-Roth
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
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… | ||
| nothing matches | ||