Julie L. Newcomb

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 5

Top Topics

Process Automation

Motion Parameters

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil
Verifying and improving Halide's term rewriting system with program synthesis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Julie L. Newcomb, Rastislav Bodík
Using human-in-the-loop synthesis to author functional reactive programs. CoRR (2019)
Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan
I¿¿¿: a calculus for internet of things automation. Onward! (2017)
Daniel Drew, Julie L. Newcomb, William McGrath, Filip Maksimovic, David Mellis, Björn Hartmann
The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits. UIST (2016)
Sarah E. Chasins, Julie L. Newcomb
Using SyGuS to Synthesize Reactive Motion Plans. SYNT@CAV (2016)