1 citations · 2 across the 3 of their papers we have counts for
5 papers
PatchHolmes: Agentic Patch Retrieval via Listwise Selection
Guanqun Yang, Yingming Zhou, Jiangrui Zheng +2
Patch retrieval, the task of finding the commit that fixes a known vulnerability, is the foundation of vulnerability management workflows, yet 60% to 63% of CVEs in the major advis…
RAISE: Reinforcing Access Control Policy Synthesis in LLMs via Symbolic Evaluation
Yingming Zhou, Adarsh Vatsa, William Eiers
Translating natural-language access-control requirements into policies requires careful reasoning about permissions, constraints, and exceptions, and even frontier LLMs often produ…
AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis
Adarsh Vatsa, Sachi Shome, Yingming Zhou +1
Large Language Models are increasingly used to turn natural-language requirements into code. In access control, that shortcut is dangerous: a generated policy can compile and read…
Think-on-Process: Dynamic Process Generation for Collaborative Development of Multi-Agent System
Leilei Lin, Yingming Zhou, Wenlong Chen +1
Software development is a collaborative endeavor that requires individuals from different departments to work together in order to collectively develop a high-quality software syst…
MAO: A Framework for Process Model Generation with Multi-Agent Orchestration
Leilei Lin, Yumeng Jin, Yingming Zhou +2
Process models are frequently used in software engineering to describe business requirements, guide software testing and control system improvement. However, traditional process mo…