Asankhaya Sharma

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 14

Top Topics

Automated Verification

Top Venues

ESEC/SIGSOFT FSE

Publications

Asankhaya Sharma
Patched MOA: optimizing inference for diverse software development tasks. CoRR (2024)
Asankhaya Sharma
Patched RTC: evaluating LLMs for diverse software development tasks. CoRR (2024)
Ting Zhang, Ivana Clairine Irsan, Ferdian Thung, David Lo, Asankhaya Sharma, Lingxiao Jiang
Evaluating Pre-trained Language Models for Repairing API Misuses. CoRR (2023)
Stefanus A. Haryono, Hong Jin Kang, Abhishek Sharma, Asankhaya Sharma, Andrew E. Santosa, Ming Yi Ang, David Lo
Automated identification of libraries from vulnerability data: can we do better? ICPC (2022)
Giang Nguyen-Truong, Hong Jin Kang, David Lo, Abhishek Sharma, Andrew E. Santosa, Asankhaya Sharma, Ming Yi Ang
HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits. SANER (2022)
Gede Artha Azriadi Prana, Abhishek Sharma, Lwin Khin Shar, Darius Foo, Andrew E. Santosa, Asankhaya Sharma, David Lo
Out of sight, out of mind? How vulnerable dependencies affect open-source projects. Empir. Softw. Eng. 26 (4) (2021)
Darius Foo, Jonah Dela Cruz, Subashree Sekar, Asankhaya Sharma
Automating Continuous Planning in SAFe. ICSE (Workshops) (2020)
Yang Chen, Andrew E. Santosa, Asankhaya Sharma, David Lo
Automated identification of libraries from vulnerability data. ICSE (SEIP) (2020)
Yang Chen, Andrew E. Santosa, Ming Yi Ang, Abhishek Sharma, Asankhaya Sharma, David Lo
A Machine Learning Approach for Vulnerability Curation. MSR (2020)
Asankhaya Sharma
Automated Verification of Integer Overflow. CoRR (2019)
Darius Foo, Jason Yeo, Hao Xiao, Asankhaya Sharma
The Dynamics of Software Composition Analysis. CoRR (2019)
Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, Asankhaya Sharma
Efficient static checking of library updates. ESEC/SIGSOFT FSE (2018)
Darius Foo, Ming Yi Ang, Jason Yeo, Asankhaya Sharma
SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code. SecDev (2018)
Yaqin Zhou, Asankhaya Sharma
Automated identification of security issues from commit messages and bug reports. ESEC/SIGSOFT FSE (2017)
Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin
Specifying Compatible Sharing in Data Structures. ICFEM (2015)
Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
Certified Reasoning with Infinity. FM (2015)
Andreea Costea, Asankhaya Sharma, Cristina David
HIPimm: verifying granular immutability guarantees. PEPM (2014)
Asankhaya Sharma
Exploiting undefined behaviors for efficient symbolic execution. ICSE Companion (2014)
Asankhaya Sharma
Verified Subtyping with Traits and Mixins. FSFMA (2014)
Asankhaya Sharma
End to End Verification and Validation with SPIN CoRR (2013)
Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
Towards Complete Specifications with an Error Calculus. NASA Formal Methods (2013)
Asankhaya Sharma
A Refinement Calculus for Promela. ICECCS (2013)
Asankhaya Sharma
An Empirical Study of Path Feasibility Queries CoRR (2013)
Tathagata Das, Prashanth Mohan, Venkata N. Padmanabhan, Ramachandran Ramjee, Asankhaya Sharma
PRISM: platform for remote sensing using smartphones. MobiSys (2010)
Asankhaya Sharma
Ontology Matching Using Weighted Graphs. ICDIM (2006)
Asankhaya Sharma, Durvasula V. L. N. Somayajulu
Ontology Matching and Schema Integration Using Node Ranking. SWWS (2006)