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
2022
PLDI
Author of (PLDI 2021) CoStar: A Verified ALL(*) Parser within the SIGPLAN Track-track
2021
PLDI
Author of CoStar: A Verified ALL(*) Parser within the PLDI-track
2020
OCaml
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)
2018
HILT
Speaker of A Language for Programmable Hardware Security within the HILT 2018-track
Share
x
Sun 22 Dec 13:42