Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hana Chockler
conf.researchr.org general profile
* ICSE 2018 * profile
ESEC/FSE 2021 profile
ETAPS 2019 profile
FSE 2024 profile
POPL 2016 profile
POPL 2017 profile
POPL 2021 profile
Registered user since Fri 10 Jul 2015
Name:
Hana Chockler
Contributions
2024
ESEC/FSE
Committee Member in Program Committee within the Research Papers-track
2021
ESEC/FSE
Committee Member in Program Committee within the Research Papers-track
VMCAI
Committee Member in Program Committee within the VMCAI-track
2019
CREST
Committee Member in Program Committee within the CREST-track
2018
ICSE
Committee Member in Program committee within the Technical Papers -track
2017
VMCAI
Author of Synthesizing Non-Vacuous Systems within the VMCAI-track
2016
VMCAI
Committee Member in Program Committee
Share
x
Tue 31 Dec 11:34
