Youcheng Sun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
24
Active years
2014–2026
Best venue rank
A*
Where they publish
- A*ICSE9 papers
- A*ACL3 papers
- AISSTA3 papers
- A*EMNLP2 papers
- BFASE2 papers
- A*CAV2 papers
- MulticonferenceSAC2 papers
- BRTCSA2 papers
- A*AAAI1 paper
- ARE1 paper
- BECRTS1 paper
- BSEFM1 paper
- A*SP1 paper
- BRV1 paper
- A*ICCV1 paper
- A*ECCV1 paper
- AIROS1 paper
- A*ICRA1 paper
- A*IJCAI1 paper
- ATACAS1 paper
- BICECCS1 paper
- ARTSS1 paper
- ARTAS1 paper
- NationalRTNS1 paper
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | 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 |
| 2026 | ACL | Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage. | Jinwei Hu, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang |
| 2025 | ACL | BEDAA: Bayesian Enhanced DeBERTa for Uncertainty-Aware Authorship Attribution. | Iqra Zahid, Youcheng Sun, Riza Batista-Navarro |
| 2025 | EMNLP | GRADA: Graph-based Reranking against Adversarial Documents Attack. | Jingjie Zheng, Aryo Pradipta Gema, Giwon Hong, Xuanli He, Pasquale Minervini, Youcheng Sun, Qiongkai Xu |
| 2025 | FASE | Towards Large Language Model Guided Kernel Direct Fuzzing. | Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang |
| 2025 | RE | ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation. | Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun |
| 2024 | ACL | Probing the Uniquely Identifiable Linguistic Patterns of Conversational AI Agents. | Iqra Zahid, Tharindu Madusanka, Riza Batista-Navarro, Youcheng Sun |
| 2024 | EMNLP | Multi-Loss Fusion: Angular and Contrastive Integration for Machine-Generated Text Detection. | Iqra Zahid, Yue Chang, Tharindu Madusanka, Youcheng Sun, Riza Batista-Navarro |
| 2024 | ICSE | VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. | Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang |
| 2024 | ISSTA | ESBMC-Python: A Bounded Model Checker for Python Programs. | Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro |
| 2024 | ISSTA | Isolation-Based Debugging for Neural Networks. | Jialuo Chen, Jingyi Wang, Youcheng Sun, Peng Cheng, Jiming Chen |
| 2024 | ISSTA | Interpretability Based Neural Network Repair. | Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang, Qi Xuan, Xiaoniu Yang |
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2023 | ICSE | DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models. | Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng, Xingjun Ma |
| 2023 | ICSE | AIREPAIR: A Repair Platform for Neural Networks. | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | SEFM | QNNRepair: Quantized Neural Network Repair. | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2022 | CAV | VPN: Verification of Poisoning in Neural Networks. | Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu |
| 2022 | ICSE | Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. | Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang |
| 2022 | SP | 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 |
| 2022 | RV | Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. | Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu |
| 2021 | CAV | NNrepair: Constraint-Based Repair of Neural Network Classifiers. | Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu |
| 2021 | ICCV | Explanations for Occluded Images. | Hana Chockler, Daniel Kroening, Youcheng Sun |
| 2021 | ICSE | NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. | Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath |
| 2021 | ICSE | RobOT: Robustness-Oriented Testing for Deep Learning Systems. | Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng |
| 2020 | ECCV | Explaining Image Classifiers Using Statistical Fault Localization. | Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening |
| 2020 | IROS | Practical Verification of Neural Network Enabled State Estimation System for Robotics. | Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang |
| 2020 | ICRA | Reliability Validation of Learning Enabled Vehicle Tracking. | Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang |
| 2020 | ICSE | HyDiff: hybrid differential software analysis. | Yannic Noller, Corina S. Pasareanu, Marcel Bhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske |
| 2019 | IJCAI | Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. | Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska |
| 2019 | ICSE | DeepConcolic: testing and debugging deep neural networks. | Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore |
| 2019 | ICSE | Structural test coverage criteria for deep neural networks. | Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore |
| 2019 | TACAS | Building Better Bit-Blasting for Floating-Point Problems. | Martin Brain, Florian Schanda, Youcheng Sun |
| 2018 | FASE | Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. | David Landsberg, Youcheng Sun, Daniel Kroening |
| 2018 | SAC | Assessing the pessimism of current multicore global fixed-priority schedulability analysis. | Youcheng Sun, Marco Di Natale |
| 2017 | ICECCS | Functional Requirements-Based Automated Testing for Avionics. | Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster |
| 2016 | SAC | Multicore CPU reclaiming: parallel or sequential? | Luca Abeni, Giuseppe Lipari, Andrea Parri, Youcheng Sun |
| 2015 | RTSS | Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling. | Youcheng Sun, Giuseppe Lipari |
| 2015 | RTAS | Task placement and selection of data consistency mechanisms for real-time multicore applications. | Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer |
| 2014 | RTCSA | Improving the response time analysis of global fixed-priority multiprocessor scheduling. | Youcheng Sun, Giuseppe Lipari, Nan Guan, Wang Yi |
| 2014 | RTCSA | Component-based analysis of hierarchical scheduling using linear hybrid automata. | Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey |
| 2014 | RTNS | A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata. | Youcheng Sun, Giuseppe Lipari |