Programming with angelic nondeterminism. - Rastislav Bodík; Satish Chandra 001; Joel Galenson; Doug Kimelman; Nicholas Tung; Shaon Barman; Casey Rodarmor (POPL, 2010)

Angelic debugging. - Satish Chandra 001; Emina Torlak; Shaon Barman; Rastislav Bodík (ICSE, 2011)

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

Browser Record and Replay as a Building Block for End-User Web Automation Tools. - Sarah E. Chasins; Shaon Barman; Rastislav Bodík; Sumit Gulwani (WWW (Companion Volume), 2015)

End-User Record and Replay for the Web. - Shaon Barman (2015)

Ringer: web automation by demonstration. - Shaon Barman; Sarah E. Chasins; Rastislav Bodík; Sumit Gulwani (OOPSLA, 2016)