Ontology Matching Using Weighted Graphs. - Asankhaya Sharma (ICDIM, 2006)

Ontology Matching and Schema Integration Using Node Ranking. - Asankhaya Sharma; Durvasula V. L. N. Somayajulu (SWWS, 2006)

PRISM: platform for remote sensing using smartphones. - Tathagata Das; Prashanth Mohan; Venkata N. Padmanabhan; Ramachandran Ramjee; Asankhaya Sharma (MobiSys, 2010)

A Refinement Calculus for Promela. - Asankhaya Sharma (ICECCS, 2013)

Towards Complete Specifications with an Error Calculus. - Quang Loc Le; Asankhaya Sharma; Florin Craciun; Wei-Ngan Chin (NASA Formal Methods, 2013)

End to End Verification and Validation with SPIN - Asankhaya Sharma (CoRR, 2013)

An Empirical Study of Path Feasibility Queries - Asankhaya Sharma (CoRR, 2013)

Exploiting undefined behaviors for efficient symbolic execution. - Asankhaya Sharma (ICSE Companion, 2014)

HIPimm: verifying granular immutability guarantees. - Andreea Costea; Asankhaya Sharma; Cristina David (PEPM, 2014)

Verified Subtyping with Traits and Mixins. - Asankhaya Sharma (FSFMA, 2014)

Certified Reasoning with Infinity. - Asankhaya Sharma; Shengyi Wang; Andreea Costea; Aquinas Hobor; Wei-Ngan Chin (FM, 2015)

Specifying Compatible Sharing in Data Structures. - Asankhaya Sharma; Aquinas Hobor; Wei-Ngan Chin (ICFEM, 2015)

Automated identification of security issues from commit messages and bug reports. - Yaqin Zhou; Asankhaya Sharma (ESEC/SIGSOFT FSE, 2017)

SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code. - Darius Foo; Ming Yi Ang; Jason Yeo; Asankhaya Sharma (SecDev, 2018)

Efficient static checking of library updates. - Darius Foo; Hendy Chua; Jason Yeo; Ming Yi Ang; Asankhaya Sharma (ESEC/SIGSOFT FSE, 2018)

The Dynamics of Software Composition Analysis. - Darius Foo; Jason Yeo; Hao Xiao; Asankhaya Sharma (CoRR, 2019)

Automated Verification of Integer Overflow. - Asankhaya Sharma (CoRR, 2019)

Automated identification of libraries from vulnerability data. - Yang Chen; Andrew E. Santosa; Asankhaya Sharma; David Lo 001 (ICSE (SEIP), 2020)

Automating Continuous Planning in SAFe. - Darius Foo; Jonah Dela Cruz; Subashree Sekar; Asankhaya Sharma (ICSE (Workshops), 2020)

A Machine Learning Approach for Vulnerability Curation. - Yang Chen; Andrew E. Santosa; Ming Yi Ang; Abhishek Sharma 002; Asankhaya Sharma; David Lo 001 (MSR, 2020)

Out of sight, out of mind? How vulnerable dependencies affect open-source projects. - Gede Artha Azriadi Prana; Abhishek Sharma 002; Lwin Khin Shar; Darius Foo; Andrew E. Santosa; Asankhaya Sharma; David Lo 001 (Empir. Softw. Eng., 2021)

Automated identification of libraries from vulnerability data: can we do better? - Stefanus A. Haryono; Hong Jin Kang; Abhishek Sharma 002; Asankhaya Sharma; Andrew E. Santosa; Ming Yi Ang; David Lo 001 (ICPC, 2022)

HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits. - Giang Nguyen-Truong; Hong Jin Kang; David Lo 001; Abhishek Sharma 002; Andrew E. Santosa; Asankhaya Sharma; Ming Yi Ang (SANER, 2022)

Evaluating Pre-trained Language Models for Repairing API Misuses. - Ting Zhang 011; Ivana Clairine Irsan; Ferdian Thung; David Lo 001; Asankhaya Sharma; Lingxiao Jiang (CoRR, 2023)

Patched RTC: evaluating LLMs for diverse software development tasks. - Asankhaya Sharma (CoRR, 2024)

Patched MOA: optimizing inference for diverse software development tasks. - Asankhaya Sharma (CoRR, 2024)

Eliciting Fine-Tuned Transformer Capabilities via Inference-Time Techniques. - Asankhaya Sharma (CoRR, 2025)