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…