A. Prasad Sistla
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
- Rohit Chadha2 talks
- Cody Rivera2 talks
- Mahesh Viswanathan7 talks
- Aaron Roth11 talks
- Pasin Manurangsi8 talks
- Adithya Murali6 talks
| title | conference | date |
|---|---|---|
| Checking $\delta$-Satisfiability of Reals with Integrals | OOPSLA 2025 | 2025-10-16 |
Extends δ-decision procedures to handle integrals by implementing ∫dReal on top of dReal and combining IBEX interval propagation with the ARB… | ||
| Deciding Accuracy of Differential Privacy Schemes | POPL 2021 | 2021-01-17 |
Introduces accuracy as a parametric notion based on distance to disagreement (dd) and output closeness γ, yielding an explicit alpha–beta–gamma claim: e.g. for… | ||
| nothing matches | ||