Julie L. Newcomb

I'm a final year PhD student at the Paul G. Allen School of Computer Science and Engineering at the University of Washington. I am advised by Ras Bodik and a member of the PLSE research group.

Publications

Verifying and Improving Halide’s Term Rewriting System with Program Synthesis

2020 Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil. Proceedings of the ACM on Programming Languages 4,OOPSLA, pp. 1-28. ACM, 2020.

Iota: A Calculus for Internet of Things Automation.

2017 Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan. Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 119-133. ACM, 2017.

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

2016 Daniel Drew, Julie L. Newcomb, William McGrath, Filip Maksimovic, David Mellis, and Bjoern Hartmann. Proceedings of the 29th Annual Symposium on User Interface Software and Technology, pp. 677-686. ACM, 2016.

Using SyGuS to Synthesize Reactive Motion Plans.

2016 Sarah Chasins and Julie L. Newcomb. 5th Workshop on Synthesis (SYNT) 2016.

SMaSH: A Benchmarking Toolkit for Human Genome Variant Calling.

2015 Ameet Talwalkar, Jesse Liptrap, Julie L. Newcomb, Christopher Hartl, Jonathan Terhorst, Kristal Curtis, Ma'ayan Bresler, Yun S. Song, Michael I. Jordan, David Patterson. Bioinformatics, pp. 2787-2795. 2014.