Chinese
English
Associate Research Fellow/Professor  |  Ko, Hsiang-Shang  
 
contact
education
experience
interests
descriptions
activities
publications
supervised
Personal (New window)
 
 
 
 
 
Professional activities
 
Conference Services
  1. Student research competition and posters chair, Asian Symposium on Programming Languages and Systems (APLAS), Taipei, Taiwan (2023)
  2. Website co-chair, Symposium on Principles of Programming Languages (POPL), online (2021)
  3. Programme co-chair, Workshop on Type-Driven Development (TyDe), online (2021)
  4. Website co-chair, Symposium on Principles of Programming Languages (POPL), New Orleans, Louisiana, United States (2020)
  5. Website chair, Symposium on Principles of Programming Languages (POPL), Cascais, Portugal (2019)
  6. Programme co-chair, International Workshop on Bidirectional Transformations (Bx), Philadelphia, Pennsylvania, United States (2019)
  7. Co-organiser, Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2018–present)
  8. Programme co-chair, Workshop on Partial Evaluation and Program Manipulation (PEPM), Los Angeles, California, United States (2018)
TPC/PC Members
  1. Programme committee member, Symposium on Principles of Programming Languages (POPL), Denver, Colorado, United States (2025)
  2. Student research competition and posters selection committee member, Asian Symposium on Programming Languages and Systems (APLAS), Kyoto, Japan (2024)
  3. Programme committee member, Asian Symposium on Programming Languages and Systems (APLAS), Kyoto, Japan (2024)
  4. Programme committee member, International Symposium on Trends in Functional Programming (TFP), South Orange, New Jersey, United States (2024)
  5. Programme committee member, International Conference on Certified Programs and Proofs (CPP), London, United Kingdom (2024)
  6. Programme committee member, European Symposium on Programming (ESOP), Luxembourg, Luxembourg (2024)
  7. Programme committee member, International Workshop on Bidirectional Transformations (Bx), Nantes, France (2022)
  8. Programme committee member, International Workshop on Bidirectional Transformations (Bx), online (2021)
  9. Student research competition programme committee member, International Conference on Functional Programming (ICFP), Jersey City, New Jersey, United States (2020)
  10. Programme committee member, International Symposium on Practical Aspects of Declarative Programming (PADL), New Orleans, Louisiana, United States (2020)
  11. Programme committee member, International Symposium on Principles and Practice of Declarative Programming (PPDP), Bologna, Italy (2020)
  12. Extended review committee member, International Conference on Functional Programming (ICFP), Berlin, Germany (2019)
  13. Programme committee member, Workshop on Type-Driven Development (TyDe), Berlin, Germany (2019)
  14. Artefact evaluation committee member, International Conference on Functional Programming (ICFP), St Louis, Missouri, United States (2018)
  15. Programme committee member, International Symposium on Functional and Logic Programming (FLOPS), Kochi, Japan (2016)
Referee for Journals
  1. Referee, ACM Transactions on Programming Languages and Systems (2024)
  2. Reviewing committee member (Volume 6), The Art, Science, and Engineering of Programming (2022)
  3. Referee, Science of Computer Programming (2016)
  4. Referee, Journal of Logical and Algebraic Methods in Programming (2015)
  5. Referee, Journal of Functional Programming (2012–2024)
Referee for Conferences
  1. External reviewer, International Conference on Functional Programming (ICFP), Milan, Italy (2024)
  2. External reviewer, Symposium on Logic in Computer Science (LICS), online (2021)
  3. External reviewer, Symposium on Principles of Programming Languages (POPL), Cascais, Portugal (2019)
  4. External reviewer, International Conference on Mathematics of Program Construction (MPC), Porto, Portugal (2019)
  5. External reviewer, Symposium on Principles of Programming Languages (POPL), Los Angeles, California, United States (2018)
  6. External reviewer, International Workshop on Bidirectional Transformations (Bx), Eindhoven, the Netherlands (2016)
  7. External reviewer, International Symposium on Haskell, Nara, Japan (2016)
  8. External reviewer, International Conference on Functional Programming (ICFP), Gothenburg, Sweden (2014)
  9. External reviewer, Workshop on Generic Programming (WGP), Gothenburg, Sweden (2014)
  10. External reviewer, International Symposium on Principles and Practice of Declarative Programming (PPDP), Madrid, Spain (2013)
  11. External reviewer, International Symposium on Haskell, Copenhagen, Denmark (2012)
  12. External reviewer, International Symposium on Functional and Logic Programming (FLOPS), Kobe, Japan (2012)
 
 
bg