Specification and Verification for Unrestricted Algebraic Effects and Handling. - Song, Yahui; Foo, Darius; Chin, Wei-Ngan (Proc. ACM Program. Lang., 2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs. - Foo, Darius; Song, Yahui; Chin, Wei-Ngan (2024)

Protocol Conformance with Choreographic PlusCal. - Foo, Darius; Costea, Andreea; Chin, Wei-Ngan (2023)

Tracing OCaml Programs. - Foo, Darius; Chin, Wei-Ngan (CoRR, 2023)

Staged Specifications for Automated Verification of Higher-Order Imperative Programs. - Foo, Darius; Song, Yahui; Chin, Wei-Ngan (CoRR, 2023)

Automated Temporal Verification for Algebraic Effects. - Song, Yahui; Foo, Darius; Chin, Wei-Ngan (2022)

Out of sight, out of mind? How vulnerable dependencies affect open-source projects. - Prana, Gede Artha Azriadi; Sharma, Abhishek; Shar, Lwin Khin; Foo, Darius; Santosa, Andrew E.; Sharma, Asankhaya; Lo, David (Empir. Softw. Eng., 2021)

Automating Continuous Planning in SAFe. - Foo, Darius; Cruz, Jonah Dela; Sekar, Subashree; Sharma, Asankhaya (2020)

The Dynamics of Software Composition Analysis. - Foo, Darius; Yeo, Jason; Xiao, Hao; Sharma, Asankhaya (CoRR, 2019)

SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code. - Foo, Darius; Ang, Ming Yi; Yeo, Jason; Sharma, Asankhaya (2018)

Efficient static checking of library updates. - Foo, Darius; Chua, Hendy; Yeo, Jason; Ang, Ming Yi; Sharma, Asankhaya (2018)