default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHsiang-Shang Ko
Person information
- affiliation: Academia Sinica, Taiwan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c16]Liang-Ting Chen
, Hsiang-Shang Ko:
A Formal Treatment of Bidirectional Typing. ESOP (1) 2024: 115-142- 2022
- [j8]Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin:
Datatype-generic programming meets elaborator reflection. Proc. ACM Program. Lang. 6(ICFP): 225-253 (2022) - [c15]Liang-Ting Chen, Hsiang-Shang Ko:
Realising Intensional S4 and GL Modalities. CSL 2022: 14:1-14:17 - 2021
- [j7]Hsiang-Shang Ko:
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. Art Sci. Eng. Program. 5(2): 7 (2021) - [c14]Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici:
C-Lenses Explained: Bx Foundations for the Rest of Us. STAF Workshops 2021: 1-17 - [e3]Hsiang-Shang Ko, Dominic Orchard:
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021. ACM 2021, ISBN 978-1-4503-8616-6 [contents] - [i6]Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko:
Weakly Durable High-Performance Transactions. CoRR abs/2110.01465 (2021) - 2020
- [j6]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): 423-476 (2020) - [j5]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): 647-691 (2020) - [c13]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: 81-97 - [i5]Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu:
Retentive Lenses. CoRR abs/2001.02031 (2020) - [i4]Hsiang-Shang Ko:
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. CoRR abs/2010.16302 (2020)
2010 – 2019
- 2019
- [c12]Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu:
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp 2019: 1-5 - [e2]James Cheney, Hsiang-Shang Ko:
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. CEUR Workshop Proceedings 2355, CEUR-WS.org 2019 [contents] - 2018
- [j4]Hsiang-Shang Ko, Zhenjiang Hu:
An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. 2(POPL): 41:1-41:29 (2018) - [c11]Anthony Anjorin, Hsiang-Shang Ko:
Towards a visual editor for lens combinators (extended abstract). Programming 2018: 33-35 - [e1]Fritz Henglein, Hsiang-Shang Ko:
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018. ACM 2018, ISBN 978-1-4503-5587-2 [contents] - [i3]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 abs/1803.06674 (2018) - [i2]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 abs/1809.10357 (2018) - 2017
- [j3]Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu:
BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. 12: 1-23 (2017) - [j2]Hsiang-Shang Ko, Jeremy Gibbons:
Programming with ornaments. J. Funct. Program. 27: e2 (2017) - [c10]Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu:
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS 2017: 301-320 - [c9]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: 15-30 - [i1]Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu:
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. CoRR abs/1703.09542 (2017) - 2016
- [c8]Zhenjiang Hu, Hsiang-Shang Ko:
Principles and Practice of Bidirectional Programming in BiGUL. Bidirectional Transformations 2016: 100-150 - [c7]Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu:
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS 2016: 77-89 - [c6]Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu:
BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM 2016: 61-72 - [c5]Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu:
Parsing and reflective printing, bidirectionally. SLE 2016: 2-14 - 2015
- [c4]Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu:
BiYacc: Roll Your Parser and Reflective Printer into One. Bx@STAF 2015: 43-50 - 2014
- [b1]Hsiang-Shang Ko:
Analysis and synthesis of inductive families. University of Oxford, UK, 2014 - 2013
- [c3]Hsiang-Shang Ko, Jeremy Gibbons:
Relational algebraic ornaments. DTP@ICFP 2013: 37-48 - 2011
- [c2]Hsiang-Shang Ko, Jeremy Gibbons:
Modularising inductive families. WGP@ICFP 2011: 13-24
2000 – 2009
- 2009
- [j1]Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson:
Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19(5): 545-579 (2009) - 2008
- [c1]Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson:
Algebra of Programming Using Dependent Types. MPC 2008: 268-283
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
