BibTeX records: Hsiang-Shang Ko

download as .bib file

@article{DBLP:journals/corr/abs-2503-04001,
  author       = {Hsiang{-}Shang Ko and
                  Shin{-}Cheng Mu and
                  Jeremy Gibbons},
  title        = {Binomial Tabulation: {A} Short Story},
  journal      = {CoRR},
  volume       = {abs/2503.04001},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2503.04001},
  doi          = {10.48550/ARXIV.2503.04001},
  eprinttype    = {arXiv},
  eprint       = {2503.04001},
  timestamp    = {Fri, 11 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2503-04001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/ChenK24,
  author       = {Liang{-}Ting Chen and
                  Hsiang{-}Shang Ko},
  editor       = {Stephanie Weirich},
  title        = {A Formal Treatment of Bidirectional Typing},
  booktitle    = {Programming Languages and Systems - 33rd European Symposium on Programming,
                  {ESOP} 2024, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
                  April 6-11, 2024, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14576},
  pages        = {115--142},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57262-3\_5},
  doi          = {10.1007/978-3-031-57262-3\_5},
  timestamp    = {Sat, 08 Jun 2024 13:13:57 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/ChenK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/KoCL22,
  author       = {Hsiang{-}Shang Ko and
                  Liang{-}Ting Chen and
                  Tzu{-}Chi Lin},
  title        = {Datatype-generic programming meets elaborator reflection},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{ICFP}},
  pages        = {225--253},
  year         = {2022},
  url          = {https://doi.org/10.1145/3547629},
  doi          = {10.1145/3547629},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/KoCL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/ChenK22,
  author       = {Liang{-}Ting Chen and
                  Hsiang{-}Shang Ko},
  editor       = {Florin Manea and
                  Alex Simpson},
  title        = {Realising Intensional {S4} and {GL} Modalities},
  booktitle    = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
                  G{\"{o}}ttingen, Germany (Virtual Conference), February 14-19,
                  2022},
  series       = {LIPIcs},
  volume       = {216},
  pages        = {14:1--14:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2022.14},
  doi          = {10.4230/LIPICS.CSL.2022.14},
  timestamp    = {Fri, 21 Nov 2025 14:06:54 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/ChenK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/programming/Ko21,
  author       = {Hsiang{-}Shang Ko},
  title        = {Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm
                  Design},
  journal      = {Art Sci. Eng. Program.},
  volume       = {5},
  number       = {2},
  pages        = {7},
  year         = {2021},
  url          = {https://doi.org/10.22152/programming-journal.org/2021/5/7},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/Ko21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/AnjorinKL21,
  author       = {Anthony Anjorin and
                  Hsiang{-}Shang Ko and
                  Erhan Leblebici},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {C-Lenses Explained: Bx Foundations for the Rest of Us},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {1--17},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/bxpaper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/AnjorinKL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfp/2021tyde,
  editor       = {Hsiang{-}Shang Ko and
                  Dominic Orchard},
  title        = {TyDe 2021: Proceedings of the 6th {ACM} {SIGPLAN} International Workshop
                  on Type-Driven Development, Virtual Event, Korea, 22 August 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3471875?af=R},
  doi          = {10.1145/3471875?AF=R},
  isbn         = {978-1-4503-8616-6},
  timestamp    = {Mon, 23 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/2021tyde.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2110-01465,
  author       = {Yun{-}Sheng Chang and
                  Yu{-}Fang Chen and
                  Hsiang{-}Shang Ko},
  title        = {Weakly Durable High-Performance Transactions},
  journal      = {CoRR},
  volume       = {abs/2110.01465},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.01465},
  eprinttype    = {arXiv},
  eprint       = {2110.01465},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-01465.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ngc/ZhuKZMSH20,
  author       = {Zirun Zhu and
                  Hsiang{-}Shang Ko and
                  Yongzhe Zhang and
                  Pedro Martins and
                  Jo{\~{a}}o Saraiva and
                  Zhenjiang Hu},
  title        = {Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars},
  journal      = {New Gener. Comput.},
  volume       = {38},
  number       = {3},
  pages        = {423--476},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00354-019-00082-y},
  doi          = {10.1007/S00354-019-00082-Y},
  timestamp    = {Fri, 30 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ngc/ZhuKZMSH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/AnjorinBWDKEHSZ20,
  author       = {Anthony Anjorin and
                  Thomas Buchmann and
                  Bernhard Westfechtel and
                  Zinovy Diskin and
                  Hsiang{-}Shang Ko and
                  Romina Eramo and
                  Georg Hinkel and
                  Leila Samimi{-}Dehkordi and
                  Albert Z{\"{u}}ndorf},
  title        = {Benchmarking bidirectional transformations: theory, implementation,
                  application, and assessment},
  journal      = {Softw. Syst. Model.},
  volume       = {19},
  number       = {3},
  pages        = {647--691},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10270-019-00752-x},
  doi          = {10.1007/S10270-019-00752-X},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/AnjorinBWDKEHSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/ChangHLTWCKC20,
  author       = {Yun{-}Sheng Chang and
                  Yao Hsiao and
                  Tzu{-}Chi Lin and
                  Che{-}Wei Tsao and
                  Chun{-}Feng Wu and
                  Yuan{-}Hao Chang and
                  Hsiang{-}Shang Ko and
                  Yu{-}Fang Chen},
  title        = {Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash
                  Translation Layer},
  booktitle    = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2020, Virtual Event, November 4-6, 2020},
  pages        = {81--97},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/osdi20/presentation/chang},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/ChangHLTWCKC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2001-02031,
  author       = {Zirun Zhu and
                  Zhixuan Yang and
                  Hsiang{-}Shang Ko and
                  Zhenjiang Hu},
  title        = {Retentive Lenses},
  journal      = {CoRR},
  volume       = {abs/2001.02031},
  year         = {2020},
  url          = {http://arxiv.org/abs/2001.02031},
  eprinttype    = {arXiv},
  eprint       = {2001.02031},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-02031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2010-16302,
  author       = {Hsiang{-}Shang Ko},
  title        = {Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm
                  Design},
  journal      = {CoRR},
  volume       = {abs/2010.16302},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.16302},
  eprinttype    = {arXiv},
  eprint       = {2010.16302},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-16302.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bigcomp/GuoKIYH19,
  author       = {Liye Guo and
                  Hsiang{-}Shang Ko and
                  Keigo Imai and
                  Nobuko Yoshida and
                  Zhenjiang Hu},
  title        = {Towards Bidirectional Synchronization Between Communicating Processes
                  and Session Types},
  booktitle    = {{IEEE} International Conference on Big Data and Smart Computing, BigComp
                  2019, Kyoto, Japan, February 27 - March 2, 2019},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/BIGCOMP.2019.8679265},
  doi          = {10.1109/BIGCOMP.2019.8679265},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bigcomp/GuoKIYH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/bx/2019,
  editor       = {James Cheney and
                  Hsiang{-}Shang Ko},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2355},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2355},
  urn          = {urn:nbn:de:0074-2355-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bx/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/KoH18,
  author       = {Hsiang{-}Shang Ko and
                  Zhenjiang Hu},
  title        = {An axiomatic basis for bidirectional programming},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{POPL}},
  pages        = {41:1--41:29},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158129},
  doi          = {10.1145/3158129},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/KoH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programming/AnjorinK18,
  author       = {Anthony Anjorin and
                  Hsiang{-}Shang Ko},
  editor       = {Stefan Marr and
                  Jennifer B. Sartor},
  title        = {Towards a visual editor for lens combinators (extended abstract)},
  booktitle    = {Conference Companion of the 2nd International Conference on Art, Science,
                  and Engineering of Programming, Nice, France, April 09-12, 2018},
  pages        = {33--35},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191697.3191719},
  doi          = {10.1145/3191697.3191719},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programming/AnjorinK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pepm/2018,
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3175493},
  doi          = {10.1145/3175493},
  isbn         = {978-1-4503-5587-2},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1803-06674,
  author       = {Yasuhito Asano and
                  Soichiro Hidaka and
                  Zhenjiang Hu and
                  Yasunori Ishihara and
                  Hiroyuki Kato and
                  Hsiang{-}Shang Ko and
                  Keisuke Nakano and
                  Makoto Onizuka and
                  Yuya Sasaki and
                  Toshiyuki Shimizu and
                  Kanae Tsushima and
                  Masatoshi Yoshikawa},
  title        = {A View-based Programmable Architecture for Controlling and Integrating
                  Decentralized Data},
  journal      = {CoRR},
  volume       = {abs/1803.06674},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.06674},
  eprinttype    = {arXiv},
  eprint       = {1803.06674},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-06674.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1809-10357,
  author       = {Yasuhito Asano and
                  Soichiro Hidaka and
                  Zhenjiang Hu and
                  Yasunori Ishihara and
                  Hiroyuki Kato and
                  Hsiang{-}Shang Ko and
                  Keisuke Nakano and
                  Makoto Onizuka and
                  Yuya Sasaki and
                  Toshiyuki Shimizu and
                  Van{-}Dang Tran and
                  Kanae Tsushima and
                  Masatoshi Yoshikawa},
  title        = {Making View Update Strategies Programmable - Toward Controlling and
                  Sharing Distributed Data -},
  journal      = {CoRR},
  volume       = {abs/1809.10357},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.10357},
  eprinttype    = {arXiv},
  eprint       = {1809.10357},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-10357.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/imt/Zan0KH17,
  author       = {Tao Zan and
                  Hugo Pacheco and
                  Hsiang{-}Shang Ko and
                  Zhenjiang Hu},
  title        = {BiFluX: {A} Bidirectional Functional Update Language for {XML}},
  journal      = {Inf. Media Technol.},
  volume       = {12},
  pages        = {1--23},
  year         = {2017},
  url          = {https://doi.org/10.11185/imt.12.1},
  doi          = {10.11185/IMT.12.1},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/imt/Zan0KH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/KoG17,
  author       = {Hsiang{-}Shang Ko and
                  Jeremy Gibbons},
  title        = {Programming with ornaments},
  journal      = {J. Funct. Program.},
  volume       = {27},
  pages        = {e2},
  year         = {2017},
  url          = {https://doi.org/10.1017/S0956796816000307},
  doi          = {10.1017/S0956796816000307},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/KoG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhangKH17,
  author       = {Yongzhe Zhang and
                  Hsiang{-}Shang Ko and
                  Zhenjiang Hu},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Palgol: {A} High-Level {DSL} for Vertex-Centric Graph Processing with
                  Remote Data Access},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {301--320},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_15},
  doi          = {10.1007/978-3-319-71237-6\_15},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhangKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/etaps/AnjorinDJKLW17,
  author       = {Anthony Anjorin and
                  Zinovy Diskin and
                  Fr{\'{e}}d{\'{e}}ric Jouault and
                  Hsiang{-}Shang Ko and
                  Erhan Leblebici and
                  Bernhard Westfechtel},
  editor       = {Romina Eramo and
                  Michael Johnson},
  title        = {BenchmarX Reloaded: {A} Practical Benchmark Framework for Bidirectional
                  Transformations},
  booktitle    = {Proceedings of the 6th International Workshop on Bidirectional Transformations
                  co-located with The European Joint Conferences on Theory and Practice
                  of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1827},
  pages        = {15--30},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1827/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},
  biburl       = {https://dblp.org/rec/conf/etaps/AnjorinDJKLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ZhangKH17,
  author       = {Yongzhe Zhang and
                  Hsiang{-}Shang Ko and
                  Zhenjiang Hu},
  title        = {Palgol: {A} High-Level {DSL} for Vertex-Centric Graph Processing with
                  Remote Data Access},
  journal      = {CoRR},
  volume       = {abs/1703.09542},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.09542},
  eprinttype    = {arXiv},
  eprint       = {1703.09542},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ZhangKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/HuK16,
  author       = {Zhenjiang Hu and
                  Hsiang{-}Shang Ko},
  editor       = {Jeremy Gibbons and
                  Perdita Stevens},
  title        = {Principles and Practice of Bidirectional Programming in BiGUL},
  booktitle    = {Bidirectional Transformations - International Summer School, Oxford,
                  UK, July 25-29, 2016, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9715},
  pages        = {100--150},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-79108-1\_4},
  doi          = {10.1007/978-3-319-79108-1\_4},
  timestamp    = {Fri, 30 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ac/HuK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/etaps/ZanLKH16,
  author       = {Tao Zan and
                  Li Liu and
                  Hsiang{-}Shang Ko and
                  Zhenjiang Hu},
  editor       = {Anthony Anjorin and
                  Jeremy Gibbons},
  title        = {Brul: {A} Putback-Based Bidirectional Transformation Library for Updatable
                  Views},
  booktitle    = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
                  Bx 2016, co-located with The European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 8, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1571},
  pages        = {77--89},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1571/paper\_3.pdf},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etaps/ZanLKH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/KoZH16,
  author       = {Hsiang{-}Shang Ko and
                  Tao Zan and
                  Zhenjiang Hu},
  editor       = {Martin Erwig and
                  Tiark Rompf},
  title        = {BiGUL: a formally verified core language for putback-based bidirectional
                  programming},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
                  20 - 22, 2016},
  pages        = {61--72},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2847538.2847544},
  doi          = {10.1145/2847538.2847544},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/KoZH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sle/ZhuZK0SH16,
  author       = {Zirun Zhu and
                  Yongzhe Zhang and
                  Hsiang{-}Shang Ko and
                  Pedro Martins and
                  Jo{\~{a}}o Saraiva and
                  Zhenjiang Hu},
  editor       = {Tijs van der Storm and
                  Emilie Balland and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Parsing and reflective printing, bidirectionally},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
                  Software Language Engineering, Amsterdam, The Netherlands, October
                  31 - November 1, 2016},
  pages        = {2--14},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2997369},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/ZhuZK0SH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/ZhuK0SH15,
  author       = {Zirun Zhu and
                  Hsiang{-}Shang Ko and
                  Pedro Martins and
                  Jo{\~{a}}o Saraiva and
                  Zhenjiang Hu},
  editor       = {Alcino Cunha and
                  Ekkart Kindler},
  title        = {BiYacc: Roll Your Parser and Reflective Printer into One},
  booktitle    = {Proceedings of the 4th International Workshop on Bidirectional Transformations
                  co-located with Software Technologies: Applications and Foundations,
                  {STAF} 2015, L'Aquila, Italy, July 24, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1396},
  pages        = {43--50},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1396/p43-zhu.pdf},
  timestamp    = {Sat, 31 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/ZhuK0SH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Ko14,
  author       = {Hsiang{-}Shang Ko},
  title        = {Analysis and synthesis of inductive families},
  school       = {University of Oxford, {UK}},
  year         = {2014},
  url          = {http://ora.ox.ac.uk/objects/uuid:2bc39bde-ce59-4a49-b499-3afdf174bbab},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Ko14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/KoG13,
  author       = {Hsiang{-}Shang Ko and
                  Jeremy Gibbons},
  editor       = {Stephanie Weirich},
  title        = {Relational algebraic ornaments},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409.2502413},
  doi          = {10.1145/2502409.2502413},
  timestamp    = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/KoG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/KoG11,
  author       = {Hsiang{-}Shang Ko and
                  Jeremy Gibbons},
  editor       = {Jaakko J{\"{a}}rvi and
                  Shin{-}Cheng Mu},
  title        = {Modularising inductive families},
  booktitle    = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
                  WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2036918.2036921},
  doi          = {10.1145/2036918.2036921},
  timestamp    = {Sun, 02 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/KoG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MuKJ09,
  author       = {Shin{-}Cheng Mu and
                  Hsiang{-}Shang Ko and
                  Patrik Jansson},
  title        = {Algebra of programming in Agda: Dependent types for relational program
                  derivation},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {5},
  pages        = {545--579},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007345},
  doi          = {10.1017/S0956796809007345},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MuKJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/MuKJ08,
  author       = {Shin{-}Cheng Mu and
                  Hsiang{-}Shang Ko and
                  Patrik Jansson},
  editor       = {Philippe Audebaud and
                  Christine Paulin{-}Mohring},
  title        = {Algebra of Programming Using Dependent Types},
  booktitle    = {Mathematics of Program Construction, 9th International Conference,
                  {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5133},
  pages        = {268--283},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70594-9\_15},
  doi          = {10.1007/978-3-540-70594-9\_15},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/MuKJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.