About Me

I am a master student at Xi'an Jiaotong University (XJTU), advised by Prof. Peng Zhang.

My research interests span vastly across computer sciences: majorly focusing on formal methods, networked / operating systems, and software engineering. Currently I'm working on formal methods and verification: satisfiability modulo theories (SMT) solvers and binary decision diagrams (BDD). Previous research experiences include automatic program repair (APR), network simulation & verification, and AI.

In extracurricular life, I love tennis, photography, running, graphics design, web development, video editing, etc.

View my resume

Research Interests

• Formal Methods: SMT Solvers, BDDs, Automata, Model Checking
• Networked / Operating Systems: Network Simulation System, Automatic Configuration Repair
• Software Engineering: Automatic Program Repair (APR), Formal Software Verification

Education

• Master Student, Advanced Networked System Group, Xi'an Jiaotong University
  Advisor: Prof. Peng Zhang
  Sep. 2024 -
• B.Eng. in Honor Science Program (Computer Science), Xi'an Jiaotong University
  GPA: 4.00/4.3, Average Score 92.1, Rank 4/37
  Thesis: Design and Implementation of Scalable Network Emulation System
  Sep. 2020 - Jul. 2024
• Visiting International Student Program (VISP), Computer Science Thematic Track, University of Wisconsin-Madison
  GPA: 4.00/4.0, Average Score A
  Sep. 2022 - Dec. 2022
• Honor Youth Program, Xi'an Jiaotong University & Suzhou High School - SIP
  Sep. 2018 - Jul. 2020

Experiences

• Internship, ByteDance
  Network Development
  Jul. 2025 - May 2025

Publications

• Astragalus: Automatic Configuration Repair for Production Networks
  Zhenrong Gu, Peng Zhang, Xing Feng, and Xu Liu
  May 2026
• AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
  Ning Kang, Peng Zhang, Jianyuan Zhang, Hao Li, Dan Wang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, and Xiaohong Guan
  Jul. 2026
• Relia: Accelerating the Analysis of Cloud Access Control Policies
  Dan Wang, Peng Zhang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, and Xiaohong Guan
  Nov. 2025

Awards

• Outstanding Graduate Leader of Xi'an Jiaotong University
  
  Jun. 2024
• Bronze Award, 2021 International Collegial Programming Contest
  Asia Jinan Regional Contest (Ranked 108th / 726)
  Oct. 2021
• First Prize, 12th “Lanqiao” Cup National Software and Information Technology Contest
  Track of Java Software Development (Ranked 6th Nationally)
  May 2021

Skills

Computer Skills

Languages: Proficiency in C, Advanced Rust, C++, JavaScript, TypeScript, Java, Python and Go

Experiences: Proficient system development, advanced AI development and graphics development using OpenGL

Tools, Frameworks and Platforms: Proficient GNU/Linux skills (GCC / GDB / Shell), Linux Kernel Hacking, embedded systems, Hardware prototyping using Verilog, fullstack web development

Languages

English: TOEFL 110 (R30, L30, S25, W25)