Julie L. Newcomb

According to our database1, Julie L. Newcomb authored at least 5 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Verifying and improving Halide's term rewriting system with program synthesis.
Proc. ACM Program. Lang., 2020

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

2017
I¿¿¿: a calculus for internet of things automation.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016
Using SyGuS to Synthesize Reactive Motion Plans.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits.
Proceedings of the 29th Annual Symposium on User Interface Software and Technology, 2016


  Loading...