Yiyu Zhang(张 奕 裕)


Ph.D. Student

Software Engineering Group
Department of Computer Science and Technology
Nanjing University, China


Email: zhangyy0721 at smail.nju.edu.cn
Office: Computer Science Building, Room 711



About me

I am currently a Ph.D. student at the Department of Computer Science & Technology, Nanjing University. My advisors are Prof. Xuandong Li and Associate Professor (with tenure) Zhiqiang Zuo . Before coming to NJU, I completed my Bachelor of Engineering's degree in CS at School of Computer Science and Engineering, Southeast University in 2019.


Research Interests

System softeware, Program Analysis, Compiler Optimization


News

04/2022 To serve on the artifact evaluation committee (AEC) for the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'22)

12/2021 Gave a talk at ChinaSoft2021 Domain Software track about our out-of-core Datalog engine DDL.

12/2021 Gave a talk to SEG group about low-overhead memory enforcement design and implementation for C.

10/2021 Our Disk-Based DataLog Engine (DDL) paper was accepted to ChinaSoft2021.

05/2021 Graspan with GPU- and CPU-backed engine for scalable static analysis was accepted to TOCS(CCF-A).

02/2021 Our Chianina paper was conditionally accepted to PLDI'21(CCF-A).

12/2020 Gave a talk to SEG group about parallel security checks.

09/2020 Became a teaching assistant of Advanced Programming in C++ course.

09/2019 Gave a talk to SEG group about introduction of Datalog.

09/2019 Became a teaching assistant of Advanced Programming in C++ course.

06/2019 Received Bachelor degree from Southeast University.


Projects

☑ Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code [Code]

☑ Safe Language Design and Implementation [NJU-Huawei Joint Innovation Lab]

☑ Systemizing Interprocedural Static Analysis of Large-Scale Systems Code with Graspan [Code]

☑ Design and Implementation of the out-of-core Datalog Engine DDL

Low-overhead Memory Enforcement Design and Implementation for C [NJU-Huawei Joint Innovation Lab]


Publications

▶ 基于核外计算的Datalog引擎设计与实现(In Chinese)
By Yiyu Zhang, Guihang Wang, Zhiqiang Zuo, Xuandong Li.
In Journal Of Software (JOS, 软件学报) [PDF]

▶ Systemizing Interprocedural Static Analysis of Large-Scale Systems Code with Graspan
By Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, and Guoqing Harry Xu.
In ACM Transactions on Computer Systems (TOCS'21), Vol. 38, No. 4, July 2021. [PDF] [Code]

▶ Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
By Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu. (Acceptance rate: 87/320, 27%)
In Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'21), Virtual, June 20-25, 2021. [PDF] [Talk] [Code]


Talks

◎ Design and Implementation of the out-of-core Datalog Engine DDL, Virtual Event, ChinaSoft2021, Dec., 2021 [Video]

◎ Low-overhead memory enforcement design and implementation for C At Nanjing University, Nanjing, China, Dec., 2021

◎ Parallel security checks At Nanjing University, Nanjing, China, Dec., 2020

◎ A preliminary understanding of Datalog At Nanjing University, Nanjing, China, Sep., 2019


Services

ISSTA2022 Artifact Evaluation Committee(AEC)

ESEC/FSE2022 Reviewer

PLDI2022 Reviewer

Journal Of Software Sub reviewer

ChinaSoft2021 Reviewer

Teaching Assistant: Advanced Programming in C++ in Semester 1, 2020/2021

Teaching Assistant: Advanced Programming in C++ in Semester 1, 2019/2020


Awards and Honors

Excellent Postgraduate of Nanjing University, 2022

First-class Postgraduate Academic Scholarship, 2022

Second-class Doctoral Execellence Scholarship of Nanjing University, 2022

Excellent Postgraduate of Nanjing University, 2021

First-class Postgraduate Academic Scholarship, 2021

First-class Doctoral Execellence Scholarship of Nanjing University, 2021

Third-class Scholarship at SEG group level, 2020

First-class Postgraduate Academic Scholarship, 2020

First-class Postgraduate Academic Scholarship, 2019


Personal Interests

Running, Pingpong, Basketball, Movies.

Last updated at Dec/26/2022.