Hsiang-Shang Ko

J-GLOBAL         Last updated: Oct 5, 2017 at 23:21
 
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
Assistant Professor by Special Appointment

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

 
An axiomatic basis for bidirectional programming
Hsiang-Shang Ko and Zhenjiang Hu
Symposium on Principles of Programming Languages (POPL)      2018   [Refereed]
Palgol: A high-level DSL for vertex-centric graph processing with remote data access
Yongzhe Zhang, Hsiang-Shang Ko, and Zhenjiang Hu
Asian Symposium on Programming Languages and Systems (APLAS)      2017   [Refereed]
Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel
International Workshop on Bidirectional Transformations (BX)   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 (SLE)   2-14   2016   [Refereed]
Tao Zan, Li Liu, Hsiang-Shang Ko, and Zhenjiang Hu
International Workshop on Bidirectional Transformations (BX)   77-89   2016   [Refereed]
Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu
Workshop on Partial Evaluation and Program Manipulation (PEPM)   61-72   2016   [Refereed]
Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, and Zhenjiang Hu
International Workshop on Bidirectional Transformations (BX)   43-50   2015   [Refereed]
Hsiang-Shang Ko
University of Oxford      2014
DPhil thesis
Hsiang-Shang Ko and Jeremy Gibbons
Workshop on Dependently Typed Programming (DTP)   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 (WGP)   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 (MPC)   268-283   2008   [Refereed]