( en | de | ru )

 

Disambiguation of "Ko, Hsiang-Shang"

Author of the publication

copydeleteadd this publication to your clipboard
Benchmarking bidirectional transformations: theory, implementation, application, and assessment.

, , , , , , , , and . Softw. Syst. Model., 19 (3): 647-691 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hsiang-Shang Ko

Hsiang Kuang

Li Shang

Huiping Shang

Heping Shang

 

Other publications of authors with the same name

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars., , , , , and . New Gener. Comput., 38 (3): 423-476 (2020)Towards Bidirectional Synchronization Between Communicating Processes and Session Types., , , , and . BigComp, page 1-5. IEEE, (2019)A Formal Treatment of Bidirectional Typing., and . ESOP (1), volume 14576 of Lecture Notes in Computer Science, page 115-142. Springer, (2024)Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design.. Art Sci. Eng. Program., 5 (2): 7 (2021)Datatype-generic programming meets elaborator reflection., , and . Proc. ACM Program. Lang., 6 (ICFP): 225-253 (2022)C-Lenses Explained: Bx Foundations for the Rest of Us., , and . STAF Workshops, volume 2999 of CEUR Workshop Proceedings, page 1-17. CEUR-WS.org, (2021)Retentive Lenses., , , and . CoRR, (2020)Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design.. CoRR, (2020)Benchmarking bidirectional transformations: theory, implementation, application, and assessment., , , , , , , , and . Softw. Syst. Model., 19 (3): 647-691 (2020)Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer., , , , , , , and . OSDI, page 81-97. USENIX Association, (2020)