• Sign in
  • Sign up
conf.researchr.org / Darius Foo
  • 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

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
Share
xWed 24 Sep 05:49
using conf.researchr.org (v1.71.1)
Support page
Sign Up