Seguir
Hsiang-Shang Ko
Hsiang-Shang Ko
Institute of Information Science, Academia Sinica, Taiwan
Email confirmado em iis.sinica.edu.tw - Página inicial
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
882016
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
672017
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
572009
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
422020
An axiomatic basis for bidirectional programming
HS Ko, Z Hu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
292017
Modularising inductive families
HS KO, J GIBBONS
Progress in Informatics, 65-88, 2013
262013
BiYacc: Roll your parser and reflective printer into one
Z Zhu, HS Ko, PMR Martins, JA Saraiva, Z Hu
CEUR-Ws, 2015
222015
Parsing and reflective printing, bidirectionally
Z Zhu, Y Zhang, HS Ko, P Martins, J Saraiva, Z Hu
Software Language Engineering, 2-14, 2016
212016
Programming with ornaments
HS Ko, J Gibbons
Journal of Functional Programming 27, e2, 2017
192017
Algebra of Programming using dependent types
SC Mu, HS Ko, P Jansson
International Conference on Mathematics of Program Construction, 268-283, 2008
182008
Relational algebraic ornaments
HS Ko, J Gibbons
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed …, 2013
172013
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
142016
Principles and practice of bidirectional programming in BiGUL
Z Hu, HS Ko
Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018
132018
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
132017
Analysis and synthesis of inductive families
H Ko
Oxford University, UK, 2014
122014
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
72020
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
52020
Realising Intensional S4 and GL Modalities
LT Chen, HS Ko
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
32022
Programming metamorphic algorithms: an experiment in type-driven algorithm design
HS Ko
arXiv preprint arXiv:2010.16302, 2020
32020
Weakly Durable High-Performance Transactions
YS Chang, YF Chen, HS Ko
arXiv preprint arXiv:2110.01465, 2021
12021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20