Shraddha Barke
where else to find them
github:shraddhabarke
what they talk about
where they keep going back
- OOPSLA3 editions2020–2023
on a stage with
all 12 in the filters
who talks about the same things
- Hila Peleg8 talks
- Michael B. James2 talks
- Nadia Polikarpova24 talks
- Sumit Gulwani14 talks
- Arjun Radhakrishna10 talks
- Ashish Tiwari8 talks
| title | conference | date |
|---|---|---|
| Opening remarks | PAgE 2026 | 2026-06-15 |
Workshop defines an agent program as prompts, tool calls, memory, dynamic traces and highlights concrete challenges: traces that run for thousands of tool… | ||
| Grounded Copilot: How Programmers Interact with Code-Generating Models | OOPSLA 2023 | 2023-10-23 |
Study watches 20 programmers across four tasks and languages and builds a grounded-theory claim that interactions with Copilot are bimodal: acceleration mode… | ||
| LooPy: Interactive Program Synthesis with Control Structures | OOPSLA 2021 | 2021-10-17 |
A Live Programming–integrated synthesizer called LooPy extends Small-Step Live PBE to handle loops by treating holes as runtime pauses and asking the… | ||
| Just-in-Time Learning for Bottom-Up Enumerative Synthesis | OOPSLA 2020 | 2020-11-15 |
Builds a solver called Probe that uses just-in-time learning to update PCFG production costs from cheapest partial solutions and then runs guided bottom-up… | ||
| 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… | ||
| nothing matches | ||