Darius Foo -

Registered user since Tue 8 Jun 2021

Name:Darius Foo

Contributions

2025

Static Analysis Symposium

Author of Specifying and Verifying Future Conditions within the SAS 2025-track

OCaml

Committee Member in Program Committee within the OCaml 2025-track

OlivierFest

Author of From Delimited Continuations to Staged Logics within the OlivierFest 2025-track

2024

ICFP

Author of Specification and Verification for Unrestricted Algebraic Effects and Handling within the Artifact Evaluation-track
Author of Specification and Verification for Unrestricted Algebraic Effects and Handling within the ICFP Papers and Events-track

2022

APLAS

Author of Automated Temporal Verification for Algebraic Effects within the APLAS-track

SPLASH

In-person student volunteer in Organizers within the Student Volunteers-track

OCaml

Author of Tracing OCaml Programs within the OCaml 2022-track

ICSE

Author of Out of Sight, Out of Mind? How Vulnerable Dependencies Affect Open-Source Projects within the Journal-First Papers-track

2019

ASE

Author of The Dynamics of Software Composition Analysis within the Late Breaking Results-track

2018

ESEC/FSE

Author of Efficient Static Checking of Library Updates within the Industry-track