Lingyu Zhang

Lingyu Zhang

Ph.D. Student In Computer Science and Technology

SPAR Group, ICS

Nanjing University

Hello! This is Lingyu Zhang (张灵毓). I am currently a Ph.D. student supervised by Assistant Researcher Huiyan Wang and Professor Chang Xu at the Institute of Computer Science (ICS), State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University.

Before joining ICS, I obtained my Bachelor’s in Computer Science and Technology from Kuang Yaming Honors School, Nanjing University, Jiangsu, China in 2021.

Interests
  • Software Consistency Management
  • Software Constraint Mining
  • Software Quality Assurance
Education

  • Ph.D. in Software Engineering, 2021-2026 (expected)

    Department of Computer Science and Technology, Nanjing University

  • B.S. in Computer Science and Technology, 2017-2021

    Kuang Yaming Honors School, Nanjing University

Experience

 
 
 
 
 
Ph.D. Student
SPAR Group, Computer Science and Technology, Nanjing University (NJU)
September 2021 – Present Nanjing, Jiangsu, China
Under the supervision of Assistant Researcher Huiyan Wang and Prof. Chang Xu.
 
 
 
 
 
Undergraduate Student
Kuang Yaming Honors School, Nanjing University (NJU)
September 2017 – June 2021 Nanjing, Jiangsu, China

Publications

Quickly discover relevant content by filtering publications.
[CCF-B] Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu. MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. Software Testing, Verification and Reliability (STVR) , Vol. , Article , 2024, forthcoming.

PDF

[CCF-B] Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu. Incremental-Concurrent Fusion Checking for Efficient Context Consistency. The Journal of Systems and Software (JSS) , Vol. 207, Article 111852, Jan 2024.

PDF Cite DOI

[CCF-A] Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu. Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023) , pp. 198-210, San Francisco, California, USA, Dec 2023.

PDF Cite DOI

[CCF-B] Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. In Proceedins of the 33rd International Symposium on Software Reliability Engineering (ISSRE 2022) , pp. 13-24, Charlotte, NC, USA, Nov 2022.

PDF Cite DOI

[CCF-B] Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu. INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. In Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022) , pp. 187-198, Limassol, Cyprus, Oct 2022.

PDF Cite Code Slides DOI

See all publications

Honors & Awards

The Elite Scholarship Second Class (博士研究生英才奖学金二等奖)
Nanjing University, China 2022
President Scholarship for Doctoral Students (博士研究生校长特别奖学金)
Nanjing University, China 2021

Teaching

  • 2023 Fall, TA, Introduction to Computer Systems
  • 2023 Spring, TA, Principles and Techniques of Compiler
  • 2022 Spring, TA, Principles and Techniques of Compiler