Qiaochu Chen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Pattern Matching

Deterministic Finite Automata

Natural Language Queries

Regular Expressions

Top Venues

Proc. ACM Program. Lang.

Publications

Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
PhotoScout: Synthesis-Powered Multi-Modal Image Search. CHI (2024)
Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
PhotoScout: Synthesis-Powered Multi-Modal Image Search. CoRR (2024)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Satisfiability-Aided Language Models Using Declarative Prompting. CoRR (2023)
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
ImageEye: Batch Image Processing using Program Synthesis. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
Data Extraction via Semantic Regular Expression Synthesis. CoRR (2023)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting. NeurIPS (2023)
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
ImageEye: Batch Image Processing Using Program Synthesis. CoRR (2023)
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
Data Extraction via Semantic Regular Expression Synthesis. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
Type-directed synthesis of visualizations from natural language queries. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
Type-Directed Synthesis of Visualizations from Natural Language Queries. CoRR (2022)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web question answering with neurosymbolic program synthesis. PLDI (2021)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web Question Answering with Neurosymbolic Program Synthesis. CoRR (2021)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Optimal Neural Program Synthesis from Multimodal Specifications. EMNLP (Findings) (2021)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Benchmarking Multimodal Regex Synthesis with Complex Structures. CoRR (2020)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Optimal Neural Program Synthesis from Multimodal Specifications. CoRR (2020)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Benchmarking Multimodal Regex Synthesis with Complex Structures. ACL (2020)
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
Multi-modal synthesis of regular expressions. PLDI (2020)
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
Sketch-Driven Regular Expression Generation from Natural Language and Examples. Trans. Assoc. Comput. Linguistics 8 (2020)
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
Multi-Modal Synthesis of Regular Expressions. CoRR (2019)
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
Sketch-Driven Regular Expression Generation from Natural Language and Examples. CoRR (2019)