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

Staged Specification Logic for Verifying Higher-Order Imperative Programs - Darius Foo; Yahui Song; Wei-Ngan Chin (Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, 2024)

Protocol Conformance with Choreographic PlusCal - Darius Foo; Andreea Costea; Wei-Ngan Chin (Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, 2023)

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

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

Automated Temporal Verification for Algebraic Effects - Yahui Song; Darius Foo; Wei-Ngan Chin (Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings, 2022)

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

Automating Continuous Planning in SAFe - Darius Foo; Jonah Dela Cruz; Subashree Sekar; Asankhaya Sharma (ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020, 2020)

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

SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code - Darius Foo; Ming Yi Ang; Jason Yeo; Asankhaya Sharma (2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018, 2018)

Efficient static checking of library updates - Darius Foo; Hendy Chua; Jason Yeo; Ming Yi Ang; Asankhaya Sharma (Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, 2018)