Teng Zhang (张腾)

I am currently a fourth-year PhD student supervised by Yue Li in PASCAL Research Group, School of Computer Science, Nanjing University. My research interests are centred around programming languages. In particular, my current research is focused on static program analysis.

Contact

• Email: DZ21330044 at smail.nju.edu.cn
• Office: Room 529, Building of Computer Science and Technology Nanjing University (Xianlin Campus), 163 Xianlin Avenue, Qixia District, Nanjing, Jiangsu, China.

Work

• 2020.06-2020.09 · Software Engineer (Java) · Alibaba (Intern)

Papers

• Bridge the Islands: Pointer Analysis for Microservice Systems
  Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan, Chang Xu, Yue Li
  In Proceedings of the 34nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025), June 25-28, 2025, Trondheim, Norway.
  ISSTA 2025 · CCF-A · PDF · Tool
• Pointer Analysis for Database-Backed Applications
  Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, and Yue Li
  In Proceedings of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025), June 16-20, 2025, Seoul, South Korea. (Conditionally accepted).
  PLDI 2025 · CCF-A · PDF · Tool