Hsiang-Shang Ko

Cited by

	All	Since 2017
Citations	376	294
h-index	11	10
i10-index	14	12

200920102011201220132014201520162017201820192020202120225 3 8 5 11 10 10 29 45 59 52 73 51 14

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
Anthony AnjorinIAV - Automotive EngineeringVerified email at iav.de
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Zinovy DiskinMcMaster UniversityVerified email at mcmaster.ca
Bernhard WestfechtelProfessor for Applied Computer Science, University of Bayreuth, GermanyVerified email at uni-bayreuth.de
Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
João SaraivaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Frédéric JouaultESEOVerified email at eseo.fr
Erhan LeblebiciTechnische Universität DarmstadtVerified email at es.tu-darmstadt.de
Yongzhe ZhangNational Institute of InformaticsVerified email at nii.ac.jp
Albert ZündorfKassel UniversityVerified email at uni-kassel.de
Romina EramoAssistant Professor, Department of Information Engineering, Computer Science and Mathematics (DISIMVerified email at univaq.it
Georg HinkelTecan Software Competence Center GmbHVerified email at tecan.com
Leila Samimi-DehkordiAssistant Professor of Shahrekord UniversityVerified email at sku.ac.ir
Keigo ImaiGifu UniversityVerified email at gifu-u.ac.jp
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk

Hsiang-Shang Ko

Institute of Information Science, Academia Sinica, Taiwan

Verified email at iis.sinica.edu.tw - Homepage

Dependently Typed Programming Datatype-Generic Programming Bidirectional Programming Algebra of Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
BiGUL: a formally verified core language for putback-based bidirectional programming HS Ko, T Zan, Z Hu Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016	78	2016
Benchmarx Reloaded: A Practical Benchmark Framework for Bidirectional Transformations A Anjorin, Z Diskin, F Jouault, HS Ko, E Leblebici, B Westfechtel International Workshop on Bidirectional Transformations, 15–30, 2017	53	2017
Algebra of Programming in Agda: Dependent types for relational program derivation SC Mu, HS Ko, P Jansson Journal of Functional Programming 19 (05), 545-579, 2009	51	2009
Benchmarking bidirectional transformations: theory, implementation, application, and assessment A Anjorin, T Buchmann, B Westfechtel, Z Diskin, HS Ko, R Eramo, ... Software and systems modeling 19 (3), 647-691, 2020	26	2020
Modularising inductive families HS KO, J GIBBONS Progress in Informatics, 65-88, 2013	23	2013
An axiomatic basis for bidirectional programming HS Ko, Z Hu Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	20	2017
BiYacc: Roll your parser and reflective printer into one Z Zhu, HS Ko, PMR Martins, JA Saraiva, Z Hu CEUR-Ws, 2015	19	2015
Relational algebraic ornaments HS Ko, J Gibbons Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed …, 2013	17	2013
Algebra of Programming using dependent types SC Mu, HS Ko, P Jansson International Conference on Mathematics of Program Construction, 268-283, 2008	16	2008
Parsing and reflective printing, bidirectionally Z Zhu, Y Zhang, HS Ko, P Martins, J Saraiva, Z Hu Software Language Engineering, 2-14, 2016	15	2016
Programming with ornaments HS Ko, J Gibbons Journal of Functional Programming 27, e2, 2017	12	2017
Brul: A putback-based bidirectional transformation library for updatable views T Zan, L Liu, HS Ko, Z Hu International Workshop on Bidirectional Transformations, 77-89, 2016	11	2016
Analysis and synthesis of inductive families HS Ko Oxford University, UK, 2014	11	2014
Palgol: A high-level DSL for vertex-centric graph processing with remote data access Y Zhang, HS Ko, Z Hu Asian Symposium on Programming Languages and Systems, 301-320, 2017	10	2017
Principles and practice of bidirectional programming in BiGUL Z Hu, HS Ko Bidirectional Transformations, 100-150, 2018	9	2018
Unifying parsing and reflective printing for fully disambiguated grammars Z Zhu, HS Ko, Y Zhang, P Martins, J Saraiva, Z Hu New Generation Computing 38 (3), 423-476, 2020	3	2020
Determinizing Crash Behavior with a Verified {Snapshot-Consistent} Flash Translation Layer YS Chang, Y Hsiao, TC Lin, CW Tsao, CF Wu, YH Chang, HS Ko, ... 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020	2	2020
Weakly Durable High-Performance Transactions YS Chang, YF Chen, HS Ko arXiv preprint arXiv:2110.01465, 2021		2021
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design HS Ko arXiv preprint arXiv:2010.16302, 2020		2020
Retentive Lenses Z Zhu, Z Yang, HS Ko, Z Hu arXiv preprint arXiv:2001.02031, 2020		2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors