Research - Asankhaya Sharma

Awards

2024
AI for Public GoodStartup Mahakumbh 2024announcement
2023
HPC AI Innovation ChallengeNational Supercomputing Centre (NSCC) Singapore 2023
2023
Safety Startup AwardWorld of Safety and Health Asia 2023video
2020
ACM SIGSOFT Distinguished Paper AwardMSR 2020

Publications

2025
Eliciting Fine-Tuned Transformer Capabilities via Inference-Time Techniquespdf
2025
AutoThink: efficient inference for reasoning LLMspdf
2025
Humanity's Last Exam
2024
Patched MOA: optimizing inference for diverse software development taskspdf
2024
Patched RTC: evaluating LLMs for diverse software development taskspdf
2023
Evaluating Pre-trained Language Models for Repairing API Misusespdf
2022
Automated Identification of Libraries from Vulnerability Data: Can We Do Better?ICPC 2022pdf code video
2022
HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing CommitsSANER 2022pdf code video
2022
Out of Sight, Out of Mind? How Vulnerable Dependencies Affect Open-Source ProjectsICSE 2022 and Empirical Software Engineering Journal 2021pdf video
2020
A Machine Learning Approach for Vulnerability CurationMSR 2020, ACM SIGSOFT Distinguished Paper Awardpdf pptx video
2020
Automating Continuous Planning in SAFeRCoSE 2020pdf code pptx video
2020
Automated Identification of Libraries from Vulnerability DataICSE (SEIP) 2020pdf pptx video
2019
The Dynamics of Software Composition AnalysisASE (LBR) 2019pdf poster
2018
Efficient Static Checking of Library UpdatesFSE 2018pdf
2018
SGL: A domain-specific language for large-scale analysis of open-source codeSecDev 2018pdf
2017
Automated Identification of Security Issues from Commit Messages and Bug ReportsFSE 2017pdf poster

Show 22 more (2006–2015)

2015
Specifying Compatible Sharing in Data StructuresICFEM 2015pdf pptx
2015
Certified Reasoning with InfinityFM 2015pdf
2014
Certified Reasoning for Automated VerificationPhD Thesis, Department of Computer Science, NUS 2014pdf pptx pics
2014
Verified Subtyping with Traits and MixinsFSFMA 2014pdf pptx
2014
Exploiting Undefined Behaviors for Efficient Symbolic ExecutionICSE (ACM-SRC) 2014pdf code poster pptx video
2014
HIPimm: Verifying Granular Immutability GuaranteesPEPM 2014pdf
2013
A Refinement Calculus for PromelaICECCS 2013pdf pptx code
2013
Towards Complete Specifications with an Error CalculusNASA Formal Methods 2013
2013
An Empirical Study of Path Feasibility QueriesCoRR 2013data
2013
End to End Verification and Validation with SPINCoRR 2013data
2012
A Critical Review of Dynamic Taint Analysis and Forward Symbolic ExecutionTechnical Report NUS 2012pdf pptx code
2011
Building Extensible Parsers with Camlp4Technical Report NUS 2011pdf
2010
Towards a Verified Cardiac PacemakerTechnical Report NUS 2010pdf pptx code
2010
Cloud Based Document Delivery Service For Emerging MarketsICSEM 2010pdf pptx
2010
PRISM: Platform for Remote Sensing using SmartphonesMobiSys 2010pdf
2009
Revisiting Ontology Alignment in Web 2.0Technical Report NITW 2009pdf
2008
Detecting Intrusions in DatabasesICDM 2008pdf
2007
DIDAR - Database Intrusion Detection with Automated RecoveryB.Tech Thesis NITW 2007pdf ppt
2006
Dynamic Band Approach for LCS Calculation of Two SequencesInCoB 2006pdf
2006
Ontology Matching using Weighted GraphsICDIM 2006
2006
Heterogeneous Computational Grid - a p2p node based resource virtualization systemTechnical Report NITW 2006pdf
2006
Ontology Matching and Schema Integration Using Node RankingSWWS 2006pdf ppt tool

Patents

2022
Deidentifying code for cross-organization remediation knowledgeWIPO (PCT) Application Number WO2022103382A1pdf
2022
Development pipeline integrated ongoing learning for assisted code remediationWIPO (PCT) Application Number WO2022093250A1pdf
2018
Open source vulnerability prediction with machine learning ensembleUSPTO Application Number 16/105,016pdf
2018
Software vulnerability graph databaseUSPTO Application Number 16/050,109pdf
2018
Open-source software vulnerability analysisUSPTO Application Number 16/050,050pdf
2014
Signatures for software componentsUSPTO Application Number 14/506,490pdf
2009
Displaying Content on Multiple Web PagesUSPTO Application Number 12/623,458pdf

Grants

2022
Automated Program Repair(2022-2027), Collaborator, funded by Ministry of Education, Singapore
2020
Uncovering Vulnerabilities in Machine Learning Frameworks via Software Composition Analysis and Directed Grammar-Based Fuzzing(October 2020 - March 2023), Co-PI, Amount 500,000 SGD, funded by National Satellite of Excellence in Trustworthy Software Systems (NSoE-TSS), Singapore
2020
DeepSense: Deep Media Sensing for Software API Recommendation(01/2020-01/2023), Collaborator, funded by Ministry of Education, Singapore
2014
Virtual Appliance for Software Verification Research(April 2014 - April 2015), PI, Amount 50,000 SGD, funded by Microsoft Azure for Research Award