Follow
Darius Foo
Darius Foo
Verified email at comp.nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
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
512021
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
332018
Open-source software vulnerability analysis
DTW Foo, MY Ang, JS Yeo, A Sharma
US Patent App. 16/050,050, 2020
262020
The Dynamics of Software Composition Analysis
D Foo, J Yeo, H Xiao, A Sharma
arXiv preprint arXiv:1909.00973, 2019
222019
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
62018
Software vulnerability graph database
DTW Foo, MY Ang, JS Yeo, A Sharma
US Patent 10,803,061, 2020
52020
Automating Continuous Planning in SAFe
D Foo, JD Cruz, S Sekar, A Sharma
Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020
52020
Automated Temporal Verification for Algebraic Effects
Y Song, D Foo, WN Chin
Asian Symposium on Programming Languages and Systems, 88-109, 2022
42022
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
Staged Specifications for Automated Verification of Higher-Order Imperative Programs
D Foo, Y Song, WN Chin
arXiv preprint arXiv:2308.00988, 2023
2023
Protocol Conformance with Choreographic PlusCal
D Foo, A Costea, WN Chin
International Symposium on Theoretical Aspects of Software Engineering, 126-145, 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
The system can't perform the operation now. Try again later.
Articles 1–13