publications

2026

  1. ASE’26
    Decompiling the Web: Automated Semantic Recovery of Post-Compilation Abstraction Leaks
    Shriyans Sudhi, and Yinxi Liu
    In 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026
  2. TRUST@ASE’26
    Metamorphic Stress Testing of Vision-Language Components for Time-Critical Autonomous Systems
    Arman Chhetri, and Yinxi Liu
    In 2026 41st IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), TRUST Workshop, 2026
  3. RASE@ASE’26
    When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross-Configuration Measurement Study
    Arman Chhetri, and Yinxi Liu
    In 2026 41st IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), RASE Workshop, 2026

2025

  1. FSE’25
    Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution
    Yinxi Liu, Wei Meng, and Yinqian Zhang
    In 2025 ACM International Conference on the Foundations of Software Engineering (FSE), 2025

2023

  1. CCS’23
    DSFuzz: Detecting Deep State Bugs with Dependent State Exploration
    Yinxi Liu, and Wei Meng
    In 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS), 2023

2022

  1. CCS’22
    Acquirer: A Hybrid Approach to Detecting Algorithmic Complexity Vulnerabilities
    Yinxi Liu, and Wei Meng
    In 2022 ACM SIGSAC Conference on Computer and Communications Security (CCS), 2022

2021

  1. ASE’21
    Understanding and Detecting Performance Bugs in Markdown Compilers
    Penghui Li, Yinxi Liu, and Wei Meng
    In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021
  2. SP’21
    Revealer: Detecting and Exploiting Regular Expression Denial-of-Service Vulnerabilities
    Yinxi Liu, Mingxue Zhang, and Wei Meng
    In 2021 IEEE Symposium on Security and Privacy (SP), 2021

2020

  1. AI4AN@IJCAI’20
    Interpretable Anomaly Detection in Variable-Length Co-Evolving Rhythmic Sequences
    Yinxi Liu, Kai Yang, Shaoyu Dou, and 1 more author
    Proceedings of The 1st Workshop on Artificial Intelligence for Anomalies and Novelties (AI4AN workshop in IJCAI ’20), 2020

2019

  1. ITML@NeurIPS’19
    Local Group Anomaly Detection for Multiple Time Series with Synchronization Errors
    Yinxi Liu, Kai Yang, and Shaoyu Dou
    Proceedings of The NeurIPS 2019 Workshop on Information Theory and Machine Learning (ITML workshop at NeurIPS ’19), Dec 2019