Asankhaya Sharma

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