Constant Optimization Driven Database System Testing
Chi Zhang and Manuel Rigger. 2025. Constant Optimization Driven Database System Testing. Proc. ACM Manag. Data 3, 1 (SIGMOD), Article 24 (February 2025), 24 pages.
CV
Education
- Ph.D in Version Control Theory, GitHub University, 2018 (expected)
- M.S. in Jekyll, GitHub University, 2014
- B.S. in GitHub, GitHub University, 2012
Work experience
- Spring 2024: Academic Pages Collaborator
- Github University
- Duties includes: Updates and improvements to template
- Supervisor: The Users
- Fall 2015: Research Assistant
- Github University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
- Summer 2015: Research Assistant
- Github University
- Duties included: Tagging issues
- Supervisor: Professor Git
Skills
- Skill 1
- Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
- Skill 3
Publications
Step-wise Execution of Data-Centric Systems
Chi Zhang. 2024. Step-wise Execution of Data-Centric Systems. In Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion’24), October 20–25, 2024, Pasadena, CA, USA. ACM, New York, NY, USA, 3 pages.
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang. 2024. Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. Proc. ACM Program. Lang. 8, OOPSLA1, Article 112 (April 2024), 29 pages.
Finding Cross-Rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, and Manuel Rigger. 2024. Finding Cross-Rule Optimization Bugs in Datalog Engines. Proc. ACM Program. Lang. 8, OOPSLA1, Article 98 (April 2024), 27 pages.
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware
Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, and Jin Shi. 2023. Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. IEEE Internet of Things Journal, vol. 10, no. 23, pp. 20718-20734, 1 Dec.1, 2023.
Firmware Fuzzing: The State of the Art
Chi Zhang, Yu Wang, and Linzhang Wang. 2020. Firmware Fuzzing: The State of the Art. In 12th Asia-Pacific Symposium on Internetware (Internetware’20), May 12–14, 2021, Singapore, Singapore. ACM, New York, NY, USA, 6 pages. https://doi.org/10.1145/3457913.3457934
物联网固件安全缺陷检测研究进展
张弛, 司徒凌云, 王林章. 物联网固件安全缺陷检测研究进展[J]. 信息安全学报,2021,6(03):141-158.
Talks
Finding Cross-Rule Optimization Bugs in Datalog Engines
Talk at OOPSLA 2024, Pasadena, California, United States
Step-wise Execution of Data-Centric Systems
Talk at SPLASH 2024 Doctoral Symposium, Pasadena, California, United States
Automatically Testing Datalog Engines to Find Optimization Bugs
Talk at NUS PLSE Seminar, Singapore
Infrared: A Meta Bug Detector
Talk at NUS PLSE Seminar, Singapore
Firmware Fuzzing: The State of the Art
Talk at Internetware’2020, Online
物联网固件安全缺陷检测研究进展
Talk at NASAC‘2019, Hangzhou, Zhejiang, China
Teaching
Service and leadership
- Currently signed in to 43 different slack teams