Published Papers

1. Chengpeng Wang, Jipeng Zhang, Rongxin Wu, Charles Zhang DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization In FSE 2024: ACM International Conference on the Foundations of Software Engineering, Mon 15 - Fri 19 July 2024 Porto de Galinhas, Brazil, Brazil

2. Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis In ASPLOS 2024: ACM Conference on Architectural Support for Programming Languages and Operating Systems, San Diego, USA, April 27- May 1, 2024

3. Yiyuan Guo, Peisen Yao, and Charles Zhang Precise Compositional Buffer Overflow Detection via Heap Disjointness In ISSTA 2024:The 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, 16-20 Sept, 2024

4. Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang Efficient Path-Sensitive Data Dependence Analysis for Millions of Lines of Code In PLDI 2024:The 45nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 24-28 June, 2024, Copenhagen, Denmark

5. Chengfeng Ye, Yuandao Cai, Charles Zhang When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux In USENIX Security 24:the 33nd USENIX Security Symposium, August 14-16, 2024, Philadelphia, PA, USA

6. Anshunkang Zhou, Yikun Hu, Xiangzhe Xu, Charles Zhang ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-Guided Emulation, In ACM TOSEM:: ACM Transactions on Software Engineering and Methodology, 2024

7. Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang Plankton: Reconciling Binary Code and Debug Information, In ASPLOS 2024: ACM Conference on Architectural Support for Programming Languages and Operating Systems, San Diego, USA, April 27- May 1, 2024

8. Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, and Charles Zhang. Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. In TOSEM: ACM Transactions on Software Engineering and Methodology, 2023

9. Yuandao Cai, Yibo Jin, Charles Zhang. Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information, In USENIX Security 24:the 33nd USENIX Security Symposium, August 14-16, 2024, Philadelphia, PA, USA

10. Yuandao Cai, Charles Zhang. A Cocktail Approach to Practical Call Graph Construction, In OOPLSA2023:The ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages and Applications, Sun 22 - Fri 27 October 2023 Cascais, Portugal

11. Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang Verifying Data Constraint Equivalence in FinTech Systems, In ICSE 2023: the 45th IEEE/ACM International Conference on Software Engineering, Melbourne, Australia, May 14-20, 2023

12. Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs, In USENIX Security 2023: the 32nd USENIX Security Symposium. August 9-11, 2023, Anaheim, CA, USA

13. Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi,Jinguo Zhou, Xiao Xiao, Charles Zhang Anchor: Fast and Precise Value-Flow Analysis for Containers via Memory Orientation, In TOSEM: ACM Transactions on Software Engineering and Methodology, April 26, 2023 paper

14. Rongxin Wu, Minglei Chen,Chengpeng Wang, Gang Fan, Jiguang Qiu,and Charles Zhang, Accelerating Build Dependency Error Detection via Virtual Build, In ASE 2022:The 37th IEEE/ACM International Conference on Automated Software Engineering, Mon 10 - Fri 14 October 2022 Oakland Center, Michigan, United States paper

15. Qingkai Shi, Yongchao Wang, Peisen Yao and Charles Zhang Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis, In OOPSLA 2022 : The ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages and Applications, December, 2022, Auckland, New Zealand paper

16. Yuandao Cai, Chengfeng Ye, Qingkai Shi and Charles Zhang Peahen: Fast and Precise Static Deadlock Detection via Context Reduction, In ESEC/FSE 2022 : The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, November, 2022, Singapore paper

17. Jiajun Gong, Wuqi Zhang, Charles Zhang, and Tao Wang. Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense, In S&P'22: The 43rd IEEE Symposium on Security and Privacy, San Francisco, USA, May 23-26, 2022 paper

18. (OOPSLA Distinguished Paper) Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, and Charles Zhang, Complexity-Guided Container Replacement Synthesis, In OOPSLA 2022 : The ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages and Applications, December, 2022, Auckland, New Zealand paper

19. Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang. Precise Divide-By-Zero Detection with Affirmative Evidence In ICSE 2022: 44th International Conference on Software Engineering, Pittsburgh, USA, May 21-29, 2022 paper

20. Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang Beacon: Directed Grey-Box Fuzzing with Provable Path Pruning In S&P'22: The 43rd IEEE Symposium on Security and Privacy, San Francisco, USA, May 23-26, 2022 paper

21. Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, and Charles Zhang. Transcode: Detecting Status Code Translation Errors in Large-Scale Systems. In ASE'21: The 2021 IEEE/ACM Automated Software Engineering Conference paper

22. Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang. Program Analysis via Efficient Symbolic Abstraction In OOPSLA'21: The 36th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications. paper

23. Peisen Yao, Heqing Huang, Tang Wensheng, Qingkai Shi, Rongxin Wu, Charles Zhang Skeletal Approximation Enumeration for SMT Solver Testing In FSE 2021:29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Aug 23-27, 2021 paper

24. Yuandao Cai, Peisen Yao, and Charles Zhang. Canary: Practical Static Detection of Inter-Thread Value-Flow Bugs. In PLDI 2021: The 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, June 20-25, Virtual, UK, https://doi.org/10.1145/3453483.3454099. (draft)

25. Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang. Path-Sensitive Sparse Analysis without Path Conditions. In PLDI 2021: The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation , June 20-25, 2021, Virtual, https://doi.org/10.1145/3453483.3454086(draft)

26. Peisen Yao, Heqing Huang, Tang Wensheng, Qingkai Shi, Rongxin Wu, Charles Zhang Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration In ISSTA 2021:The 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 11-17 July, 2021 paper

27. Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang Fast Bit-Vector Satisfiability In ISSTA 2020: The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 18-22 July, 2020 paper

28. Gang Fan, Chengpeng Wang, Rongxin Wu, Qingkai Shi, Charles Zhang Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph In ISSTA 2020:The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 18-22 July, 2020 paper

29. Heqing Huang, Peisen Yao, Rongxin Wu, Charles Zhang Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction In IEEE S&P 2020:: Proceedings of the 41st IEEE Symposium on Security and Privacy, San Francisco, USA, May, 2020. paper

30. Qingkai Shi, Charles Zhang, Pipelining Bottom-up Data Flow Analysis, In ICSE 2020: The 42nd ACM/IEEE International Conference on Software Engineering, Seoul, Korea, May, 2020 paper

31. Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang, Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks In ICSE 2020:The 42nd ACM/IEEE International Conference on Software Engineering, Seoul, Korea, May, 2020 paper

32. (ICSE Distinguished Paper) Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code In ICSE 2019: The 41st International Conference on Software Engineering, Montreal, Canada, May, 2019. paper
    

33. Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Fan Gang and Charles Zhang Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code. In PLDI 2018: the 39th annual ACM SIGPLAN conference on Programming Language Design and Implementation. Philadelphia, USA, June, 2018 paper