7 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.PL2019★ 1 cited
Using human-in-the-loop synthesis to author functional reactive programs
Julie L Newcomb, Rastislav Bodik
Programs that respond to asynchronous events are challenging to write; they are difficult to reason about and tricky to test and debug. Because these programs can have a huge space…
cs.PL2016★ 7 cited
Using SyGuS to Synthesize Reactive Motion Plans
Sarah Chasins, Julie L. Newcomb
We present an approach for synthesizing reactive robot motion plans, based on compilation to Syntax-Guided Synthesis (SyGuS) specifications. Our method reduces the motion planning…