Yiyu Zhang(张 奕 裕)
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
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.
System softeware, Program Analysis, Compiler Optimization
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.
☑ Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code [Code]
☑ Safe Language Design and Implementation
☑ 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
▶ Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
◎ 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
※ 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
★ 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
Running, Pingpong, Basketball, Movies.
Last updated at Dec/26/2022.
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]
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
Services
Awards and Honors
Personal Interests