Osbert Bastani
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Stephen Mell2 talks
- Armando Solar-Lezama18 talks
- Işıl Dillig21 talks
- Celeste Barnaby5 talks
- Isil Dillig15 talks
- Steven Holtzen12 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… | ||
| Opportunistically Parallel Lambda Calculus | OOPSLA 2025 | 2025-10-16 |
Proposes an evaluation strategy and core calculus (Opportunistic Lambda Calculus) that dispatches independent external calls as holes, resolves them… | ||
| Optimal Program Synthesis via Abstract Interpretation | POPL 2024 | 2024-01-14 |
The paper presents a synthesis framework that finds numerically parameterized programs optimally by enumerating generalized partial programs and running A… | ||
| SkyQuery: An Aerial Drone Video Sensing Platform | Onward! 2021 | 2021-10-20 |
SkyQuery is a complete aerial-drone video sensing platform: a domain-specific query language plus cloud video pipeline that runs on eight flights (three hours… | ||
| nothing matches | ||