4 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.
Teaching Software Engineering with LLM and MCP Integration: From Classroom to Industry Practice
Kehui Chen, Jacky Keung, Weining Li +3
The rapid integration of Large Language Models (LLMs) and the Model Context Protocol (MCP) into industrial software engineering has created a pressing need to update software engin…
Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
Wenqiang Luo, Jacky Wai Keung, Boyang Yang +4
Recent advances in leveraging LLMs for APR have demonstrated impressive capabilities in fixing software defects. However, current LLM-based approaches predominantly focus on mainst…
When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair
Wenqiang Luo, Jacky Wai Keung, Boyang Yang +5
Software systems have been evolving rapidly and inevitably introducing bugs at an increasing rate, leading to significant losses in resources consumed by software maintenance. Rece…