Rahul Krishnan
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2022–2024
on a stage with
- Benjamin Sepanskionce
- Ethan Cecchettionce
- James Bornholtonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Leveraging Duality for Programming with zkSNARKs | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Language adds a single combined block that is annotated at variable declarations with C/P/CP labels, then a compiler projects that block into two low-level… | ||
| Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with(…) | OOPSLA 2024 | 2024-10-20 |
Claims that monotonicity of concrete semantics lets an SMT solver automatically generate sound and often tight interval abstractions for top‑down enumerative… | ||
| Synthesizing fine-grained synchronization protocols for implicit monitors | OOPSLA 2022 | 2022-12-05 |
A tool called Cortado statically proves safe interleavings by commutativity checks, builds a MaxSAT encoding that assigns locks per code snippet, and… | ||
| nothing matches | ||