Toward tool support for interactive synthesis. - Barman, Shaon; Bodík, Rastislav; Chandra, Satish; Torlak, Emina; Bhattacharya, Arka Aloke; Culler, David E. (2015)