Subhajit Roy
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Memory-Safety Verification of Open Programs With Angelic Assumptions | OOPSLA 2025 | 2025-10-16 |
Seeker automatically suppresses spurious memory-safety warnings in open C programs by mining 1,900+ buffer idioms from an LLM, collapsing them into seven… | ||
| Symbolic Execution for Randomized Programs | OOPSLA 2022 | 2022-12-05 |
Adds probabilistic symbolic variables to symbolic execution and computes symbolic probability expressions for paths, then checks universal quantitative… | ||
| Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing | OOPSLA 2022 | 2022-12-05 |
A solver, Sādhak, couples an SMT engine (built on CVC4) with a fuzzer (AFL++) to handle closed-box functions by compiling expressions to small programs and… | ||
| Synthesizing Abstract Transformers | OOPSLA 2022 | 2022-12-05 |
Method synthesizes an abstract transformer from (i) a concrete semantics for op, (ii) an abstract domain A, and (iii) a DSL L, producing an AMURTH output that… | ||
| nothing matches | ||