Hsiang-Shang Ko

According to our database, Hsiang-Shang Ko authored at least 28 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Formal Treatment of Bidirectional Typing.

Liang-Ting Chen, Hsiang-Shang Ko

Proceedings of the Programming Languages and Systems, 2024

2022

Datatype-generic programming meets elaborator reflection.

Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin

Proc. ACM Program. Lang., 2022

Realising Intensional S4 and GL Modalities.

Liang-Ting Chen, Hsiang-Shang Ko

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design.

Hsiang-Shang Ko

Art Sci. Eng. Program., 2021

Weakly Durable High-Performance Transactions.

Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko

CoRR, 2021

C-Lenses Explained: Bx Foundations for the Rest of Us.

Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici

Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

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

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars.

Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, João Saraiva, Zhenjiang Hu

New Gener. Comput., 2020

Retentive Lenses.

Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu

CoRR, 2020

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, Hsiang-Shang Ko, Yu-Fang Chen

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Towards Bidirectional Synchronization Between Communicating Processes and Session Types.

Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

2018

An axiomatic basis for bidirectional programming.

Hsiang-Shang Ko, Zhenjiang Hu

Proc. ACM Program. Lang., 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, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa

CoRR, 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, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa

CoRR, 2018

Towards a visual editor for lens combinators (extended abstract).

Anthony Anjorin, Hsiang-Shang Ko

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017

Programming with ornaments.

Hsiang-Shang Ko, Jeremy Gibbons

J. Funct. Program., 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

Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access.

Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Parsing and reflective printing, bidirectionally.

Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

BiGUL: a formally verified core language for putback-based bidirectional programming.

Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views.

Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

Principles and Practice of Bidirectional Programming in BiGUL.

Zhenjiang Hu, Hsiang-Shang Ko

Proceedings of the Bidirectional Transformations, 2016

2015

BiYacc: Roll Your Parser and Reflective Printer into One.

Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu

Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

2014

Analysis and synthesis of inductive families.

Hsiang-Shang Ko

PhD thesis, 2014

2013

Relational algebraic ornaments.

Hsiang-Shang Ko, Jeremy Gibbons

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013

2011

Modularising inductive families.

Hsiang-Shang Ko, Jeremy Gibbons

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2009

Algebra of programming in Agda: Dependent types for relational program derivation.

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson

J. Funct. Program., 2009

2008

Algebra of Programming Using Dependent Types.

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008