Login / Signup
Julie L. Newcomb
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 5
Top Topics
Theorem Prover
Process Automation
Motion Parameters
Program Synthesis
Top Venues
Proc. ACM Program. Lang.
CoRR
SYNT@CAV
UIST
</>
Publications
</>