Arjun Radhakrishna
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA4 editions2020–2023
on a stage with
all 28 in the filters
who talks about the same things
- Sumit Gulwani14 talks
- Ashish Tiwari8 talks
- Vu Le9 talks
- Gustavo Soares9 talks
- Armando Solar-Lezama18 talks
- Anders Miltner6 talks
| title | conference | date |
|---|---|---|
| Explainable Program Synthesis by Localizing Specifications | OOPSLA 2023 | 2023-10-23 |
Introduces subspecifications that summarize what a subexpression must satisfy given a global spec, provides a two stage algorithm that constructs then… | ||
| Trace-Guided Inductive Synthesis of Recursive Functional Programs | PLDI 2023 | 2023-06-17 |
A method augments program search with explicit recursion traces and a new version space algebra that represents pairs of traces and programs under angelic… | ||
| FlashFill++: Scaling Programming by Example by Cutting to the Chase | POPL 2023 | 2023-01-15 |
FlashFill++ introduces cut functions, guarded DSLs, and middle-out synthesis to scale programming-by-example to a large DSL with date/time and numeric… | ||
| Overwatch: Learning Patterns in Code Edit Sequences | OOPSLA 2022 | 2022-12-05 |
Overwatch learns recurring edit sequences from IDE session traces by building fine-grained edit graphs, summarizing them into an edit quotient graph… | ||
| APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries | OOPSLA 2021 | 2021-10-17 |
APIFix uses output-oriented synthesis to infer API-adaptation edits by mining human edits plus existing updated-library usages, then performs provenance… | ||
| Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthes | OOPSLA 2021 | 2021-10-17 |
NLX combines GPT-3 candidates with a component-based synthesizer to turn ambiguous English plus examples into precise code. It targets regexes and CSS… | ||
| Feedback-Driven Semi-supervised Synthesis of Program Transformations | OOPSLA 2020 | 2020-11-15 |
Semi-supervised synthesis combines input-output examples with extra unlabeled inputs (cursor locations and mined candidates) and uses anti-unification modulo… | ||
| Structure Interpretation of Text Formats | OOPSLA 2020 | 2020-11-15 |
An extensible program-synthesis system called Unravel framework learns sequences of parametrized parsing rules (Regex-Split, Delimiter-Split, String-Split… | ||
| nothing matches | ||