Qiaochu Chen
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA3 editions2022–2025
on a stage with
- Işıl Dillig3×
- Arko Banerjeeonce
- Celeste Barnabyonce
all 10 in the filters
who talks about the same things
- Işıl Dillig21 talks
- Gabriel Poesia3 talks
- Celeste Barnaby5 talks
- Yanju Chen6 talks
- Armando Solar-Lezama18 talks
- Ziteng Wang3 talks
| title | conference | date |
|---|---|---|
| Automated Discovery of Tactic Libraries for Interactive Theorem Proving | OOPSLA 2025 | 2025-10-16 |
A tool called TacMineR builds Tactic Dependence Graphs (TDGs) that encode formal input/output dependencies between tactic applications, finds isomorphic… | ||
| Data Extraction via Semantic Regular Expression Synthesis | OOPSLA 2023 | 2023-10-23 |
Smore implements semantic regexes that combine syntactic patterns with semantic predicates (dates, ranges, locations, person/org types) and synthesizes them by… | ||
| 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… | ||
| Type-Directed Synthesis of Visualizations from Natural Language Queries | OOPSLA 2022 | 2022-12-05 |
Graphy converts a natural-language query and a table into a ranked set of visualization programs by parsing intents and slots with a fine-tuned BERT into… | ||
| nothing matches | ||