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

Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp R ̈ummer, and Zhilin Wu. 2022. Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables. Proc. ACM Program. Lang. 6, POPL, Article 45 (January 2022), 45 pages. https://doi.org/10.1145/3498707

Data-driven Recurrent Set Learning For Non-termination Analysis

Talks

Towards Solving String Constriants With Real-world Regular Expressions

December 24, 2021

Invited talk at 2021 CCF Chinasoft, Xi'an, China

Teaching

Teaching experience 1

Teaching experience 2

Service and leadership

• Currently signed in to 43 different slack teams