Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Youcheng Sun
conf.researchr.org general profile
ASE 2024 profile
EASE 2026 profile
FSE 2025 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ISSTA 2025 profile
ISSTA/ECOOP 2024 profile
NASA Formal Methods 2024 profile
Requirements Engineering 2025 profile
SPLASH/ISSTA 2026 profile
Registered user since Tue 3 Mar 2020
Name:
Youcheng Sun
Country:
United Arab Emirates
Affiliation:
MBZUAI
Contributions
2026
ISSTA
Committee Member in Research papers within the Research papers-track
EASE
Committee Member in Short Papers and Emerging Results within the Short Papers and Emerging Results-track
2025
Requirements Engineering
Author of ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation within the RE@Next! Papers-track
ISSTA
Committee Member in Program Committee within the Research Papers-track
2030 Software Engineering
Committee Member in Program Committee within the 2030 Software Engineering-track
2024
ASE
Author of FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection within the Research Papers-track
ISSTA
Author of Isolation-Based Debugging for Neural Networks within the Technical Papers-track
Author of Interpretability Based Neural Network Repair within the Technical Papers-track
ECOOP/ISSTA
Author of ESBMC-Python: A Bounded Model Checker for Python Programs within the Tool Demonstrations-track
NFM
Committee Member in Program Committee within the NFM 2024-track
ICSE
Author of VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks within the Research Track-track
Author of VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks within the Artifact Evaluation-track
KLEE
Author of Exploring Complexity Estimation with Symbolic Execution and Large Language Models within the KLEE 2024-track
2023
ICSE
Author of DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models within the DEMO - Demonstrations-track
Author of AIREPAIR: A Repair Platform for Neural Networks within the DEMO - Demonstrations-track
Session Chair of Software verification (part of Technical Track)
2022
ICSE
Author of Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning within the Technical Track-track
2021
ICSE
Author of RobOT: Robustness-Oriented Testing for Deep Learning Systems within the Technical Track-track
Author of NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks within the DEMO - Demonstrations-track
2020
ICSE
Author of HyDiff: Hybrid Differential Software Analysis within the Technical Papers-track
Share
x
Sun 14 Dec 05:21
