Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Darius Foo
conf.researchr.org general profile
ASE 2019 profile
ESEC/FSE 2018 profile
ICFP 2022 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
ICSE 2022 profile
SPLASH 2022 profile
Registered user since Tue 8 Jun 2021
Name:
Darius Foo
Contributions
2025
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
Share
x
Tue 12 Aug 04:52