Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chih-Duo Hong
conf.researchr.org general profile
APLAS 2020 profile
APLAS 2023 profile
POPL 2019 profile
POPL 2024 profile
Registered user since Sat 12 Jan 2019
Name:
Chih-Duo Hong
Country:
Taiwan
Affiliation:
National Chengchi University
Contributions
2024
POPL
Author of Regular Abstractions for Array Systems within the POPL-track
2023
APLAS
Committee Member in Selection Committee within the SRC & Posters-track
2020
APLAS
Author of Parameterized Synthesis with Safety Properties within the Research Papers-track
2019
POPL
Author of CSS Minification via Constraint Solving within the Research Papers-track
Share
x
Mon 5 May 23:06
