OASIS@ MBZUAI

Selected publications

A representative sample. The complete list is on Google Scholar.

  1. Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage Outstanding Paper
    Jinwei Hu, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang
    ACL · 2026
  2. Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments
    Jinwei Hu, Yi Dong, Youcheng Sun, Xiaowei Huang
    AAAI · 2026
  3. Causal Explanations for Image Classifiers
    Hana Chockler, David A. Kelly, Daniel Kroening, Youcheng Sun
    JAIR · 2026
  4. Agentic Model Checking preprint
    Youcheng Sun, Jiawen Liu, Daniel Kroening, Jason Xue
    arXiv · 2026
  5. Agentic Planning for Symbolic Execution preprint
    Daniel Koh, Yannic Noller, Corina S. Pasareanu, Youcheng Sun
    arXiv · 2026
  6. Skill Coverage: A Test Adequacy Metric for Agent Skills preprint
    Boyin Tan, Xiaowei Huang, Youcheng Sun
    arXiv · 2026
  7. SWE-Manager: Selecting and Synthesizing Golden Proposals Before Coding preprint
    Boyin Tan, Haoning Deng, Junyuan Zhang, Junjielong Xu, Pinjia He, Youcheng Sun
    arXiv · 2026
  8. LLM-Driven Kernel Evolution: Automating Driver Updates in Linux preprint
    Arina Kharlamova, Jiawen Liu, Tianyi Zhang, Xinrui Yang, Humaid Alqasimi, Youcheng Sun, Chun Jason Xue
    arXiv · 2025
  9. Towards Large Language Model Guided Kernel Direct Fuzzing
    Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang
    FASE · 2025
  10. ESBMC-Python: A Bounded Model Checker for Python Programs
    Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
    ISSTA · 2024
  11. Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models
    Jialuo Chen, Jingyi Wang, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li, Dawn Song
    IEEE S&P · 2022
  12. NNrepair: Constraint-Based Repair of Neural Network Classifiers
    Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
    CAV · 2021
  13. Ranking Policy Decisions
    Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
    NeurIPS · 2021
  14. Structural test coverage criteria for deep neural networks
    Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
    ACM TECS · 2019
  15. Building Better Bit-Blasting for Floating-Point Problems
    Martin Brain, Florian Schanda, Youcheng Sun
    TACAS · 2019
  16. Concolic testing for deep neural networks
    Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
    ASE · 2018