Publications

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, and 5 more authors
    In 32nd USENIX Security Symposium (USENIX Security 23), 2023
    PDF