Hsiang-Shang Ko

Cited by

	All	Since 2019
Citations	470	281
h-index	12	9
i10-index	15	9

20092010201120122013201420152016201720182019202020212022202320245 2 13 5 14 7 10 32 41 58 55 80 52 44 41 9

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
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Anthony AnjorinZühlke Engineering GmbHVerified email at zuehlke.com
Zinovy DiskinMcMaster UniversityVerified email at mcmaster.ca
Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Bernhard WestfechtelProfessor for Applied Computer Science, University of Bayreuth, GermanyVerified email at uni-bayreuth.de
Tao ZanLongyan UniversityVerified email at lyun.edu.cn
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECVerified email at di.uminho.pt
Yongzhe ZhangNational Institute of InformaticsVerified email at nii.ac.jp
Frédéric JouaultESEOVerified email at eseo.fr
Erhan LeblebiciTechnische Universität DarmstadtVerified email at es.tu-darmstadt.de
Albert ZündorfKassel UniversityVerified email at uni-kassel.de
Romina EramoAssistant Professor, Department of Communication Science, University of TeramoVerified email at unite.it
Leila Samimi-DehkordiAssistant Professor of Shahrekord UniversityVerified email at sku.ac.ir
Liang-Ting ChenInstitute of Information Science, Academia SinicaVerified email at iis.sinica.edu.tw
Yun-Sheng ChangMITVerified email at mit.edu
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaVerified email at iis.sinica.edu.tw
Che-Wei Tsao中央研究院資訊科學研究所Verified email at iis.sinica.edu.tw
Chun-Feng WuAssistant Professor, National Yang Ming Chiao Tung UniversityVerified email at cs.nycu.edu.tw
Yao HsiaoStanford UniversityVerified email at stanford.edu

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	86	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	67	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	57	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, 647-691, 2020	41	2020
An axiomatic basis for bidirectional programming HS Ko, Z Hu Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	29	2017
Modularising inductive families HS KO, J GIBBONS Progress in Informatics, 65-88, 2013	26	2013
Parsing and reflective printing, bidirectionally Z Zhu, Y Zhang, HS Ko, P Martins, J Saraiva, Z Hu Software Language Engineering, 2-14, 2016	21	2016
BiYacc: Roll your parser and reflective printer into one Z Zhu, HS Ko, PMR Martins, JA Saraiva, Z Hu CEUR-Ws, 2015	21	2015
Programming with ornaments HS Ko, J Gibbons Journal of Functional Programming 27, e2, 2017	19	2017
Algebra of Programming using dependent types SC Mu, HS Ko, P Jansson International Conference on Mathematics of Program Construction, 268-283, 2008	18	2008
Relational algebraic ornaments HS Ko, J Gibbons Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed …, 2013	17	2013
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	14	2016
Palgol: A high-level DSL for vertex-centric graph processing with remote data access Y Zhang, HS Ko, Z Hu Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017	12	2017
Analysis and synthesis of inductive families H Ko Oxford University, UK, 2014	12	2014
Principles and practice of bidirectional programming in BiGUL Z Hu, HS Ko Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018	11	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	6	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	5	2020
Realising Intensional S4 and GL Modalities LT Chen, HS Ko 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022	3	2022
Programming metamorphic algorithms: an experiment in type-driven algorithm design HS Ko arXiv preprint arXiv:2010.16302, 2020	3	2020
Weakly Durable High-Performance Transactions YS Chang, YF Chen, HS Ko arXiv preprint arXiv:2110.01465, 2021	1	2021

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

Cited by

Co-authors