conf.researchr.org / Chris Casinghino

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