Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chris Casinghino
conf.researchr.org general profile
ICFP 2023 profile
NASA Formal Methods 2023 profile
PLDI 2023 profile
POPL 2024 profile
Registered user since Thu 23 Mar 2023
Name:
Chris Casinghino
Affiliation:
Jane Street
Contributions
2024
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 25 Apr 22:13