8 papers
SOP=SOP
Artem Chernikov
The classes of SOP and SOP first-order theories coincide. This answers a question of Džamonja and Shelah from 2004.
Understanding How Enterprises Adopt the Model Context Protocol for LLM-Driven Software Engineering
Kehui Chen, Yicheng Sun, Jacky Keung +2
Large Language Models (LLMs) are increasingly used in AI-based software engineering, but their limitations in complex task execution and multi-tool coordination have driven growing…
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…
Fixturize: Bridging the Fixture Gap in Test Generation
Chengyi Wang, Pengyu Xue, Zhen Yang +8
Current Large Language Models (LLMs) have advanced automated unit test generation but face a critical limitation: they often neglect to construct the necessary test fixtures, which…
PerProb: Indirectly Evaluating Memorization in Large Language Models
Yihan Liao, Jacky Keung, Xiaoxue Ma +2
The rapid advancement of Large Language Models (LLMs) has been driven by extensive datasets that may contain sensitive information, raising serious privacy concerns. One notable th…
Exposing and Defending Membership Leakage in Vulnerability Prediction Models
Yihan Liao, Jacky Keung, Xiaoxue Ma +2
Neural models for vulnerability prediction (VP) have achieved impressive performance by learning from large-scale code repositories. However, their susceptibility to Membership Inf…