Darius Foo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAS | Specifying and Verifying Future Conditions. | Yahui Song, Darius Foo, Wei-Ngan Chin |
| 2024 | FM | Staged Specification Logic for Verifying Higher-Order Imperative Programs. | Darius Foo, Yahui Song, Wei-Ngan Chin |
| 2023 | TASE | Protocol Conformance with Choreographic PlusCal. | Darius Foo, Andreea Costea, Wei-Ngan Chin |
| 2022 | APLAS | Automated Temporal Verification for Algebraic Effects. | Yahui Song, Darius Foo, Wei-Ngan Chin |
| 2020 | ICSE | Automating Continuous Planning in SAFe. | Darius Foo, Jonah Dela Cruz, Subashree Sekar, Asankhaya Sharma |