Hsiang-Shang Ko

35 papers A* 1B 4C 2Journal 15Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Binomial Tabulation: A Short Story. CoRR Hsiang-Shang Ko, Shin-Cheng Mu, Jeremy Gibbons
2024	—	`conf`	A Formal Treatment of Bidirectional Typing. ESOP (1) Liang-Ting Chen, Hsiang-Shang Ko
2022	J	`jnl`	Datatype-generic programming meets elaborator reflection. Proc. ACM Program. Lang. Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin
2022	B	`conf`	Realising Intensional S4 and GL Modalities. CSL Liang-Ting Chen, Hsiang-Shang Ko
2021	—	`conf`	C-Lenses Explained: Bx Foundations for the Rest of Us. STAF Workshops Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici
2021	J	`jnl`	Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. Art Sci. Eng. Program. Hsiang-Shang Ko
2021	—	`ed.`	TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021 TyDe@ICFP Hsiang-Shang Ko, Dominic Orchard
2021	J	`jnl`	Weakly Durable High-Performance Transactions. CoRR Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko
2020	J	`jnl`	Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Softw. Syst. Model. Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf
2020	A*	`conf`	Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. OSDI Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen
2020	J	`jnl`	Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. CoRR Hsiang-Shang Ko
2020	J	`jnl`	Retentive Lenses. CoRR Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu
2020	J	`jnl`	Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. New Gener. Comput. Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, João Saraiva, Zhenjiang Hu
2019	—	`ed.`	Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019. Bx@PLW James Cheney, Hsiang-Shang Ko
2019	—	`conf`	Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
2018	J	`jnl`	A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR 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
2018	J	`jnl`	An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. Hsiang-Shang Ko, Zhenjiang Hu
2018	J	`jnl`	Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR 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
2018	C	`ed.`	Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018 PEPM Fritz Henglein, Hsiang-Shang Ko
2018	—	`conf`	Towards a visual editor for lens combinators (extended abstract). Programming Anthony Anjorin, Hsiang-Shang Ko
2017	—	`conf`	BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. BX@ETAPS Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel
2017	J	`jnl`	BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu
2017	B	`conf`	Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
2017	J	`jnl`	Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. CoRR Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
2017	J	`jnl`	Programming with ornaments. J. Funct. Program. Hsiang-Shang Ko, Jeremy Gibbons
2016	C	`conf`	BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu
2016	—	`conf`	Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
2016	B	`conf`	Parsing and reflective printing, bidirectionally. SLE Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
2016	—	`conf`	Principles and Practice of Bidirectional Programming in BiGUL. Bidirectional Transformations Zhenjiang Hu, Hsiang-Shang Ko
2015	—	`conf`	BiYacc: Roll Your Parser and Reflective Printer into One. Bx@STAF Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
2014	—	`—`	Analysis and synthesis of inductive families. Hsiang-Shang Ko
2013	—	`conf`	Relational algebraic ornaments. DTP@ICFP Hsiang-Shang Ko, Jeremy Gibbons
2011	—	`conf`	Modularising inductive families. WGP@ICFP Hsiang-Shang Ko, Jeremy Gibbons
2009	J	`jnl`	Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
2008	B	`conf`	Algebra of Programming Using Dependent Types. MPC Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson