Publications

2027

  1. ICSE 2027
    Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing
    Seongmin Lee*, Yaoxuan Wu*, and Miryung Kim
    In IEEE/ACM International Conference on Software Engineering (ICSE), to appear, 2027
    arXiv

2026

  1. Preprint
    The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding
    Işıl Özgü, Yaoxuan Wu, Guy Van den Broeck, and Miryung Kim
    arXiv preprint arXiv:2608.10137, 2026
    arXiv
  2. Preprint
    Properties with Holes: Meta-Property-Based Testing of Data-Intensive Computing Frameworks
    Yaoxuan Wu, Ingrid Lee, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim
    arXiv preprint arXiv:2606.11132, 2026
    arXiv
  3. Preprint
    CloudTwin: Inverted Tool Use for Long-Horizon Cloud Simulation
    Yifan Zhang*, Yaoxuan Wu*, Leyi Cui*, Hui Guan, Brandon Paulsen, Joey Dodds, and Daniel Kroening
    Preprint, 2026
  4. FSE 2026 Workshop
    Why Property-Based Testing is Necessary for Data Intensive Scalable Computing
    Yaoxuan Wu, Ingrid Lee, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim
    ACM FSE 2026 Workshop International Workshop on Data Intensive Software Engineering, 2026
    PDF
  5. ICPC 2026
    PALM: Path-aware LLM-based Test Generation with Comprehension
    Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim
    The 34th IEEE/ACM International Conference on Program Comprehension, 2026
    arXiv PDF Video

2025

  1. arxiv
    Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
    Zitong Zhou, Ben Limpanukorn, Hong Jin Kang, Jiyuan Wang, Yaoxuan Wu, Akos Kiss, Renata Hodovan, and Miryung Kim
    arXiv preprint arXiv:2512.04344, 2025

2024

  1. FSE 2024
    Natural Symbolic Execution-based Testing for Big Data Analytics
    Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim
    Proceedings of the ACM on Software Engineering, 2024
    PDF

2023

  1. ASE 2023
    NaturalFuzz: Natural Input Generation for Big Data Analytics
    Ahmad Humayun, Yaoxuan Wu, Miryung Kim, and Muhammad Ali Gulzar
    In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023
    PDF
  2. Security 2023
    PELICAN: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis
    Zhuo Zhang, Guanhong Tao, Guangyu Shen, Shengwei An, Qiuling Xu, Yingqi Liu, Yapeng Ye, Yaoxuan Wu, and Xiangyu Zhang
    In 32nd USENIX Security Symposium (USENIX Security 23), 2023
    PDF