Ashish Mishra
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 4 in the filters
who talks about the same things
- Zhe Zhou13 talks
- Suresh Jagannathan16 talks
- Benjamin Delaware18 talks
- Benjamin C. Pierce17 talks
- Zhendong Su25 talks
- Harrison Goldstein10 talks
| title | conference | date |
|---|---|---|
| We’ve Got You Covered: Type-Guided Repair of Incomplete Input Generators | OOPSLA 2025 | 2025-10-16 |
A tool called Cobb repairs incomplete OCaml input generators by synthesizing code that fills typed holes so the generator’s range includes every valid input… | ||
| Covering All the Bases: Type-Based Verification of Test Input Generators | PLDI 2023 | 2023-06-17 |
Claims a new coverage types system that interprets refinements as underapproximate reasoning and verifies whether generators actually produce every value in a… | ||
| Specification-Guided Component-Based Synthesis from Effectful Libraries | OOPSLA 2022 | 2022-12-05 |
Cobalt implements Hoare-style pre/post specifications over OCaml libraries and combines spec-guided bi-directional search (backward weakest-pre to forward… | ||
| nothing matches | ||