Hsiang-Shang ‘Josh’ Ko

Registered user since Tue 10 Nov 2015

Name:Hsiang-Shang ‘Josh’ Ko
Country:Taiwan
Affiliation:Institute of Information Science, Academia Sinica
Research interests:dependently typed programming, datatype-generic programming, bidirectional programming, algebra of programming, functional programming

Contributions

TyDe 2021 Program Co-Chair in Program Committee within the TyDe 2021-track
PEPM 2021 Committee Member in Steering Committee within the PEPM 2021-track
POPL 2021 Web Chair in Organizing Committee
‹Programming› 2021 Author of Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design within the Research Papers-track
PADL 2020 Committee Member in Program Committee within the PADL 2020-track
ICFP 2020 Committee Member in Program Committee within the Student Research Competition-track
Committee Member in Poster and Presentation Judges within the Student Research Competition-track
TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track
POPL 2020 Web Chair in Organizing Committee
PEPM 2019 Steering Committee Member in Steering Committee within the PEPM 2019-track
POPL 2019 Website Chair in Organizing Committee
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
Bx 2018 Author of Towards a Visual Editor for Lens Combinators within the Bx 2018-track
Author of An Axiomatic Basis for Bidirectional Programming within the Bx 2018-track
PEPM 2018 Session Chair of Session 1-1 (part of PEPM 2018)
Programme Co-Chair in Programme Committee within the PEPM 2018-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018 Author of An Axiomatic Basis for Bidirectional Programming within the Research Papers-track
Author of An Axiomatic Basis for Bidirectional Programming within the Artifact Evaluation-track
SLE 2016 Author of Parsing and Reflective Printing, Bidirectionally within the SLE-track
PEPM 2016 Author of BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming within the PEPM-track