Chinese
English
Research Fellow/Professor  |  Mu, Shin-Cheng  
 
contact
vita
education
experience
interests
descriptions
activities
invited_visit
publications
supervised
Personal (New window)
 
 
 
 
 
Professional activities
 
Editorship
  1. Guest Editor, Science of Computer Programming. Speicial Issue for PEPM 2013 (2013/01–2014/06)
  2. Guest Editor, Progress in Informatics. Special Issue on Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs (2012/03–2013/03)
Conference Services
  1. General Chair, Asian Symposium on Programming Languages and Systems, APLAS 2023, Taipei, Taiwan (2023/01–2023/11)
  2. Local Organizer, IFIP WG 2.1 Meeting #78, Xitou, Taiwan (2018/10–2019/03)
  3. Organizer, Lecturer, 2016 Formosan Summer School on Logic, Language, and Computation (2018 「邏輯、語言與計算」暑期研習營, FLOLAC '18), Taipei, Taiwan (2018/07–2018/07)
  4. Organizer, Lecturer, 2016 Formosan Summer School on Logic, Language, and Computation (2016 「邏輯、語言與計算」暑期研習營, FLOLAC '16), Taipei, Taiwan (2016/07–2016/07)
  5. Organizer, Lecturer, 2014 Formosan Summer School on Logic, Language, and Computation (2014 「邏輯、語言與計算」暑期研習營, FLOLAC '14), Taipei, Taiwan (2014/07–2014/07)
  6. Co-Chair, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM '13), Rome, Italy (2013/01–2013/01)
  7. Organizer, 2012 Formosan Summer School on Logic, Language, and Computation (2012 「邏輯、語言與計算」暑期研習營, FLOLAC '12), Taipei, Taiwan (2012/08–2012/09)
  8. Local Arrangement, The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011, Kenting, Taiwan (2011/12–2011/12)
  9. PC Co-Chair, Seventh Workshop on Generic Programming (WGP '11), Tokyo, Japan (2011/09–2011/09)
  10. Co-Chair, Shonan Meeting on Dependently Typed Programming, Shonan, Japan (2011/09–2011/09)
  11. Program Committee and Lecturer, 2010 Formosan Summer School on Logic, Language, and Computation (2010 「邏輯、語言與計算」暑期研習營暨碩士學分班, FLOLAC '10), Taipei, Taiwan (2010/02–2010/07)
  12. Organizing Commitee Member, 2008 Formosan Summer School on Logic, Language, and Computation (2008 「邏輯、語言與計算」暑期研習營暨碩士學分班, FLOLAC '08), Taipei, Taiwan (2008/02–2008/07)
  13. Program Committee and Lecturer , 2007 Formosan Summer School on Logic, Language, and Computation (2007 「邏輯、語言與計算」暑期研習營暨碩士學分班, FLOLAC '07), Taipei, Taiwan (2007/03–2007/07)
TPC/PC Members
  1. Program Committee Member, International Conference on Functional Programming (ICFP '24), Milan, Italy (2023/12–2024/09)
  2. Program Committee Member, Functional and Logic Programming (FLOPS 2022) , Japan (2022/05–2022/05)
  3. Program Committee Member, Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE), Online (2021/07–2021/07)
  4. Program Committee Member, Functional and Logic Programming (FLOPS 2020) , Japan (2020/09–2020/09)
  5. Program Committee Member, Mathematics of Program Construction (MPC '19), Porto, Portugal (2019/10–2019/10)
  6. External Review Committee Member, International Conference on Functional Programming (ICFP '19), Berlin, Germany (2019/03–2019/04)
  7. Program Committee Member, Type-Driven Development (TyDe 2018), St. Louis, Missouri, United States (2018/06–2018/06)
  8. Program Committee Member, Mathematically Structured Functional Programming (MSFP 2018), Oxford, UK (2018/04–2018/04)
  9. Program Committee Member, Workshop on Software Engineering and Programming Languages,, Taiwan (2016/12–2016/12)
  10. Program Committee Member, Symposium on Implementation and Application of Functional Languages (IFL 2016), KU Leuven, Belgium (2016/08–2016/09)
  11. Program Committee Member, Mathematics of Program Construction 2015 , Königswinter, Germany (2015/01–2015/04)
  12. Program Committee Member, Haskell Symposium 2014, Göteborg, Sweden (2014/09–2014/09)
  13. Program Committee Member, Asian Symposium on Programming Languages and Systems (APLAS 2014), Singapore (2014/07–2014/07)
  14. Program Committee Member, Functional and Logic Programming (FLOPS 2014), Kanazawa, Japan (2014/02–2014/04)
  15. Program Committee Member, Mathematics of Program Construction 2012, Madrid, Spain (2012/06–2012/06)
  16. Program Committee Member, First International Conference on Certified Programs and Proofs, Kenting, Taiwan (2011/12–2011/12)
  17. Program Committee Member, ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM '12), Philadelphia, Pennsylvania, USA (2011/10–2012/01)
  18. Program Committee Member, ACM SIGPLAN 6th Workshop on Generic Programming, Baltimore, USA (2010/06–2010/07)
  19. Program Committee Member, The Tenth International Conference on Mathematics of Program Construction (MPC '10), Manoir, St-Castin, Quebec, Canada (2009/12–2010/02)
  20. Program Committee Member, The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP '09), Edinburgh, United Kingdom (2009/03–2009/05)
  21. Program Committee Member, The 6th Asian Workshop on Foundations of Software (AWFS '09), Tokyo Japan (2008/12–2009/01)
  22. Program Committee Member, ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM '09), Savannah, Georgia, USA (2008/10–2008/11)
  23. Program Committee Member, ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08), San Francisco, California, USA (2007/09–2007/11)
  24. Program Committee Member, The Ninth International Conference on Mathematics of Program Construction (MPC '08), Marseille , France (2007/09–2008/03)
  25. Program Committee Member, The Fifth ASIAN Symposium on Programming Language and Systems (APLAS 2007), Singapore (2007/01–2007/08)
  26. Program Committee Member, The Eighth International Conference on Mathematics of Program Construction (MPC '06), Kuressaare, Estonia (2006–2006)
  27. Program Committee Member, 2006 Haskell Workshop, Portland, Oregon, USA (2005/12–2006/07)
Referee for Journals
  1. Referee, Journal of Functional Programming (2021/09–2021/11)
  2. Referee, Journal of Functional Programming (2021/04–2021/08)
  3. Referee, Journal of Functional Programming (2020/09–2020/09)
  4. Referee, Journal of Functional Programming (2020/07–2020/07)
  5. Referee, Journal of Functional Programming (2019/11–2019/11)
  6. Referee, Journal of Logical and Algebraic Methods in Programming (2019/06–2019/09)
  7. Referee, Journal of Functional Programming (2019/05–2019/05)
  8. Referee, Journal of Functional Programming (2019/04–2019/04)
  9. Referee, Journal of Functional Programming (2018/11–2018/11)
  10. Referee, Journal of Functional Programming (2018/06–2018/07)
  11. Referee, Journal of Logic and Algebraic Programming (2011/05–2011/06)
  12. Referee, Science of Computer Programming (2011/04–2011/06)
  13. Referee, Frontiers of Computer Science in China (2009/11–2009/12)
  14. Referee, Journal of Functional Programming (2009/10–2009/11)
  15. Referee, Journal of Logic and Algebraic Programming (2009/01–2009/03)
  16. Referee, The New Generation Computing (2008/07–2008/08)
  17. Referee, Journal of Logic and Algebraic Programming (2007/06–2007/06)
  18. Referee, Journal of Information Science and Engineering (2006/12–2006/12)
Referee for Conferences
  1. Referree, The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011 (2011/12–2011/12)
  2. Referee, The 8th ASIAN Symposium on Programming Languages and Systems (APLAS '10), Bejing, China (2010/06–2010/06)
  3. Referee, 18th European Symposium on Programming (ESOP '09), York, United Kingdom (2009/10–2009/11)
  4. Referee, ACM Symposium on Document Engineering 2009, Munich, Germany (2009/05–2009/05)
  5. Referee, The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS '08), Bangalore, India (2008/08–2008/08)
  6. Referee, The Ninth International Symposium on Functional and Logic Programming (FLOPS '08) (2007/11–2007/11)
  7. Referee, The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP '07) (2007/05–2007/05)
Membership
  1. Steering Committee Member at Large, International Conference on Functional Programming (2019/09–present)
  2. Steering Committee Chair, Workshop of Generic Programming Steering Committee (2013/10–2014/10)
  3. Executive Committee Member, Asian Association for Foundation of Software (2012/12–present)
  4. Steering Committee Member, Workshop on Generic Programming (2011/09–2013/09)
  5. Member, IFIP Working Group 2.1 on Algorithmic Languages and Calculi (2010/01–present)
 
 
bg