CV

Education

• B.S. in GitHub, GitHub University, 2012
• M.S. in Jekyll, GitHub University, 2014
• Ph.D in Version Control Theory, GitHub University, 2018 (expected)

Work experience

• Summer 2015: Research Assistant
  • Github University
  • Duties included: Tagging issues
  • Supervisor: Professor Git
• Fall 2015: Research Assistant
  • Github University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub

Skills

• Skill 1
• Skill 2
  • Sub-skill 2.1
  • Sub-skill 2.2
  • Sub-skill 2.3
• Skill 3

Publications

Novice Type Error Diagnosis with Natural Language Models

Geng, C., Ye, H., Li, Y., Han, T., Pientka, B., & Si, X. (2022, November). Novice Type Error Diagnosis with Natural Language Models. In Asian Symposium on Programming Languages and Systems (pp. 196-214). Cham: Springer Nature Switzerland.

Scalar Invariant Networks with Zero Bias

Geng, C., Xu, X., Ye, H., & Si, X. (2022). Scalar Invariant Networks with Zero Bias. arXiv preprint arXiv:2211.08486.

An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver

Ye, H. (2023). An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. SPLASH Companion’23, 43.

Talks

Novice Type Error Diagnosis with Natural Language Models

December 05, 2022

Conference proceedings talk at The 20th Asian Symposium on Programming Languages and Systems, Auckland, New Zealand

Teaching

Teaching experience 1

Teaching experience 2

Service and leadership

• Currently signed in to 43 different slack teams