Travelled to:1 × Spain
1 × USA
Collaborated with:R.Bodík S.Chandra E.Torlak S.Chasins S.Gulwani A.Bhattacharya D.Culler J.Galenson D.Kimelman N.Tung C.Rodarmor
Talks about:angel (2) nondetermin (1) synthesi (1) interact (1) demonstr (1) support (1) program (1) toward (1) ringer (1) debug (1)
Person: Shaon Barman
DBLP: Barman:Shaon
Contributed to:
2015
2011
2010
2016Wrote 4 papers:
- Onward-2015-BarmanBCTBC #interactive #synthesis #tool support #towards
- Toward tool support for interactive synthesis (SB, RB, SC, ET, AB, DC), pp. 121–136.
- ICSE-2011-ChandraTBB #debugging
- Angelic debugging (SC, ET, SB, RB), pp. 121–130.
- POPL-2010-BodikCGKTBR #nondeterminism #programming
- Programming with angelic nondeterminism (RB, SC, JG, DK, NT, SB, CR), pp. 339–352.
- OOPSLA-2016-BarmanCBG #automation #named #web
- Ringer: web automation by demonstration (SB, SC, RB, SG), pp. 748–764.