Celeste Barnaby
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
on a stage with
all 7 in the filters
who talks about the same things
- Işıl Dillig21 talks
- Osbert Bastani9 talks
- Roopsha Samanta10 talks
- Armando Solar-Lezama18 talks
- Qiaochu Chen4 talks
- Arjun Radhakrishna10 talks
| title | conference | date |
|---|---|---|
| Active Learning for Neurosymbolic Program Synthesis | PLDI 2026 | 2026-06-15 |
Proposes a concrete active-learning pipeline for neurosymbolic synthesis that models neural uncertainty with constrained conformal evaluation and avoids… | ||
| Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation | PLDI 2026 | 2026-06-15 |
A new active-learning system called Socrates generates multiple-choice queries (each option a Hoare triple) instead of asking users to label concrete inputs… | ||
| ImageEye: Batch Image Processing using Program Synthesis | PLDI 2023 | 2023-06-17 |
A synthesis pipeline that learns programs in a neuro-symbolic DSL uses Amazon recognition detectors and an enumerative synthesizer with equivalence-reduction… | ||
| nothing matches | ||