Julie L. Newcomb

According to our database, Julie L. Newcomb authored at least 6 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Augmenting and Synthesizing Term Rewriting Systems for Use in Compilers

Julie L. Newcomb

PhD thesis, 2022

2020

Verifying and improving Halide's term rewriting system with program synthesis.

Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil

Proc. ACM Program. Lang., 2020

2019

Using human-in-the-loop synthesis to author functional reactive programs.

Julie L. Newcomb, Rastislav Bodík

CoRR, 2019

2017

I¿¿¿: a calculus for internet of things automation.

Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016

Using SyGuS to Synthesize Reactive Motion Plans.

Sarah E. Chasins, Julie L. Newcomb

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits.

Daniel Drew, Julie L. Newcomb, William McGrath, Filip Maksimovic, David Mellis, Björn Hartmann

Proceedings of the 29th Annual Symposium on User Interface Software and Technology, 2016