• Sign in
  • Sign up
conf.researchr.org / Chris Casinghino
  • 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
xFri 9 Jun 17:22
using conf.researchr.org (v1.60.0)
Support page
Sign Up