Publications
 
1. Liang-Ting Chen and Hsiang-Shang Ko, "A formal treatment of bidirectional typing," European Symposium on Programming (ESOP), volume 14576, Lecture Notes in Computer Science, Springer, pages 115–142, 2024.
2. Hsiang-Shang Ko, Liang-Ting Chen, and Tzu-Chi Lin, "Datatype-generic programming meets elaborator reflection," Proceedings of the ACM on Programming Languages, volume 6, number ICFP, pages 98:1–29, August 2022.
3. Liang-Ting Chen and Hsiang-Shang Ko, "Realising intensional S4 and GL modalities," Conference on Computer Science Logic (CSL), volume 216, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl–Leibniz-Zentrum für Informatik, pages 4:1–18, February 2022.
4. Anthony Anjorin, Hsiang-Shang Ko, and Erhan Leblebici, "C-lenses explained: Bx foundations for the rest of us," International Workshop on Bidirectional Transformations (Bx), CEUR-WS.org, pages 1–17, June 2021.
5. Hsiang-Shang Ko, "Programming metamorphic algorithms: An experiment in type-driven algorithm design," The Art, Science, and Engineering of Programming, volume 5, number 2, pages 7:1–34, January 2021.
6. Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, and Yu-Fang Chen, "Determinizing crash behavior with a verified snapshot-consistent flash translation layer," Symposium on Operating Systems Design and Implementation (OSDI), USENIX, pages 81–97, November 2020.
7. Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, and Albert Zündorf, "Benchmarking bidirectional transformations: Theory, implementation, application, and assessment," Software and Systems Modeling, volume 19, pages 647–691, May 2020.
8. Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, João Saraiva, and Zhenjiang Hu, "Unifying parsing and reflective printing for fully disambiguated grammars," New Generation Computing, volume 38, pages 423–476, April 2020.
9. Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, and Zhenjiang Hu, "Towards bidirectional synchronization between communicating processes and session types," Workshop on Software Foundations for Data Interoperability (SFDI), IEEE, February 2019, short paper.
10. Anthony Anjorin and Hsiang-Shang Ko, "Towards a visual editor for lens combinators," International Workshop on Bidirectional Transformations (Bx), ACM, pages 33–35, April 2018, extended abstract.
11. Zhenjiang Hu and Hsiang-Shang Ko, "Principles and practice of bidirectional programming in BiGUL," International Summer School on Bidirectional Transformations (Oxford, UK, 25–29 July 2016), Springer, March 2018.
12. Hsiang-Shang Ko and Zhenjiang Hu, "An axiomatic basis for bidirectional programming," Proceedings of the ACM on Programming Languages, volume 2, number POPL, pages 41:1–29, January 2018.
13. Yongzhe Zhang, Hsiang-Shang Ko, and Zhenjiang Hu, "Palgol: A high-level DSL for vertex-centric graph processing with remote data access," Asian Symposium on Programming Languages and Systems (APLAS), Lecture Notes in Computer Science, 10695, Springer, pages 301–320, November 2017.
14. Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel, "BenchmarX reloaded: A practical benchmark framework for bidirectional transformations," International Workshop on Bidirectional Transformations (Bx), CEUR-WS.org, pages 15–30, April 2017.
15. Hsiang-Shang Ko and Jeremy Gibbons, "Programming with ornaments," Journal of Functional Programming, volume 27, pages e2:1–43, January 2017.
16. Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, and Zhenjiang Hu, "Parsing and reflective printing, bidirectionally," International Conference on Software Language Engineering (SLE), ACM, pages 2–14, October 2016.
17. Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu, "BiGUL: A formally verified core language for putback-based bidirectional programming," Workshop on Partial Evaluation and Program Manipulation (PEPM), ACM, pages 61–72, January 2016.
18. Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, and Zhenjiang Hu, "BiYacc: Roll your parser and reflective printer into one," International Workshop on Bidirectional Transformations (Bx), CEUR-WS.org, pages 43–50, July 2015, tool paper.
19. Hsiang-Shang Ko and Jeremy Gibbons, "Relational algebraic ornaments," Workshop on Dependently Typed Programming (DTP), ACM, pages 37–48, September 2013.
20. Hsiang-Shang Ko and Jeremy Gibbons, "Modularising inductive families," Progress in Informatics, volume 10, pages 65–88, March 2013.
21. Hsiang-Shang Ko and Jeremy Gibbons, "Modularising inductive families," Workshop on Generic Programming (WGP), ACM, pages 13–24, September 2011.
22. Shin-Cheng Mu, Hsiang-Shang Ko, and Patrik Jansson, "Algebra of Programming in Agda: Dependent types for relational program derivation," Journal of Functional Programming, volume 19, number 5, pages 545–579, September 2009.
23. Shin-Cheng Mu, Hsiang-Shang Ko, and Patrik Jansson, "Algebra of Programming using dependent types," International Conference on Mathematics of Program Construction (MPC), Lecture Notes in Computer Science, 5133, Springer, pages 268–283, July 2008.
 
 
bg