中文版
English
助研究員  |  柯向上  
 
contact
education
experience
interests
descriptions
activities
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Professional activities
 
Conference Services
  1. Programme co-chair, Workshop on Type-Driven Development (TyDe), online (2021)
  2. Website co-chair, 48th Symposium on Principles of Programming Languages (POPL), online (2021)
  3. Website co-chair, 47th Symposium on Principles of Programming Languages (POPL), New Orleans, Louisiana, United States (2020)
  4. Co-organiser, 14th Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2020)
  5. Website chair, 46th Symposium on Principles of Programming Languages (POPL), Cascais, Portugal (2019)
  6. Programme co-chair, 8th International Workshop on Bidirectional Transformations (Bx), Philadelphia, Pennsylvania, United States (2019)
  7. Co-organiser, 12th Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2018)
  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, 9th International Workshop on Bidirectional Transformations (Bx), online (2021)
  2. Student research competition programme committee member, 25th International Conference on Functional Programming (ICFP), Jersey City, New Jersey, United States (2020)
  3. Programme committee member, 22nd International Symposium on Practical Aspects of Declarative Programming (PADL), New Orleans, Louisiana, United States (2020)
  4. Programme committee member, 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP), Bologna, Italy (2020)
  5. Programme committee member, 4th International Workshop on Type-Driven Development (TyDe), Berlin, Germany (2019)
  6. Extended review committee member, 24th International Conference on Functional Programming (ICFP), Berlin, Germany (2019)
  7. Artifact evaluation committee member, 23rd International Conference on Functional Programming (ICFP), St Louis, Missouri, United States (2018)
  8. Programme committee member, 13th International Symposium on Functional and Logic Programming (FLOPS), Kochi, Japan (2016)
Referee for Journals
  1. Reviewing committee member, the Art, Science, and Engineering of Programming, volume 6 (2022)
  2. Referee, Journal of Logical and Algebraic Methods in Programming
  3. Referee, Journal of Functional Programming
  4. Referee, Science of Computer Programming
Referee for Conferences
  1. External reviewer, 46th Symposium on Principles of Programming Languages (POPL), Cascais, Portugal (2019)
  2. External reviewer, 13th International Conference on Mathematics of Program Construction (MPC), Porto, Portugal (2019)
  3. External reviewer, 45th Symposium on Principles of Programming Languages (POPL), Los Angeles, California, United States (2018)
  4. External reviewer, 5th International Workshop on Bidirectional Transformations (Bx), Eindhoven, the Netherlands (2016)
  5. External reviewer, 9th International Symposium on Haskell, Nara, Japan (2016)
  6. External reviewer, 19th International Conference on Functional Programming (ICFP), Gothenburg, Sweden (2014)
  7. External reviewer, 10th Workshop on Generic Programming (WGP), Gothenburg, Sweden (2014)
  8. External reviewer, 15th International Symposium on Principles and Practice of Declarative Programming (PPDP), Madrid, Spain (2013)
  9. External reviewer, 5th International Symposium on Haskell, Copenhagen, Denmark (2012)
  10. External reviewer, 11th International Symposium on Functional and Logic Programming (FLOPS), Kobe, Japan (2012)
Membership
  1. Observer, IFIP Working Group 2.1 on Algorithmic Languages and Calculi (2019–present)
 
 
bg