Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chris Casinghino
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
ICFP/SPLASH 2025 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
ML
Committee Member in Program Committee within the ML Family Workshop 2025-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL
Session Chair of Jane Street Social Event (part of POPL)
Host of Jane Street Game Night within the POPL-track
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
Sun 30 Mar 15:18
