About Me

• Chief Architect & Director of Programming Languages Lab @ NetEase, Hangzhou, China
  Leading the design and implementation of the NASL language for the CodeWave intelligent development platform.
  2022.9 - present
• Research interests: Programming languages
  With a focus on modularity, program synthesis, and the combination of functional and object-oriented programming.
• Senior Research Associate, University of Bristol, Bristol, United Kingdom.
  Working with Dr. Meng Wang.
  2021.1 - 2022.9
• PhD, The University of Hong Kong, Hong Kong, China.
  Advisor: Dr. Bruno C. d. S. Oliveira.
  Thesis: Modularity Beyond Compositionality
  2017 - 2021
• MPhil, The University of Hong Kong, Hong Kong, China.
  Advisor: Dr. Bruno C. d. S. Oliveira and Prof. Francis C. M. Lau.
  Thesis: Extensible Domain-Specific Languages in Object-Oriented Programming.
  2014 - 2017
• BEng, Xidian University, Xi'an, China
  Software Engineering
  2010 - 2014

Drafts

• Decomposition Without Regret
Weixin Zhang, Cristina David, and Meng Wang

Publications

Journal

• Compositional Programming [preprint] [talk] [slides] [artifact] [repo]
  Weixin Zhang, Yaozhu Sun, and Bruno C. d. S. Oliveira
  ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 43, Issue 3, September 2021
  Journal first, presented at ECOOP 2021
  Distinguished Artifact Award!

• Castor: Programming with extensible generative visitors [preprint] [repo]
  Weixin Zhang and Bruno C. d. S. Oliveira
  In Science of Computer Programming, 2020
  

• Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality [repo] [slides]
  Weixin Zhang and Bruno C. d. S. Oliveira
  In The Art, Science, Engineering of Programming (Programming), Volume 3, Issue 3, 2019
  Editors' Choice Award!

Conference

• Pattern Matching in an Open World [repo] [slides]
  Weixin Zhang and Bruno C. d. S. Oliveira
  In 17th International Conference on Generative Programming: Concepts & Experience (GPCE). 2018
• EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse [repo] [slides] [talk]
  Weixin Zhang and Bruno C. d. S. Oliveira
  In 31st European Conference on Object-Oriented Programming (ECOOP). 2017

• Memory-efficient Tail Calls in the JVM with Imperative Functional Objects [repo]
  Tomas Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, and Bruno C. d. S. Oliveira
  In 13th Asian Symposium on Programming Languages and Systems (APLAS). 2015

Service

• General Chair. Scala Symposium 2022.
• PC Member. IFL 2023.
• AEC Member. PLDI 2022. OOPSLA 2021.
• (Sub)reviewer. ICFP 2019. ECOOP 2019. GPCE 2017. APLAS 2017. SLE 2016. Scala 2015.
• Student Volunteer. <Programming> 2019. APSys 2016.