CV

Education

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

Work experience

• Spring 2024: Academic Pages Collaborator
  • GitHub University
  • Duties includes: Updates and improvements to template
  • Supervisor: The Users
• Fall 2015: Research Assistant
  • GitHub University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub
• Summer 2015: Research Assistant
  • GitHub University
  • Duties included: Tagging issues
  • Supervisor: Professor Git

Skills

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

Publications

Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps

Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu. (2024). "Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps." SIGSOFT FSE Industry Track 2024.

Searching for i-Good Lemmas to Accelerate Safety Model Checking

Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu. (2023). "Searching for i-Good Lemmas to Accelerate Safety Model Checking." CAV 2023.

ALA: Naturalness-aware Adversarial Lightness Attack

Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu. (2023). "ALA: Naturalness-aware Adversarial Lightness Attack." ACM Multimedia 2023.

Talks

Developing the industrial-strength tools for modeling, testing and verification: A formal-methods perspective

January 01, 2024

Talk at FCAS2024 and SFPVV2024, Shanghai, China

Teaching

The Problem-Driven Algorithm Design

Service and leadership

• Currently signed in to 43 different slack teams