Hsiang-Shang Ko

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 25

Top Venues

CoRR

Proc. ACM Program. Lang.

Art Sci. Eng. Program.

New Gener. Comput.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Liang-Ting Chen, Hsiang-Shang Ko
A Formal Treatment of Bidirectional Typing. ESOP (1) (2024)
Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin
Datatype-generic programming meets elaborator reflection. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Liang-Ting Chen, Hsiang-Shang Ko
Realising Intensional S4 and GL Modalities. CSL (2022)
Hsiang-Shang Ko
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. Art Sci. Eng. Program. 5 (2) (2021)
Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici
C-Lenses Explained: Bx Foundations for the Rest of Us. STAF Workshops (2021)
Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko
Weakly Durable High-Performance Transactions. CoRR (2021)
Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf
Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Softw. Syst. Model. 19 (3) (2020)
Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. OSDI (2020)
Hsiang-Shang Ko
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. CoRR (2020)
Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, João Saraiva, Zhenjiang Hu
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. New Gener. Comput. 38 (3) (2020)
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu
Retentive Lenses. CoRR (2020)
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp (2019)
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR (2018)
Anthony Anjorin, Hsiang-Shang Ko
Towards a visual editor for lens combinators (extended abstract). Programming (2018)
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR (2018)
Hsiang-Shang Ko, Zhenjiang Hu
An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. 2 (POPL) (2018)
Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. CoRR (2017)
Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. BX@ETAPS (2017)
Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS (2017)
Hsiang-Shang Ko, Jeremy Gibbons
Programming with ornaments. J. Funct. Program. 27 (2017)
Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu
BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. 12 (2017)
Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
Parsing and reflective printing, bidirectionally. SLE (2016)
Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS (2016)
Zhenjiang Hu, Hsiang-Shang Ko
Principles and Practice of Bidirectional Programming in BiGUL. Bidirectional Transformations (2016)
Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu
BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM (2016)
Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
BiYacc: Roll Your Parser and Reflective Printer into One. Bx@STAF (2015)
Hsiang-Shang Ko, Jeremy Gibbons
Relational algebraic ornaments. DTP@ICFP (2013)
Hsiang-Shang Ko, Jeremy Gibbons
Modularising inductive families. WGP@ICFP (2011)
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19 (5) (2009)
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
Algebra of Programming Using Dependent Types. MPC (2008)

Hsiang-Shang Ko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hsiang-Shang Ko