Darius Foo

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Imperative Programs

Dependency Analysis

Automated Verification

Temporal Characteristics

Top Venues

ICSE (Workshops)

ESEC/SIGSOFT FSE

Publications

Darius Foo, Wei-Ngan Chin
Tracing OCaml Programs. CoRR (2023)
Darius Foo, Andreea Costea, Wei-Ngan Chin
Protocol Conformance with Choreographic PlusCal. TASE (2023)
Darius Foo, Yahui Song, Wei-Ngan Chin
Staged Specifications for Automated Verification of Higher-Order Imperative Programs. CoRR (2023)
Yahui Song, Darius Foo, Wei-Ngan Chin
Automated Temporal Verification for Algebraic Effects. APLAS (2022)
Gede Artha Azriadi Prana, Abhishek Sharma, Lwin Khin Shar, Darius Foo, Andrew E. Santosa, Asankhaya Sharma, David Lo
Out of sight, out of mind? How vulnerable dependencies affect open-source projects. Empir. Softw. Eng. 26 (4) (2021)
Darius Foo, Jonah Dela Cruz, Subashree Sekar, Asankhaya Sharma
Automating Continuous Planning in SAFe. ICSE (Workshops) (2020)
Darius Foo, Jason Yeo, Hao Xiao, Asankhaya Sharma
The Dynamics of Software Composition Analysis. CoRR (2019)
Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, Asankhaya Sharma
Efficient static checking of library updates. ESEC/SIGSOFT FSE (2018)
Darius Foo, Ming Yi Ang, Jason Yeo, Asankhaya Sharma
SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code. SecDev (2018)