Hsiang-Shang Ko

Citado por

	Todos	Desde 2019
Citações	477	288
Índice h	12	10
Índice i10	15	10

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

Acesso público

Ver todos

4 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Zhenjiang HuProfessor, School of Computer Science, Peking UniversityE-mail confirmado em pku.edu.cn
Jeremy GibbonsProfessor of Computing, University of OxfordE-mail confirmado em cs.ox.ac.uk
Anthony AnjorinZühlke Engineering GmbHE-mail confirmado em zuehlke.com
Zinovy DiskinMcMaster UniversityE-mail confirmado em mcmaster.ca
Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyE-mail confirmado em chalmers.se
Bernhard WestfechtelProfessor for Applied Computer Science, University of Bayreuth, GermanyE-mail confirmado em uni-bayreuth.de
Tao ZanLongyan UniversityE-mail confirmado em lyun.edu.cn
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECE-mail confirmado em di.uminho.pt
Yongzhe ZhangNational Institute of InformaticsE-mail confirmado em nii.ac.jp
Frédéric JouaultESEOE-mail confirmado em eseo.fr
Erhan LeblebiciTechnische Universität DarmstadtE-mail confirmado em es.tu-darmstadt.de
Albert ZündorfKassel UniversityE-mail confirmado em uni-kassel.de
Romina EramoAssistant Professor, Department of Communication Science, University of TeramoE-mail confirmado em unite.it
Leila Samimi-DehkordiAssistant Professor of Shahrekord UniversityE-mail confirmado em sku.ac.ir
Georg HinkelRheinMain University of Applied SciencesE-mail confirmado em hs-rm.de
Liang-Ting ChenInstitute of Information Science, Academia SinicaE-mail confirmado em iis.sinica.edu.tw
Yun-Sheng ChangMITE-mail confirmado em mit.edu
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaE-mail confirmado em iis.sinica.edu.tw
Che-Wei Tsao中央研究院資訊科學研究所E-mail confirmado em iis.sinica.edu.tw
Chun-Feng WuAssistant Professor, National Yang Ming Chiao Tung UniversityE-mail confirmado em cs.nycu.edu.tw

Seguir

Hsiang-Shang Ko

Institute of Information Science, Academia Sinica, Taiwan

E-mail confirmado em iis.sinica.edu.tw - Página inicial

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


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	88	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	68	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	42	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
BiYacc: Roll your parser and reflective printer into one Z Zhu, HS Ko, PMR Martins, JA Saraiva, Z Hu CEUR-Ws, 2015	22	2015
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
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
Principles and practice of bidirectional programming in BiGUL Z Hu, HS Ko Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018	12	2018
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
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	7	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

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores