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: Sharma:Asankhaya
Contributed to:
2015
2014
20172018Wrote 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.