Asankhaya Sharma

Cited by

	All	Since 2018
Citations	765	377
h-index	11	8
i10-index	12	8

120

2009201020112012201320142015201620172018201920202021202220232 4 23 46 52 60 77 59 43 46 51 58 81 110 31

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Tathagata DasSoftware Engineer at Databricks.comVerified email at databricks.com
Ramachandran RamjeeMicrosoft Research IndiaVerified email at microsoft.com
Venkata N. PadmanabhanMicrosoft Research IndiaVerified email at microsoft.com
Darius FooNational University of SingaporeVerified email at comp.nus.edu.sg
David LoProfessor of Computer Science, Singapore Management UniversityVerified email at smu.edu.sg
Prashanth MohanGoogle, IncVerified email at cs.berkeley.edu
Abhishek SharmaSMU,SingaporeVerified email at smu.edu.sg
Jason YeoVeracodeVerified email at u.nus.edu
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
Yaqin ZhouInstitute of computing technologyVerified email at ict.ac.cn
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
Andreea CosteaNational University of SingaporeVerified email at comp.nus.edu.sg
Gede Artha Azriadi PranaSingapore Management UniversityVerified email at phdis.smu.edu.sg
Florin CraciunAssociate Professor of Computer Science, Babes-Bolyai UniversityVerified email at ubbcluj.ro
Quang Loc LeUniversity College LondonVerified email at ucl.ac.uk
Prashant K DhingraVerified email at berkeley.edu
Hong Jin KangUCLAVerified email at cs.ucla.edu
Shengyi WangPhD candidate in NUSVerified email at comp.nus.edu.sg
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Durvasula V L N SomayajuluNIT WarangalVerified email at iiitk.ac.in

Asankhaya Sharma

Singapore Management University

Verified email at smu.edu.sg - Homepage

Software Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PRISM: platform for remote sensing using smartphones T Das, P Mohan, VN Padmanabhan, R Ramjee, A Sharma Proceedings of the 8th international conference on Mobile systems …, 2010	398	2010
Automated identification of security issues from commit messages and bug reports Y Zhou, A Sharma Proceedings of the 2017 11th joint meeting on foundations of software …, 2017	118	2017
Efficient static checking of library updates D Foo, H Chua, J Yeo, MY Ang, A Sharma Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018	28	2018
Out of sight, out of mind? How vulnerable dependencies affect open-source projects GAA Prana, A Sharma, LK Shar, D Foo, AE Santosa, A Sharma, D Lo Empirical Software Engineering 26, 1-34, 2021	27	2021
A machine learning approach for vulnerability curation Y Chen, AE Santosa, AM Yi, A Sharma, A Sharma, D Lo Proceedings of the 17th International Conference on Mining Software …, 2020	21	2020
Towards complete specifications with an error calculus QL Le, A Sharma, F Craciun, WN Chin NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013	18	2013
A refinement calculus for Promela A Sharma 2013 18th International Conference on Engineering of Complex Computer …, 2013	15	2013
Automated Identification of Libraries from Vulnerability Data Y Chen, AE Santosa, A Sharma, D Lo ICSE (SEIP), 2020	13	2020
Displaying content on multiple web pages A Sharma, PK Dhingra US Patent App. 12/623,458, 2011	13	2011
Open-source software vulnerability analysis DTW Foo, MY Ang, JS Yeo, A Sharma US Patent App. 16/050,050, 2020	12	2020
Exploiting undefined behaviors for efficient symbolic execution A Sharma Companion Proceedings of the 36th International Conference on Software …, 2014	12	2014
The Dynamics of Software Composition Analysis D Foo, J Yeo, H Xiao, A Sharma ASE (LBR) 2019, 2019	10	2019
Towards a verified cardiac pacemaker A Sharma NUSTechnical Report, 2010	9	2010
End to end verification and validation with SPIN A Sharma arXiv preprint arXiv:1302.4796, 2013	8	2013
Ontology Matching Using Weighted Graphs A Sharma Digital Information Management, 2006 1st International Conference on, 121-124, 2006	8	2006
Certified Reasoning with Infinity A Sharma, S Wang, A Costea, A Hobor, WN Chin FM 2015: Formal Methods, 496-513, 2015	7	2015
A Critical Review of Dynamic Taint Analysis and Forward Symbolic Execution A Sharma	7	2012
SGL: A domain-specific language for large-scale analysis of open-source code D Foo, A Ming Yi, J Yeo, A Sharma SecDev, 2018	6	2018
HIPimm: verifying granular immutability guarantees A Costea, A Sharma, C David Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014	6	2014
Specifying compatible sharing in data structures A Sharma, A Hobor, WN Chin Formal Methods and Software Engineering, 2015	4	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors