| 2020 | FLOPS | Declarative Pearl: Deriving Monadic Quicksort. | Shin-Cheng Mu, Tsung-Ju Chiang |
| 2019 | MPC | Handling Local State with Global State. | Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu |
| 2018 | FLOPS | Functional Pearl: Folding Polynomials of Polynomials. | Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu |
| 2016 | ICFP | Queueing and glueing for optimal partitioning (functional pearl). | Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu |
| 2015 | HASKELL | Modular reifiable matching: a list-of-functors approach to two-level types. | Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You |
| 2014 | APLAS | Functional Pearl: Nearest Shelters in Manhattan. | Shin-Cheng Mu, Ting-Wei Chen |
| 2011 | APLAS | Constructing List Homomorphisms from Proofs. | Yun-Yan Chi, Shin-Cheng Mu |
| 2011 | ICFP | Generalising and dualising the third list-homomorphism theorem: functional pearl. | Shin-Cheng Mu, Akimasa Morihata |
| 2010 | ESOP | A Grammar-Based Approach to Invertible Programs. | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2010 | ICFP | Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. | Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata |
| 2008 | MPC | Algebra of Programming Using Dependent Types. | Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson |
| 2008 | PEPM | Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. | Shin-Cheng Mu |
| 2006 | APLAS | A Pushdown Machine for Recursive XML Processing. | Keisuke Nakano, Shin-Cheng Mu |
| 2004 | APLAS | An Algebraic Approach to Bi-directional Updating. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | MPC | An Injective Language for Reversible Computation. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | PEPM | A programmable editor for developing structured documents based on bidirectional transformations. | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
| 2003 | APLAS | Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. | Shin-Cheng Mu, Richard S. Bird |
| 2002 | MPC | Inverting Functions as Folds. | Shin-Cheng Mu, Richard S. Bird |
| 2001 | APLAS | Functional Quantum Programming. | Shin-Cheng Mu, Richard S. Bird |
| 2000 | APLAS | On Building Trees with Minimum Height, Relationally. | Shin-Cheng Mu |
| 2000 | PADL | Out-of-Core Functional Programming with Type-Based Primitives. | Tyng-Ruey Chuang, Shin-Cheng Mu |