BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Barman:Shaon

Contributed to:

Onward! 20152015
ICSE 20112011
POPL 20102010
OOPSLA 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.