BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Norway
1 × USA
Collaborated with:
A.Costea Y.Zhou C.David S.Wang A.Hobor W.Chin D.Foo H.Chua J.Yeo M.Y.Ang
Talks about:
guarante (1) granular (1) librari (1) identif (1) certifi (1) verifi (1) static (1) report (1) reason (1) messag (1)

Person: Asankhaya Sharma

DBLP DBLP: Sharma:Asankhaya

Contributed to:

FM 20152015
PEPM 20142014
ESEC/FSE 20172017
ESEC/FSE 20182018

Wrote 4 papers:

FM-2015-SharmaWCHC #infinity #reasoning
Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
PEPM-2014-CosteaSD #named #verification
HIPimm: verifying granular immutability guarantees (AC, AS, CD), pp. 189–194.
ESEC-FSE-2017-ZhouS #automation #commit #debugging #identification #security
Automated identification of security issues from commit messages and bug reports (YZ, AS), pp. 914–919.
ESEC-FSE-2018-FooCYAS #library #performance #static analysis
Efficient static checking of library updates (DF, HC, JY, MYA, AS), pp. 791–796.

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.