• Sign in
  • Sign up
conf.researchr.org / Hana Chockler
  • * ICSE 2018 * profile
  • ESEC/FSE 2021 profile
  • ETAPS 2019 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2021 profile
Hana Chockler

Registered user since Fri 10 Jul 2015

Name:Hana Chockler

Contributions

ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
CREST 2019 Committee Member in Program Committee within the CREST-track
VMCAI 2017 Author of Synthesizing Non-Vacuous Systems within the VMCAI-track
* ICSE 2018 * Committee Member in Program committee within the Technical Papers -track
VMCAI Committee Member in Program Committee

Share
xSat 21 May 17:45
using conf.researchr.org (v1.55.6)
Support page
Sign Up