Asankhaya Sharma

According to our database, Asankhaya Sharma authored at least 24 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Evaluating Pre-trained Language Models for Repairing API Misuses.

Ting Zhang, Ivana Clairine Irsan, Ferdian Thung, David Lo, Asankhaya Sharma, Lingxiao Jiang

CoRR, 2023

2022

HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits.

Giang Nguyen-Truong, Hong Jin Kang, David Lo, Abhishek Sharma, Andrew E. Santosa, Asankhaya Sharma, Ming Yi Ang

Proceedings of the IEEE International Conference on Software Analysis, 2022

Automated identification of libraries from vulnerability data: can we do better?

Stefanus A. Haryono, Hong Jin Kang, Abhishek Sharma, Asankhaya Sharma, Andrew E. Santosa, Ming Yi Ang, David Lo

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

2021

Out of sight, out of mind? How vulnerable dependencies affect open-source projects.

Gede Artha Azriadi Prana, Abhishek Sharma, Lwin Khin Shar, Darius Foo, Andrew E. Santosa, Asankhaya Sharma, David Lo

Empir. Softw. Eng., 2021

2020

A Machine Learning Approach for Vulnerability Curation.

Yang Chen, Andrew E. Santosa, Ming Yi Ang, Abhishek Sharma, Asankhaya Sharma, David Lo

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Automating Continuous Planning in SAFe.

Darius Foo, Jonah Dela Cruz, Subashree Sekar, Asankhaya Sharma

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Automated identification of libraries from vulnerability data.

Yang Chen, Andrew E. Santosa, Asankhaya Sharma, David Lo

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Automated Verification of Integer Overflow.

Asankhaya Sharma

CoRR, 2019

The Dynamics of Software Composition Analysis.

Darius Foo, Jason Yeo, Hao Xiao, Asankhaya Sharma

CoRR, 2019

2018

Efficient static checking of library updates.

Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, Asankhaya Sharma

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code.

Darius Foo, Ming Yi Ang, Jason Yeo, Asankhaya Sharma

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

2017

Automated identification of security issues from commit messages and bug reports.

Yaqin Zhou, Asankhaya Sharma

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2015

Specifying Compatible Sharing in Data Structures.

Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2015

Certified Reasoning with Infinity.

Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the FM 2015: Formal Methods, 2015

2014

Verified Subtyping with Traits and Mixins.

Asankhaya Sharma

Proceedings of the Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, 2014

HIPimm: verifying granular immutability guarantees.

Andreea Costea, Asankhaya Sharma, Cristina David

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Exploiting undefined behaviors for efficient symbolic execution.

Asankhaya Sharma

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

An Empirical Study of Path Feasibility Queries

Asankhaya Sharma

CoRR, 2013

End to End Verification and Validation with SPIN

Asankhaya Sharma

CoRR, 2013

Towards Complete Specifications with an Error Calculus.

Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin

Proceedings of the NASA Formal Methods, 2013

A Refinement Calculus for Promela.

Asankhaya Sharma

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2010

PRISM: platform for remote sensing using smartphones.

Tathagata Das, Prashanth Mohan, Venkata N. Padmanabhan, Ramachandran Ramjee, Asankhaya Sharma

Proceedings of the 8th International Conference on Mobile Systems, 2010

2006

Ontology Matching and Schema Integration Using Node Ranking.

Asankhaya Sharma, Durvasula V. L. N. Somayajulu

Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

Ontology Matching Using Weighted Graphs.

Asankhaya Sharma

Proceedings of the First IEEE International Conference on Digital Information Management (ICDIM), 2006