中文版
English
助研究員  |  柯向上  
 
contact
education
experience
interests
descriptions
activities
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Professional activities
 
Conference Services
  1. Website co-chair, Symposium on Principles of Programming Languages (POPL), online (2021)
  2. Programme co-chair, Workshop on Type-Driven Development (TyDe), online (2021)
  3. Co-organiser, Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2020)
  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. Programme co-chair, Workshop on Partial Evaluation and Program Manipulation (PEPM), Los Angeles, California, United States (2018)
  8. Co-organiser, Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2018)
TPC/PC Members
  1. Programme committee member, International Workshop on Bidirectional Transformations (Bx), Nantes, France (2022)
  2. Programme committee member, International Workshop on Bidirectional Transformations (Bx), online (2021)
  3. Student research competition programme committee member, International Conference on Functional Programming (ICFP), Jersey City, New Jersey, United States (2020)
  4. Programme committee member, International Symposium on Practical Aspects of Declarative Programming (PADL), New Orleans, Louisiana, United States (2020)
  5. Programme committee member, International Symposium on Principles and Practice of Declarative Programming (PPDP), Bologna, Italy (2020)
  6. Programme committee member, Workshop on Type-Driven Development (TyDe), Berlin, Germany (2019)
  7. Extended review committee member, International Conference on Functional Programming (ICFP), Berlin, Germany (2019)
  8. Artefact evaluation committee member, International Conference on Functional Programming (ICFP), St Louis, Missouri, United States (2018)
  9. Programme committee member, 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, Science of Computer Programming
  3. Referee, Journal of Functional Programming
  4. Referee, Journal of Logical and Algebraic Methods in Programming
Referee for Conferences
  1. External reviewer, Symposium on Logic in Computer Science (LICS), online (2021)
  2. External reviewer, Symposium on Principles of Programming Languages (POPL), Cascais, Portugal (2019)
  3. External reviewer, International Conference on Mathematics of Program Construction (MPC), Porto, Portugal (2019)
  4. External reviewer, Symposium on Principles of Programming Languages (POPL), Los Angeles, California, United States (2018)
  5. External reviewer, International Workshop on Bidirectional Transformations (Bx), Eindhoven, the Netherlands (2016)
  6. External reviewer, International Symposium on Haskell, Nara, Japan (2016)
  7. External reviewer, Workshop on Generic Programming (WGP), Gothenburg, Sweden (2014)
  8. External reviewer, International Conference on Functional Programming (ICFP), Gothenburg, Sweden (2014)
  9. External reviewer, International Symposium on Principles and Practice of Declarative Programming (PPDP), Madrid, Spain (2013)
  10. External reviewer, International Symposium on Functional and Logic Programming (FLOPS), Kobe, Japan (2012)
  11. External reviewer, International Symposium on Haskell, Copenhagen, Denmark (2012)
 
 
bg