Kiran Gopinathan
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2023–2024
all 4 in the filters
on a stage with
all 26 in the filters
who talks about the same things
- Ilya Sergey25 talks
- Ranjit Jhala19 talks
- Shriram Krishnamurthi12 talks
- Guido Martínez10 talks
- Işıl Dillig21 talks
- Aseem Rastogi7 talks
| title | conference | date |
|---|---|---|
| DSLs in Racket: You Want It How, Now? | SLE 2024 | 2024-10-20 |
Proposes a taxonomy of seven design intents and maps them to concrete Racket mechanisms, splitting enabling techniques into reader and expander customization… | ||
| Concurrent Data Structures Made Easy | OOPSLA 2024 | 2024-10-20 |
Library named OBatcher implements implicit batching in Multicore OCaml using async/await and functors; implicit-batching core is ~230 LOC, each generic… | ||
| Adventure of a Lifetime: Extract Method Refactoring for Rust | OOPSLA 2023 | 2023-10-23 |
An automated pipeline hoists a candidate function then applies staged repairs to satisfy Rust ownership and lifetimes, implemented as an IntelliJ Rust plugin… | ||
| Rhombus: A New Spin on Macros without All the Parentheses | OOPSLA 2023 | 2023-10-23 |
Rhombus is a new language implemented on Racket that replaces prefix s-exprs with an infix-friendly Shrubbery token-tree, interleaves macro expansion with an… | ||
| Mostly Automated Proof Repair for Verified Libraries | PLDI 2023 | 2023-06-17 |
Tool Sisyphus takes an old Coq-verified OCaml function, a changed OCaml implementation, and emits a mostly-automated Coq proof by combining dynamic program… | ||
| Certifying the Synthesis of Heap-Manipulating Programs | SPLASH 2022 | 2022-12-05 |
Method translates SuSLik synthesis traces into machine-checkable Coq proofs and produces three certifiers for HTT, Iris and VST, evaluated on 15 benchmarks… | ||
| nothing matches | ||