| 2024 | ESOP | A Formal Treatment of Bidirectional Typing. | Liang-Ting Chen, Hsiang-Shang Ko |
| 2022 | CSL | Realising Intensional S4 and GL Modalities. | Liang-Ting Chen, Hsiang-Shang Ko |
| 2020 | OSDI | Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. | Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen |
| 2017 | APLAS | Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. | Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu |
| 2016 | PEPM | BiGUL: a formally verified core language for putback-based bidirectional programming. | Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu |
| 2016 | SLE | Parsing and reflective printing, bidirectionally. | Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, Joo Saraiva, Zhenjiang Hu |
| 2013 | ICFP | Relational algebraic ornaments. | Hsiang-Shang Ko, Jeremy Gibbons |
| 2011 | ICFP | Modularising inductive families. | Hsiang-Shang Ko, Jeremy Gibbons |
| 2008 | MPC | Algebra of Programming Using Dependent Types. | Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson |