Darius Foo

According to our database, Darius Foo authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Staged Specifications for Automated Verification of Higher-Order Imperative Programs.

Darius Foo, Yahui Song, Wei-Ngan Chin

CoRR, 2023

Tracing OCaml Programs.

Darius Foo, Wei-Ngan Chin

CoRR, 2023

Protocol Conformance with Choreographic PlusCal.

Darius Foo, Andreea Costea, Wei-Ngan Chin

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2022

Automated Temporal Verification for Algebraic Effects.

Yahui Song, Darius Foo, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

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

2020

Automating Continuous Planning in SAFe.

Darius Foo, Jonah Dela Cruz, Subashree Sekar, Asankhaya Sharma

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2019

The Dynamics of Software Composition Analysis.

Darius Foo, Jason Yeo, Hao Xiao, Asankhaya Sharma

CoRR, 2019

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, 2018

SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code.

Darius Foo, Ming Yi Ang, Jason Yeo, Asankhaya Sharma

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018