Scholar
Jocelyn Qiaochu Chen
Google Scholar ID: N2Kt7csAAAAJ
New York University
Citations & Impact
Citations
404
H-index
9
i10-index
9
Publications
14
Co-authors
0
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation. Anirudh Khatry, Robert Zhang, Jia Pan, Ziteng Wang, Jocelyn Chen, Greg Durrett, Isil Dillig. COLM 2025.
- Automated Discovery of Tactic Libraries for Interactive Theorem Proving. Maxine Xin, Jimmy Xin, Gabriel Poesia, Noah Goodman, Jocelyn Chen, Isil Dillig. OOPSLA 2025.
- Active Learning for Neurosymbolic Program Synthesis. Celeste Barnaby, Jocelyn Chen, Ramya Ramanlingam, Osbert Bastani, Isil Dillig. OOPSLA 2025.
- PhotoScout: Synthesis-Powered Multi-Modal Image Search. Celeste Barnaby, Jocelyn Chen, Chenglong Wang, Isil Dillig. CHI 2024.
- Satisfiability-Aided Language Models Using Declarative Prompting. Xi Ye, Jocelyn Chen, Isil Dillig, Greg Durrett. Neurips 2023.
- Code Data Extraction via Semantic Regular Expression Synthesis. Jocelyn Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, Isil Dillig. OOPSLA 2023.
- ImageEye: Batch Image Processing Using Program Synthesis. Celeste Barnaby, Jocelyn Chen, Roopsha Samanta, Isil Dillig. PLDI 2023.
- Type-Directed Synthesis of Visualizations from Natural Language Queries. Jocelyn Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig. OOPSLA 2022.
- Optimal Neural Program Synthesis from Multimodal Specifications. Xi Ye, Jocelyn Chen, Isil Dillig, Greg Durrett. Findings of EMNLP 2021.
- Web Question Answering with Neurosymbolic Program Synthesis. Jocelyn Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig. PLDI 2021.
- Sketch-driven Regular Expression Generation from Natural Language and Examples. Xi Ye, Jocelyn Chen, Xinyu Wang, Isil Dillig, Greg Durrett. TACL 2020.
- Benchmarking Multimodal Regex Synthesis with Complex Structures. Xi Ye, Jocelyn Chen, Isil Dillig, Greg Durrett. ACL 2020.
- Multi-modal Synthesis of Regular Expressions. Jocelyn Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig. PLDI 2020.
Research Experience
- Currently a Faculty Fellow/Assistant Professor at NYU Courant, and an incoming Assistant Professor (currently an Adjunct Professor) at the University of Alberta, and an Amii fellow.
Education
- PhD: University of Texas at Austin, advisors: Isil Dillig and Greg Durrett; Bachelor's: University of Wisconsin - Madison.
Background
- Research areas include programming languages, formal methods, and natural language processing. Specifically, she conducts research on program synthesis and neurosymbolic programming.
Miscellany
- Recruiting MS/PhD students and open to working with (undergrad/grad) research interns if there is a strong match.
Co-authors