Algebra of Programming Using Dependent Types. - Shin-Cheng Mu; Hsiang-Shang Ko; Patrik Jansson (MPC, 2008)

Algebra of programming in Agda: Dependent types for relational program derivation. - Shin-Cheng Mu; Hsiang-Shang Ko; Patrik Jansson (J. Funct. Program., 2009)

Modularising inductive families. - Hsiang-Shang Ko; Jeremy Gibbons (WGP@ICFP, 2011)

Relational algebraic ornaments. - Hsiang-Shang Ko; Jeremy Gibbons (DTP@ICFP, 2013)

Analysis and synthesis of inductive families. - Hsiang-Shang Ko (2014)

BiYacc: Roll Your Parser and Reflective Printer into One. - Zirun Zhu; Hsiang-Shang Ko; Pedro Martins 001; João Saraiva; Zhenjiang Hu (Bx@STAF, 2015)

Principles and Practice of Bidirectional Programming in BiGUL. - Zhenjiang Hu; Hsiang-Shang Ko (Bidirectional Transformations, 2016)

Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. - Tao Zan; Li Liu; Hsiang-Shang Ko; Zhenjiang Hu (Bx@ETAPS, 2016)

BiGUL: a formally verified core language for putback-based bidirectional programming. - Hsiang-Shang Ko; Tao Zan; Zhenjiang Hu (PEPM, 2016)

Parsing and reflective printing, bidirectionally. - Zirun Zhu; Yongzhe Zhang; Hsiang-Shang Ko; Pedro Martins 001; João Saraiva; Zhenjiang Hu (SLE, 2016)

Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. - Yongzhe Zhang; Hsiang-Shang Ko; Zhenjiang Hu (APLAS, 2017)

BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. - Anthony Anjorin; Zinovy Diskin; Frédéric Jouault; Hsiang-Shang Ko; Erhan Leblebici; Bernhard Westfechtel (BX@ETAPS, 2017)

BiFluX: A Bidirectional Functional Update Language for XML. - Tao Zan; Hugo Pacheco 001; Hsiang-Shang Ko; Zhenjiang Hu (Inf. Media Technol., 2017)

Programming with ornaments. - Hsiang-Shang Ko; Jeremy Gibbons (J. Funct. Program., 2017)

Towards a visual editor for lens combinators (extended abstract). - Anthony Anjorin; Hsiang-Shang Ko (Programming, 2018)

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Kanae Tsushima; Masatoshi Yoshikawa (CoRR, 2018)

Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Van-Dang Tran; Kanae Tsushima; et al. (CoRR, 2018)

An axiomatic basis for bidirectional programming. - Hsiang-Shang Ko; Zhenjiang Hu (Proc. ACM Program. Lang., 2018)

Towards Bidirectional Synchronization Between Communicating Processes and Session Types. - Liye Guo; Hsiang-Shang Ko; Keigo Imai; Nobuko Yoshida; Zhenjiang Hu (BigComp, 2019)

Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. - Yun-Sheng Chang; Yao Hsiao; Tzu-Chi Lin; Che-Wei Tsao; Chun-Feng Wu; Yuan-Hao Chang 001; Hsiang-Shang Ko; Yu-Fang Chen 001 (OSDI, 2020)

Retentive Lenses. - Zirun Zhu; Zhixuan Yang; Hsiang-Shang Ko; Zhenjiang Hu (CoRR, 2020)

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. - Zirun Zhu; Hsiang-Shang Ko; Yongzhe Zhang; Pedro Martins 001; João Saraiva; Zhenjiang Hu (New Gener. Comput., 2020)

Benchmarking bidirectional transformations: theory, implementation, application, and assessment. - Anthony Anjorin; Thomas Buchmann; Bernhard Westfechtel; Zinovy Diskin; Hsiang-Shang Ko; Romina Eramo; Georg Hinkel; Leila Samimi-Dehkordi; Albert Zündorf (Softw. Syst. Model., 2020)

C-Lenses Explained: Bx Foundations for the Rest of Us. - Anthony Anjorin; Hsiang-Shang Ko; Erhan Leblebici (STAF Workshops, 2021)

Weakly Durable High-Performance Transactions. - Yun-Sheng Chang; Yu-Fang Chen 001; Hsiang-Shang Ko (CoRR, 2021)

Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. - Hsiang-Shang Ko (Art Sci. Eng. Program., 2021)

Realising Intensional S4 and GL Modalities. - Liang-Ting Chen 001; Hsiang-Shang Ko (CSL, 2022)

Datatype-generic programming meets elaborator reflection. - Hsiang-Shang Ko; Liang-Ting Chen 001; Tzu-Chi Lin (Proc. ACM Program. Lang., 2022)

A Formal Treatment of Bidirectional Typing. - Liang-Ting Chen 001; Hsiang-Shang Ko (ESOP (1), 2024)

Binomial Tabulation: A Short Story. - Hsiang-Shang Ko; Shin-Cheng Mu; Jeremy Gibbons (CoRR, 2025)