Concepedia

Hsiang−Shang Ko

HK

9

Publications

209

Citations

9

H-Index

2009

Active since

Affiliations

National Institute of Informatics(Current)

University of Oxford

Hsiang−Shang Ko is an author at National Institute of Informatics specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisProgram AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringLanguageProgramming Languages

Publications per year

2009–2019

9

Publications

9

BiGUL: a formally verified core language for putback-based bidirectional programming

Hsiang−Shang Ko, Tao Zan, Zhenjiang Hu · 2016 · 61 citations

Engineering, Verification, Computer-aided Verification +24

Algebra of programming in Agda: Dependent types for relational program derivation

Shin-Cheng Mu, Hsiang−Shang Ko, Patrik Jansson · Journal of Functional Programming · 2009 · 34 citations · Full text

Dependent Types, Engineering, Generic Programming +13

Benchmarking bidirectional transformations: theory, implementation, application, and assessment

Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel et al. · Software & Systems Modeling · 2019 · 28 citations

Performance Benchmarking, Benchmarking Tool, Engineering +4

An axiomatic basis for bidirectional programming

Hsiang−Shang Ko, Zhenjiang Hu · Proceedings of the ACM on Programming Languages · 2017 · 19 citations · Full text

Mathematical Programming, Engineering, Verification +21

BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.

Anthony Anjorin, Zinovy Diskin, Frédéric Jouault et al. · 2017 · 16 citations

Engineering, Software Engineering, Computer Science +3

Rows per page

1–5 of 9