collaborators

5 papers

cs.HC2026

Making Sense of Scams: Understanding Scam Conversations Through Multi-Level Alignment

Zhenyu Mao, Jacky Keung, Xiangyu Li +4

Online scams often unfold gradually through interaction, yet existing detection systems predominantly rely on snapshot-based signals and interruptive warnings, revealing two resear…

cs.SE2026

ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation

Haowei Cheng, Milhan Kim, Chong Liu +6

As software systems grow in complexity, they must satisfy an increasing number of competing quality attributes, making it essential to balance them in a principled manner -- for ex…

cs.SE2025

Towards Requirements Engineering for GenAI-Enabled Software: Bridging Responsibility Gaps through Human Oversight Requirements

Zhenyu Mao, Jacky Keung, Yicheng Sun +3

Context: Responsibility gaps, long-recognized challenges in socio-technical systems where accountability becomes diffuse or ambiguous, have become increasingly pronounced in GenAI-…

cs.SE2025

Towards Engineering Multi-Agent LLMs: A Protocol-Driven Approach

Zhenyu Mao, Jacky Keung, Fengji Zhang +3

The increasing demand for software development has driven interest in automating software engineering (SE) tasks using Large Language Models (LLMs). Recent efforts extend LLMs into…

cs.CR2025

Hybrid Privacy Policy-Code Consistency Check using Knowledge Graphs and LLMs

Zhenyu Mao, Xinxin Fan, Yifei Wang +2

The increasing concern in user privacy misuse has accelerated research into checking consistencies between smartphone apps' declared privacy policies and their actual behaviors. Re…