Yiyuan Guo

PhD graduate in Computer Science @HKUST

Email:

yguoaz@gmail.com

yguoaz@connect.ust.hk

// Publications

• Efficient Strong Updates For Path Sensitive Data Dependence Analysis. Yiyuan Guo and Charles Zhang. The IEEE/ACM International Conference on Software Engineering, ICSE 2026
  pdf
• Precise Compositional Buffer Overflow Detection via Heap Disjointness. Yiyuan Guo, Peisen Yao, and Charles Zhang. The ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024
  pdf
• Titan: Efficient Multi-target Directed Greybox Fuzzing. Heqing Huang, Peisen Yao, Hung-Chun Chiu, Yiyuan Guo, and Charles Zhang. The 45th IEEE Symposium on Security and Privacy, S&P 2024
  pdf
• Precise Divide-By-Zero Detection with Affirmative Evidence. Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, and Charles Zhang. The 2022 IEEE/ACM International Conference on Software Engineering, ICSE 2022
  data pdf
• BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang. The 43rd IEEE Symposium on Security and Privacy, S&P 2022
  pdf