Darius Foo

12 papers B 2Misc 1Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Specifying and Verifying Future Conditions. SAS Yahui Song, Darius Foo, Wei-Ngan Chin
2024	J	`jnl`	Specification and Verification for Unrestricted Algebraic Effects and Handling. Proc. ACM Program. Lang. Yahui Song, Darius Foo, Wei-Ngan Chin
2024	—	`conf`	Staged Specification Logic for Verifying Higher-Order Imperative Programs. FM (1) Darius Foo, Yahui Song, Wei-Ngan Chin
2023	Misc	`conf`	Protocol Conformance with Choreographic PlusCal. TASE Darius Foo, Andreea Costea, Wei-Ngan Chin
2023	J	`jnl`	Staged Specifications for Automated Verification of Higher-Order Imperative Programs. CoRR Darius Foo, Yahui Song, Wei-Ngan Chin
2023	J	`jnl`	Tracing OCaml Programs. CoRR Darius Foo, Wei-Ngan Chin
2022	B	`conf`	Automated Temporal Verification for Algebraic Effects. APLAS Yahui Song, Darius Foo, Wei-Ngan Chin
2021	J	`jnl`	Out of sight, out of mind? How vulnerable dependencies affect open-source projects. Empir. Softw. Eng. Gede Artha Azriadi Prana, Abhishek Sharma, Lwin Khin Shar, Darius Foo, Andrew E. Santosa, Asankhaya Sharma, David Lo
2020	—	`conf`	Automating Continuous Planning in SAFe. ICSE (Workshops) Darius Foo, Jonah Dela Cruz, Subashree Sekar, Asankhaya Sharma
2019	J	`jnl`	The Dynamics of Software Composition Analysis. CoRR Darius Foo, Jason Yeo, Hao Xiao, Asankhaya Sharma
2018	—	`conf`	Efficient static checking of library updates. ESEC/SIGSOFT FSE Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, Asankhaya Sharma
2018	—	`conf`	SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code. SecDev Darius Foo, Ming Yi Ang, Jason Yeo, Asankhaya Sharma