Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chris Casinghino
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
NASA Formal Methods 2023 profile
PLDI 2023 profile
PLDI 2025 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Thu 23 Mar 2023
Name:
Chris Casinghino
Affiliation:
Jane Street
Contributions
2025
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL
Author of Data Race Freedom à la Mode within the POPL-track
2024
ML
Author of Labeled Tuples (Informed Position) within the ML-track
OCaml
Author of Flambda2 Validator within the OCaml Users and Developers Workshop 2024-track
PLMW
Comfy Chair of Jane Street Board Game Night within the PLMW @ POPL 2024-track
2023
OCaml
Committee Member in Program Committee within the OCaml 2023-track
Session Chair of Session 2 (part of OCaml 2023)
PLMW
Panelist of Panel: Career paths within the PLMW@PLDI 2023-track
NFM
Author of Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation within the NFM 2023-track
Share
x
Thu 21 Nov 12:38