Xing Zhang (张 星)

Ph.D. Student
Programming Languages Laboratory
School of Computer Science
Peking University

I am now a final-year Ph.D student at Peking University advised by Prof Zhenjiang Hu. I completed my undergraduate at Nankai University. I am visiting the University of Bristol and working with programming language research group (PLRG) led by Prof Meng Wang from March 2024 to August 2024.

My research interests lie in the intersection of programming languages, software engineering, and human-computer interaction. Specifically, I am interested in bidirectional live programming, which not only allows software developers to see continuous changes in the output instantly as they write the program, but also enables them to directly manipulate the output and automatically reflect the changes back to the source program, so that the updated program can produce the manipulated output.

CV or 简历

Publications
  1. Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Tao Xie, Validity-Preserving Delta Debugging via Generator, ACM Transactions on Software Engineering and Methodology (TOSEM 2024). [Paper]
  2. Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu, Fusing Direct Manipulations into Functional Programs, 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), London, United Kingdom, January 17-19, 2024. [Paper][Source] [Appendix]
  3. Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu, Bidirectional Objected-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects, ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023), Cascais, Portuga, October 22-27, 2023. [Paper][Source]
  4. Xing Zhang, Zhenjiang Hu, Towards Bidirectional Live Programming for Incomplete Programs, 44th International Conference on Software Engineering (ICSE 2022), Pittsburgh, PA, USA, May 21-29, 2022. [Paper][Source]
  5. Xing Zhang, Van-Dang Tran, Zhenjiang Hu, A Cheap Implementation of Resugaring in BIRDS based on Bidirectional Transformation, Fourth Workshop on Software Foundations for Data Interoperability (SFDI 2020), Tokyo, Japan, September 4-5, 2020. pp.116-130 [Paper]
Academic Service
  1. 2024, SoSyM, Reviewer
  2. 2024, PLDI, Artifact Reviewer
  3. 2024, ICFP, Sub-Reviewer
  4. 2023, POPL, Sub-Reviewer
Honors and Awards
  1. 2023, President Scholarship, Peking University
  2. 2023, Huawei Scholarship, Huawei
  3. 2023, Merit Student, Peking University
  4. 2022, Huatai Securities Technology Scholarship, Peking University
  5. 2022, Merit Student, Peking University
  6. 2021, Hongsheng Scholarship, Peking University
  7. 2021, Outstanding Scientific Research Award, Peking University
  8. 2020, Outstanding Graduate of Nankai University
  9. 2019, National Scholarship, Chinese Ministry of Education
  10. 2017, National Scholarship, Chinese Ministry of Education
Teaching Experience
  1. Teaching Assistant, Design Principles of Programming Languages, Peking University (Spring 2022)
Contact Information
Office: Room 1434, Science Building #1, Peking University
Email: zhangstar at stu.pku.edu.cn


Last modified in September 2024.