Chinese
English
Associate Research Fellow  |  Mu, Shin-Cheng  
 
contact
vita
education
experience
interests
descriptions
activities
invited_visit
publications
supervised
Personal (New window)
 
 
 
 
 
Publications
 
Journal Articles
 
1. Yu-Hsi Chiang, Shin-Cheng Mu, "Formal derivation of greedy algorithms from relational specifications: a tutorial," to appear in Journal of Logic and Algebraic Programming.
2. Sharon Curtis, Shin-Cheng Mu, "Calculating a linear-time solution to the densest-segment problem," Journal of Functional Programming, volume 25, number 0, pages e22 (32 pages), December 2015.
3. Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata, "Approximate by Thinning: Deriving Fully Polynomial-Time Approximation Schemes," Science of Computer Programming, volume 98, number 4, pages 484–515, February 2015.
4. Shin-Cheng Mu and José Nuno Oliveira, "Programming from Galois connections," Journal of Logic and Algebraic Programming, volume 81, number 6, pages 680–704, August 2012. :::icon
5. S-C. Mu, H-S. Ko, and P. Jansson, "Algebra of programming in Agda: dependent types for relational program derivation," Journal of Functional Programming, volume 19, number 5, pages 545-579, September 2009. :::icon
6. Z. Hu, S-C. Mu and M. Takeichi, "A programmable editor for developing structured documents based on bidirectional transformations," Higher-Order and Symbolic Computation, volume 21, number 1-2, pages 89-118, May 2008.
7. S-C. Mu, Z. Hu and M. Takeichi, "Bidirectionalizing tree transformation languages: a case study," JSSST Computer Software (コンピュータソフトウェア), volume 23, number 2, pages 129-141, 2006.
8. R. S. Bird and S-C. Mu, "Countdown: a case study in origami programming," Journal of Functional Programming, volume 15, number 5, pages 679-702, 2005.
9. R. S. Bird and S-C. Mu, "Inverting the Burrows-Wheeler transform," Journal of Functional Programming, volume 14, number 6, pages 603-612, November 2004.
10. S-C. Mu and R. S. Bird, "Theory and applications of inverting functions as folds," Science of Computer Programming, volume 51, pages 87-116, 2003.
 
 
Conference Papers
 
1. Shin-Cheng Mu, Yu-Hsi Chiang, and Yu-Han Lyu, "Queueing and glueing for optimal partitioning," to appear in 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Eijiro Sumii, editor, ACM Press.
2. Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You, "Modular reifiable matching: a list-of-functors approach to two-level types," Haskell Symposium 2015, Ben Lippmeier, editor, pages 82-93, September 2015.
3. Shin-Cheng Mu, Ting-Wei Chen, "Functional pearl: Nearest shelters in Manhattan," Programming Languages and Systems, Lecture Notes in Computer Science, 8858, pages 159-175, November 2014.
4. Yun-Yan Chi and Shin-Cheng Mu, "Constructing list homomorphisms from proofs," The 9th Asian Symposium on Programming Languages and Systems (APLAS 2011), December 2011.
5. Shin-Cheng Mu and Akimasa Morihata, "Generalising and Dualising the Third List-Homomorphism Theorem," International Conference on Functional Programming, pages 385--391, September 2011.
6. Shin-Cheng Mu and Jose Nuno Oliveira, "Programming from Galois Connections," 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Lecture Notes in Computer Science, May 2011. :::icon
7. Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata, "Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning," The 6th ACM SIGPLAN workshop on Generic programming (WGP 2010), Bruno C.d.S. Oliveira and Marcin Zalewski, editor, ACM, pages 97-108, September 2010. :::icon
8. Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi, "A grammar-based approach to invertible programs," 19th European Symposium on Programming (ESOP 2010), Lecture Notes in Computer Science, 6012, pages 448-467, March 2010. :::icon
9. S-C. Mu, H-S. Ko, and P. Jansson, "Algebra of programming using dependent types," Mathematics of Program Construction 2008, Lecture Notes in Computer Science, 5133, pages 268-283, July 2008. :::icon
10. S-C. Mu, T-C. Tsai, K. Nakano, "XML Stream Processing Using a Lazy Concurrent Language," Programming Language Techniques for XML (PLAN-X 2008), January 2008.
11. S-C. Mu, "Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths," Partial Evaluation and Program Manipulation (PEPM '08), pages 31-39, January 2008. :::icon
12. K. Nakano and S-C. Mu, "A pushdown machine for recursive XML processing," The 4th Asian Symposium on Programming Language and Systems, Lecture Notes in Computer Science, 4279, pages 340-356, 2006.
13. S-C. Mu, Z. Hu and M. Takeichi, "An algebraic approach to bidirectional updating," Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science, 3302, pages 2-18, November 2004.
14. S-C. Mu, Z. Hu and M. Takeichi, "An injective language for reversible computation," Mathematics of Program Construction 2004, Lecture Notes in Computer Science, 3125, pages 289-313, July 2004.
15. S-C. Mu and R. S. Bird, "Rebuilding a tree from its traversals: a case study of program inversion," Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science, 2895, pages 265-282, 2003.
16. S-C. Mu and R. S. Bird, "Inverting functions as folds," Mathematics of Program Construction, Lecture Notes in Computer Science, 2386, July 2002.
17. S-C. Mu and R. S. Bird, "Quantum functional programming," 2nd Asian Workshop on Programming Languages and Systems, December 2001.
18. R. S. Bird and S-C. Mu, "Inverting the Burrows-Wheeler Transform," ACM SIGPLAN 2001 Haskell Workshop, September 2001, Superseded by the extended version for Journal of Functional Programming
19. S-C. Mu and R. S. Bird, "On building trees with minimum height, relationally," First Asian Workshop on Programming Languages and Systems, December 2000.
20. T-R. Chuang and S-C. Mu, "Out-of-core functional programming with type-based primitives," Practical Aspects of Declarative Languages, January 2000.
21. Tyng-Ruey Chuang and Shin-Cheng Mu, "Out-of-core functional programming with type-based primitives," Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, 1753, Enrico Pontelli and Victor Santos Costa, editor, pages 32-46, Boston, Massachusetts, USA, January 2000, Springer-Verlag
22. S. Seres and S-C. Mu, "Optimisation problems in logic programming: an algebraic approach," Proceedings of LPSE'00, 2000.
 
 
Others
 
1. S-C. Mu, "A Calculational Approach to Program Inversion," Oxford University Computing Laboratory, March 2003.
2. R. S. Bird, J. Gibbons and S-C. Mu, "Algebraic methods for optimisation problems," Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, pages 281-307, Springer-Verlag, January 2002.
3. S-C. Mu and R. S. Bird, "Algebraic Methods for Optimisation Problems,", Transfering dissertation 2000.
 
 
bg