User-Centered Programming Language Design in the Obsidian Smart Contract Language. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Jonathan Aldrich; Joshua Sunshine; Brad A. Myers (CoRR, 2019)

Aroma: code recommendation via structural code search. - Sifei Luan 001; Di Yang 001; Celeste Barnaby; Koushik Sen; Satish Chandra 001 (Proc. ACM Program. Lang., 2019)

Exempla gratis (E.G.): code examples for free. - Celeste Barnaby; Koushik Sen; Tianyi Zhang 001; Elena L. Glassman; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2020)

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (ACM Trans. Comput. Hum. Interact., 2021)

Type-directed synthesis of visualizations from natural language queries. - Qiaochu Chen; Shankara Pailoor; Celeste Barnaby; Abby Criswell; Chenglong Wang; Greg Durrett; Isil Dillig (Proc. ACM Program. Lang., 2022)

ImageEye: Batch Image Processing using Program Synthesis. - Celeste Barnaby; Qiaochu Chen; Roopsha Samanta; Isil Dillig (Proc. ACM Program. Lang., 2023)

PhotoScout: Synthesis-Powered Multi-Modal Image Search. - Celeste Barnaby; Qiaochu Chen; Chenglong Wang; Isil Dillig (CHI, 2024)

Active Learning for Neurosymbolic Program Synthesis. - Celeste Barnaby; Qiaochu Chen; Ramya Ramalingam; Osbert Bastani; Isil Dillig (CoRR, 2025)