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. 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.
2. 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
3. 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
4. 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.
5. 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.
6. 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.
7. 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.
8. 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, Ting-Wei Chen, "Functional pearl: Nearest shelters in Manhattan," Programming Languages and Systems, Lecture Notes in Computer Science, 8858, pages 159-175, November 2014.
2. 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.
3. Shin-Cheng Mu and Akimasa Morihata, "Generalising and Dualising the Third List-Homomorphism Theorem," International Conference on Functional Programming, pages 385--391, September 2011.
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. S-C. Mu and R. S. Bird, "Inverting functions as folds," Mathematics of Program Construction, Lecture Notes in Computer Science, 2386, July 2002.
15. S-C. Mu and R. S. Bird, "Quantum functional programming," 2nd Asian Workshop on Programming Languages and Systems, December 2001.
16. 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
17. S-C. Mu and R. S. Bird, "On building trees with minimum height, relationally," First Asian Workshop on Programming Languages and Systems, December 2000.
18. T-R. Chuang and S-C. Mu, "Out-of-core functional programming with type-based primitives," Practical Aspects of Declarative Languages, January 2000.
19. 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
20. 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