Travelled to:
1 × Italy
2 × The Netherlands
Collaborated with:
Z.Hu T.Zan Z.Zhu P.Martins J.Saraiva L.Liu Y.Zhang A.Anjorin Z.Diskin F.Jouault E.Leblebici B.Westfechtel
Talks about:
bidirect (5) transform (2) reflect (2) putback (2) program (2) base (2) framework (1) benchmark (1) benchmar (1) printer (1)
Person: Hsiang-Shang Ko
DBLP: Ko:Hsiang=Shang
Facilitated 2 volumes:
Contributed to:
Wrote 6 papers:
- BX-2015-ZhuKMSH #named #parsing
- BiYacc: Roll Your Parser and Reflective Printer into One (ZZ, HSK, PM, JS, ZH), pp. 43–50.
- SLE-2016-ZhuZK0SH #bidirectional #parsing
- Parsing and reflective printing, bidirectionally (ZZ, YZ, HSK, PM, JS, ZH), pp. 2–14.
- BX-2016-ZanLKH #bidirectional #library #named
- Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views (TZ, LL, HSK, ZH), pp. 77–89.
- BX-2017-AnjorinDJKLW #benchmark #bidirectional #framework #metric
- BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations (AA, ZD, FJ, HSK, EL, BW), pp. 15–30.
- PEPM-2016-KoZH #bidirectional #named #programming
- BiGUL: a formally verified core language for putback-based bidirectional programming (HSK, TZ, ZH), pp. 61–72.
- POPL-2018-KoH #axiom #bidirectional #programming
- An axiomatic basis for bidirectional programming (HSK, ZH), p. 29.