3 papers
cs.SE2026
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…
cs.SE2024
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…
cs.AI2024
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…