Hsiang-Shang Ko
Hsiang-Shang Ko
Institute of Information Science, Academia Sinica, Taiwan
Bestätigte E-Mail-Adresse bei iis.sinica.edu.tw - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
742016
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
512009
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
502017
Modularising inductive families
HS KO, J GIBBONS
Progress in Informatics, 65-88, 2013
232013
An axiomatic basis for bidirectional programming
HS Ko, Z Hu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
212017
BiYacc: Roll your parser and reflective printer into one
Z Zhu, HS Ko, PMR Martins, JA Saraiva, Z Hu
CEUR-Ws, 2015
192015
Relational algebraic ornaments
HS Ko, J Gibbons
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed …, 2013
182013
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
162020
Algebra of Programming using dependent types
SC Mu, HS Ko, P Jansson
International Conference on Mathematics of Program Construction, 268-283, 2008
162008
Parsing and reflective printing, bidirectionally
Z Zhu, Y Zhang, HS Ko, P Martins, J Saraiva, Z Hu
Software Language Engineering, 2-14, 2016
152016
Programming with ornaments
HS Ko, J Gibbons
Journal of Functional Programming 27, e2, 2017
122017
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
112016
Analysis and synthesis of inductive families
HS Ko
Oxford University, UK, 2014
112014
Principles and practice of bidirectional programming in BiGUL
Z Hu, HS Ko
Bidirectional Transformations, 100-150, 2018
82018
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
72017
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
32020
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 …, 2020
22020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20