Hsiang-Shang Ko

J-GLOBAL         Last updated: Jun 20, 2017 at 13:31
 
Avatar
Name
Hsiang-Shang Ko
Nickname
Josh Ko
E-mail
hsiang-shangnii.ac.jp
URL
https://josh-hs-ko.github.io
Affiliation
National Institute of Informatics
Job title
Project Researcher

Education

 
Oct 2010
 - 
Aug 2014
Doctor of Philosophy, Department of Computer Science, University of Oxford
 
Sep 2005
 - 
Jun 2009
Bachelor of Science, Department of Computer Science and Information Engineering, National Taiwan University
 

Published Papers

 
Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel
International Workshop on Bidirectional Transformations   15-30   2017   [Refereed]
Hsiang-Shang Ko and Jeremy Gibbons
Journal of Functional Programming   27(e2) 1-43   2017   [Refereed]
Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, Jõao Saraiva, and Zhenjiang Hu
International Conference on Software Language Engineering   2-14   2016   [Refereed]
Tao Zan, Li Liu, Hsiang-Shang Ko, and Zhenjiang Hu
International Workshop on Bidirectional Transformations   77-89   2016   [Refereed]
Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu
Workshop on Partial Evaluation and Program Manipulation   61-72   2016   [Refereed]
Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, and Zhenjiang Hu
International Workshop on Bidirectional Transformations   43-50   2015   [Refereed]
Hsiang-Shang Ko
University of Oxford      2014
DPhil thesis
Hsiang-Shang Ko and Jeremy Gibbons
Workshop on Dependently Typed Programming   37-48   2013   [Refereed]
Hsiang-Shang Ko and Jeremy Gibbons
Progress in Informatics   10 65-88   2013   [Refereed]
Hsiang-Shang Ko and Jeremy Gibbons
Workshop on Generic Programming   13-24   2011   [Refereed]
Shin-Cheng Mu, Hsiang-Shang Ko, and Patrik Jansson
Journal of Functional Programming   19(5) 545-579   2009   [Refereed]
Shin-Cheng Mu, Hsiang-Shang Ko, and Patrik Jansson
International Conference on Mathematics of Program Construction   268-283   2008   [Refereed]