Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chris Casinghino
conf.researchr.org general profile
ICFP 2020 profile
PLDI 2021 profile
PLDI 2022 profile
SPLASH 2018 profile
Registered user since Mon 30 Mar 2020
Name:
Chris Casinghino
Affiliation:
Draper Laboratory
Contributions
PLDI 2022
Author of (PLDI 2021) CoStar: A Verified ALL(*) Parser within the SIGPLAN Track-track
PLDI 2021
Author of CoStar: A Verified ALL(*) Parser within the PLDI-track
OCaml 2020
Session Chair of Recitation (part of OCaml 2020)
Committee Member in Program Committee within the OCaml 2020-track
Session Chair of Keynote II (part of OCaml 2020)
HILT 2018
Speaker of A Language for Programmable Hardware Security within the HILT 2018-track
Share
x
Sun 29 May 02:19