Published in SIGMOD’25, 2024
Recommended citation: 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.
Published in SPLASH Companion’24, 2024
Recommended citation: 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.
Download Paper
Published in OOPSLA’24, 2024
Recommended citation: 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.
Download Paper
Published in OOPSLA’24, 2024
Recommended citation: 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.
Download Paper
Published in Internetware’20, 2021
Recommended citation: 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
Download Paper
Published in IEEE Internet of Things Journal, 2023
Recommended citation: 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.
Download Paper
Published in 信息安全学报, 2021
Recommended citation: 张弛, 司徒凌云, 王林章. 物联网固件安全缺陷检测研究进展[J]. 信息安全学报,2021,6(03):141-158.
Download Paper