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 × Italy
Collaborated with:
A.Kanade O.Pandita S.Kaleeswaran S.Gulwani
Talks about:
asynchron (1) supervis (1) feedback (1) deadlock (1) program (1) generat (1) verifi (1) static (1) discov (1) detect (1)

Person: Anirudh Santhiar

DBLP DBLP: Santhiar:Anirudh

Contributed to:

FASE 20132013
FSE 20162016
PLDI 20172017

Wrote 3 papers:

FASE-2013-SanthiarPK #api #mining #testing
Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.
FSE-2016-KaleeswaranSKG #feedback #generative
Semi-supervised verified feedback generation (SK, AS, AK, SG), pp. 739–750.
PLDI-2017-SanthiarK #c# #concurrent #detection #source code
Static deadlock detection for asynchronous C# programs (AS, AK), pp. 292–305.
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.