The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits. - Daniel Drew; Julie L. Newcomb; William McGrath; Filip Maksimovic; David Mellis; Björn Hartmann (UIST, 2016)

Using SyGuS to Synthesize Reactive Motion Plans. - Sarah E. Chasins; Julie L. Newcomb (SYNT@CAV, 2016)

I¿¿¿: a calculus for internet of things automation. - Julie L. Newcomb; Satish Chandra 001; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan (Onward!, 2017)

Using human-in-the-loop synthesis to author functional reactive programs. - Julie L. Newcomb; Rastislav Bodík (CoRR, 2019)

Verifying and improving Halide's term rewriting system with program synthesis. - Julie L. Newcomb; Andrew Adams; Steven Johnson; Rastislav Bodík; Shoaib Kamil 001 (Proc. ACM Program. Lang., 2020)

Augmenting and Synthesizing Term Rewriting Systems for Use in Compilers - Julie L. Newcomb (2022)