https://asankhaya.github.io/ 2025-09-24T20:18:21+08:00 https://asankhaya.github.io/coding.html 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/contact.html 2025-07-11T11:11:59+08:00 https://asankhaya.github.io/content.html 2025-07-11T11:11:59+08:00 https://asankhaya.github.io/professional.html 2025-09-24T20:14:57+08:00 https://asankhaya.github.io/research.html 2025-07-11T11:11:59+08:00 https://asankhaya.github.io/styles.html 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/teaching.html 2025-07-11T11:11:59+08:00 https://asankhaya.github.io/work.html 2025-08-27T07:34:51+08:00 https://asankhaya.github.io/pdf/A-Machine-Learning-Approach-for-Vulnerability-Curation.pdf 2020-03-17T11:43:02+08:00 https://asankhaya.github.io/pdf/ACriticalReviewofDynamicTaintAnalysisandForwardSymbolicExecution.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/A_Refinement_Calculus_for_Promela.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Agentic-AI-Workflows-for-DevOps.pdf 2024-04-24T22:44:35+08:00 https://asankhaya.github.io/pdf/AutoFix-Automated-Vulnerability-Remediation-Using-Static-Analysis-and-LLMs.pdf 2024-03-17T20:45:24+08:00 https://asankhaya.github.io/pdf/AutoThink-efficient-inference-for-reasoning-LLMs.pdf 2025-05-09T07:38:57+08:00 https://asankhaya.github.io/pdf/Automated-Identification-of-Libraries-from-Vulnerability-Data-Can-We-Do-Better.pdf 2022-03-09T19:30:04+08:00 https://asankhaya.github.io/pdf/Automated-Identification-of-Libraries-from-Vulnerability-Data.pdf 2020-03-14T06:31:40+08:00 https://asankhaya.github.io/pdf/Automated-Identification-of-Security-Issues-from-Commit-messages-and-Bug-reports-poster.pdf 2019-10-01T13:12:01+08:00 https://asankhaya.github.io/pdf/Automating-Continuous-Planning-in-SAFe.pdf 2020-04-01T11:35:13+08:00 https://asankhaya.github.io/pdf/Building-an-Open-Source-AI-Coding-Agent.pdf 2025-02-19T10:11:45+08:00 https://asankhaya.github.io/pdf/BuildingExtensibleParserswithCamlp4.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Certified_Reasoning_for_Automated_Verification.pdf 2015-05-07T21:45:41+08:00 https://asankhaya.github.io/pdf/Certified_Reasoning_with_Infinity.pdf 2015-04-17T11:35:06+08:00 https://asankhaya.github.io/pdf/DIDAR_Database_Intrusion_Detection_with_Automated_Recovery.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Design-and-Implementation-of-Security-Graph-Language.pdf 2018-10-03T15:11:07+08:00 https://asankhaya.github.io/pdf/Detecting_Intrusions_in_Databases.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/DocumentDeliveryService.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Effective-Identification-of-Vulnerabilities-using-Machine-Learning.pdf 2019-01-10T08:06:58+08:00 https://asankhaya.github.io/pdf/Efficient-Static-Checking-of-Library-Updates.pdf 2018-09-11T19:56:02+08:00 https://asankhaya.github.io/pdf/Eliciting-Fine-Tuned-Transformer-Capabilities-via-Inference-Time-Techniques.pdf 2025-06-11T17:32:05+08:00 https://asankhaya.github.io/pdf/Evaluating-Pre-trained-Language-Models-for-Repairing-API-Misuses.pdf 2023-11-10T10:52:57+08:00 https://asankhaya.github.io/pdf/Exploiting_Undefined_Behaviors_for_Efficient_Symbolic_Execution.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Getting-off-the-Scan-and-Fix-Hamster-Wheel-with-Generative-AI.pdf 2024-05-21T11:48:56+08:00 https://asankhaya.github.io/pdf/HERMES-Using-Commit-Issue-Linking-to-Detect-Vulnerability-Fixing-Commits.pdf 2022-01-04T10:34:28+08:00 https://asankhaya.github.io/pdf/HIPimm.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/HeterogenousComputationalGrid.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Improving-Worker-Safety-with-Computer-Vision-and-AI.pdf 2023-08-21T19:47:56+08:00 https://asankhaya.github.io/pdf/KuBandLinkAnalysisSystem.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/LCS.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Leadership-Workshop.pdf 2019-12-16T12:37:48+08:00 https://asankhaya.github.io/pdf/Machine-Learning-for-Software-Security.pdf 2021-10-14T23:51:10+08:00 https://asankhaya.github.io/pdf/Module-Feedback-SIT.pdf 2016-11-30T18:38:09+08:00 https://asankhaya.github.io/pdf/Node_Match_Tool.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/OntologyMatchingandSchemaIntegrationUsingNodeRanking.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Open-Source-LLMs-For-The-Win.pdf 2023-04-14T19:47:51+08:00 https://asankhaya.github.io/pdf/OpenEvolve-Talk-for-Applied-AI-Summit-2025.pdf 2025-09-16T13:45:20+08:00 https://asankhaya.github.io/pdf/OpenEvolve.pdf 2025-08-22T20:11:33+08:00 https://asankhaya.github.io/pdf/Out-of-Sight-Out-of-Mind.pdf 2020-11-30T19:31:58+08:00 https://asankhaya.github.io/pdf/PRISM-Platform-for-Remote-Sensing-using-Smartphones.pdf 2020-03-31T06:45:10+08:00 https://asankhaya.github.io/pdf/Patched-MOA-optimizing-inference-for-diverse-software-development-tasks.pdf 2025-05-05T16:35:24+08:00 https://asankhaya.github.io/pdf/Patched-RTC-evaluating-LLMs-for-diverse-software-development-tasks.pdf 2025-05-05T16:35:24+08:00 https://asankhaya.github.io/pdf/Performance-Management-for-Software-Engineers.pdf 2020-05-04T11:25:23+08:00 https://asankhaya.github.io/pdf/Poster.pdf 2014-06-13T15:14:13+08:00 https://asankhaya.github.io/pdf/Ramifications of Mechanized Localizations.pdf 2016-07-29T21:40:55+08:00 https://asankhaya.github.io/pdf/Research-Statement.pdf 2016-07-31T18:09:49+08:00 https://asankhaya.github.io/pdf/Revisiting_Ontology_Alignment.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Secure-Coding-in-Java-Program-Details.pdf 2016-09-20T11:57:10+08:00 https://asankhaya.github.io/pdf/Securing-Open-Source-Code-in-Enterprise.pdf 2018-03-25T08:27:29+08:00 https://asankhaya.github.io/pdf/Security-Graph-Language.pdf 2018-07-23T14:57:46+08:00 https://asankhaya.github.io/pdf/Specifying-Compatible-Sharing-in-Data-Structures.pdf 2015-06-30T07:44:33+08:00 https://asankhaya.github.io/pdf/Student Feedback (End-Term).pdf 2023-05-15T09:57:29+08:00 https://asankhaya.github.io/pdf/Taming-open-code-LLMs-for-SQL-generation-and-bug-fixing.pdf 2023-10-27T17:21:06+08:00 https://asankhaya.github.io/pdf/Teacher-Feedback-NUS.pdf 2016-11-30T18:41:36+08:00 https://asankhaya.github.io/pdf/Teacher-Feedback-SIT.pdf 2016-11-30T18:41:36+08:00 https://asankhaya.github.io/pdf/Teaching Portfolio.pdf 2023-05-15T09:57:29+08:00 https://asankhaya.github.io/pdf/Teaching_Statement.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/Team-Fortress.pdf 2018-12-14T19:32:04+08:00 https://asankhaya.github.io/pdf/Test-Lean-Principles.pdf 2020-05-21T07:20:45+08:00 https://asankhaya.github.io/pdf/The-Dynamics-of-Software-Composition-Analysis-Poster.pdf 2019-10-25T14:33:30+08:00 https://asankhaya.github.io/pdf/The-Dynamics-of-Software-Composition-Analysis.pdf 2019-10-01T13:13:12+08:00 https://asankhaya.github.io/pdf/The-Entrepreneurial-Pendulum.pdf 2025-09-26T19:34:26+08:00 https://asankhaya.github.io/pdf/Towards_Verified_Cardiac_Pacemaker.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/US20110126113.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/US20160098563A1.pdf 2018-02-15T19:46:00+08:00 https://asankhaya.github.io/pdf/US20200042628A1.pdf 2020-03-05T19:48:14+08:00 https://asankhaya.github.io/pdf/US20200042712A1.pdf 2020-03-05T19:48:14+08:00 https://asankhaya.github.io/pdf/US20200057858A1.pdf 2020-03-05T19:48:14+08:00 https://asankhaya.github.io/pdf/Using-LLMs-and-Generative-AI-to-Fix-Software-Vulnerabilities.pdf 2023-10-05T10:07:53+08:00 https://asankhaya.github.io/pdf/Using-machine-learning-to-identify-security-issues-in-open-source-libraries.pdf 2017-10-31T11:50:02+08:00 https://asankhaya.github.io/pdf/Verified_Subtyping_with_Traits_and_Mixins.pdf 2014-06-13T15:02:28+08:00 https://asankhaya.github.io/pdf/WO2022093250A1.pdf 2022-06-19T10:03:53+08:00 https://asankhaya.github.io/pdf/WO2022103382A1.pdf 2022-06-19T10:03:53+08:00 https://asankhaya.github.io/pdf/automated-identification-of-security-issues-from-commit-messages-and-bug-reports.pdf 2017-07-28T11:49:16+05:30 https://asankhaya.github.io/pdf/eu-20-Sharma-Ang-Effective-Vulnerability-Discovery-With-Machine-Learning.pdf 2020-12-17T10:04:14+08:00