3 papers
cs.SE2026
Learning from the Test: Self-Referential Differential Testing for Deep RL Agents
Junda He, Jieke Shi, Zhou Yang +2
Deep Reinforcement Learning (DRL) has achieved significant success in complex decision-making problems. As DRL systems are increasingly deployed in real-world applications, ensurin…
cs.CR2025
Backdoors in Code Summarizers: How Bad Is It?
Chenyu Wang, Zhou Yang, Yaniv Harel +1
Code LLMs are increasingly employed in software development. However, studies have shown that they are vulnerable to backdoor attacks: when a trigger (a specific input pattern) app…
cs.SE2024
Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
Jieke Shi, Junda He, Zhou Yang +2
With the increasing use of neural policies in control systems, ensuring their safety and reliability has become a critical software engineering task. One prevalent approach to ensu…