| Out of sight, out of mind? How vulnerable dependencies affect open-source projects GAA Prana, A Sharma, LK Shar, D Foo, AE Santosa, A Sharma, D Lo Empirical Software Engineering 26, 1-34, 2021 | 78 | 2021 |
| Efficient Static Checking of Library Updates D Foo, H Chua, J Yeo, MY Ang, A Sharma Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 40 | 2018 |
| Open-source software vulnerability analysis DTW Foo, MY Ang, JS Yeo, A Sharma US Patent App. 16/050,050, 2020 | 29 | 2020 |
| The Dynamics of Software Composition Analysis D Foo, J Yeo, H Xiao, A Sharma arXiv preprint arXiv:1909.00973, 2019 | 29 | 2019 |
| Automated Temporal Verification for Algebraic Effects Y Song, D Foo, WN Chin Asian Symposium on Programming Languages and Systems, 88-109, 2022 | 9 | 2022 |
| Software vulnerability graph database DTW Foo, MY Ang, JS Yeo, A Sharma US Patent 10,803,061, 2020 | 6 | 2020 |
| Automating Continuous Planning in SAFe D Foo, JD Cruz, S Sekar, A Sharma Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020 | 6 | 2020 |
| SGL: A domain-specific language for large-scale analysis of open-source code D Foo, MY Ang, J Yeo, A Sharma 2018 IEEE Cybersecurity Development (SecDev), 61-68, 2018 | 6 | 2018 |
| Staged Specifications for Automated Verification of Higher-Order Imperative Programs D Foo, Y Song, WN Chin arXiv preprint arXiv:2308.00988, 2023 | 2 | 2023 |
| Staged specification logic for verifying higher-order imperative programs D Foo, Y Song, WN Chin International Symposium on Formal Methods, 501-518, 2024 | 1 | 2024 |
| Protocol Conformance with Choreographic PlusCal D Foo, A Costea, WN Chin International Symposium on Theoretical Aspects of Software Engineering, 126-145, 2023 | 1 | 2023 |
| Specification and Verification for Unrestricted Algebraic Effects and Handling Y Song, D Foo, WN Chin Proceedings of the ACM on Programming Languages 8 (ICFP), 909-937, 2024 | | 2024 |
| Specification and Verification for Unrestricted Algebraic Effects and Handling (Technical Report) Y SONG, D FOO, WEIN CHIN | | 2024 |
| DEVELOPMENT PIPELINE INTEGRATED ONGOING LEARNING FOR ASSISTED CODE REMEDIATION A Sharma, H Xiao, HHL Chua, DTW Foo US Patent App. 18/250,794, 2023 | | 2023 |
| DEIDENTIFYING CODE FOR CROSS-ORGANIZATION REMEDIATION KNOWLEDGE A Sharma, H Xiao, HHL Chua, DTW Foo US Patent App. 17/754,194, 2023 | | 2023 |
| Tracing OCaml Programs D Foo, WN Chin arXiv preprint arXiv:2304.04937, 2023 | | 2023 |
Asankhaya SharmaCTO @ Patched.CodesVerified email at patchedcodes.com
