Cody Rivera
where else to find them
bluesky:codyjrivera.bsky.social
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- A. Prasad Sistlaonce
- Adithya Muralionce
- Bishnu Bhusalonce
all 6 in the filters
who talks about the same things
- Rohit Chadha2 talks
- A. Prasad Sistla2 talks
- Adithya Murali6 talks
- Mahesh Viswanathan7 talks
- Sharon Shoham13 talks
- Jonathan Aldrich17 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… | ||
| Predictable Verification using Intrinsic Definitions | PLDI 2024 | 2024-06-24 |
Proposes that defining heap structures with intrinsic definitions — auxiliary monadic maps plus local constraints — makes verification decidable and therefore… | ||
| nothing matches | ||