Celeste Barnaby

PhD student · Computer Science · UT Austin

Email: celestebarnaby at gmail.com

I am a fifth-year PhD student in computer science at the University of Texas at Austin. I work in the UToPiA group led by Isil Dillig. I am an NSF GRFP Fellow. My research involves combining ideas from machine learning and formal methods.

Previously, I was a software engineer at Meta from 2018-2021. In summer 2024 I interned with the PROSE team at Microsoft. My CV is available here.

Portrait of Celeste Barnaby

Publications

Last update: January 2026

  1. Active Learning for Neurosymbolic Program Synthesis
    Celeste Barnaby, Jocelyn Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
    OOPSLA 2025
    Paper Code
  2. PhotoScout: Synthesis-Powered Multi-Modal Image Search
    Celeste Barnaby, Jocelyn Chen, Chenglong Wang, Isil Dillig
    CHI 2024
    Paper Code
  3. ImageEye: Batch Image Processing Using Program Synthesis
    Celeste Barnaby, Jocelyn Chen, Roopsha Samanta, Isil Dillig
    PLDI 2023
    Paper Code
  4. 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
    Paper Code
  5. PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
    Michael Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Alrich, Brad A. Meyers
    CHI 2021
    Paper
  6. Exempla Gratis (E.G.): Code Examples for Free
    Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena Glassman, Satish Chandra
    FSE Industry Track 2020
    Paper
  7. Aroma: Code Recommendation via Structural Code Search
    Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra
    OOPSLA 2019
    Paper