Sumit Gulwani
where else to find them
what they talk about
all 5 in the filters
where they keep going back
all 4 in the filters
on a stage with
all 34 in the filters
who talks about the same things
- Vu Le9 talks
- Arjun Radhakrishna10 talks
- Gustavo Soares9 talks
- Ashish Tiwari8 talks
- Nadia Polikarpova24 talks
- Armando Solar-Lezama18 talks
| title | conference | date |
|---|---|---|
| PyDex: Repairing Bugs in Introductory Python Assignments using LLMs | OOPSLA 2024 | 2024-10-20 |
PyDex is an APR pipeline that uses Codex with iterative prompts, parser diagnostics, test-case filtering, and peer-program few-shots to repair student Python… | ||
| 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… | ||
| Semantic programming by example with pre-trained models | OOPSLA 2021 | 2021-10-17 |
A system combines FlashFill-style deductive synthesis with GPT-3 to handle semantic string ops by adding three semantic operators (e.g. SemMap, SemPos) and a… | ||
| 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… | ||
| reCode: A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example | UIST 2021 | 2021-10-10 |
reCode is a Visual Studio Code extension that turns a simple search into a demonstrated, synthesized transformation: type a short search like bind or expect… | ||
| 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… | ||
| Automated Program Generation from Input-Output Examples | Heapcon 2019 | 2019-10-03 |
A demo of example-driven program synthesis shows a production-grade engine used in Excel as Flash Fill (since 2013) with about one million weekly invocations… | ||
| User Interaction Models for Disambiguation in Programming by Example | UIST 2015 | 2015-11-08 |
Presents two concrete interaction models: program viewer paraphrases code into plain English so users inspect and switch among ranked alternative programs, and… | ||
| nothing matches | ||