Julie L. Newcomb

newcombj at cs.washington.edu

I am a Ph.D. student advised by Ras Bodik at the University of Washington in Seattle. My research interests include programming languages, synthesis, human-computer interaction, programmer tools, and verification.

Publications

  • Iota: A Calculus for Internet of Things Automation.

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

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

    Daniel Drew, Julie L. Newcomb, William McGrath, Filip Maksimovic, David Mellis, and Bjoern Hartmann. UIST 2016.

  • Using SyGuS to Synthesize Reactive Motion Plans.

    Sarah Chasins and Julie L. Newcomb. SYNT 2016.

  • SMaSH: A Benchmarking Toolkit for Human Genome Variant Calling.

    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 2014.