3 papers
cs.SE2025
Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
Jieke Shi, Zhou Yang, Junda He +4
Given the increasing adoption of modern AI-enabled control systems, ensuring their safety and reliability has become a critical task in software testing. One prevalent approach to…
cs.SE2024
Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
Zhou Yang, Zhipeng Zhao, Chenyu Wang +4
Given large-scale source code datasets available in open-source projects and advanced large language models, recent code models have been proposed to address a series of critical s…
cs.SE2024
PTM4Tag+: Tag Recommendation of Stack Overflow Posts with Pre-trained Models
Junda He, Bowen Xu, Zhou Yang +5
Stack Overflow is one of the most influential Software Question & Answer (SQA) websites, hosting millions of programming-related questions and answers. Tags play a critical role in…