15 citations · 23 across the 8 of their papers we have counts for
9 papers
SpecAgent: Empowering Program Verification with Agentic Synthesis of Formal Program Specifications
Lezhi Ma, Han Wang, Shangqing Liu +2
Formal specifications are essential for deductive program verification, providing semantic abstractions for compositional verification of complex software. However, manually constr…
A Comprehensive Study of Implementation Bugs in Multi-modal Agents
Suwan Li, Lei Bu, Shangqing Liu +5
Multi-Modal Agents (M-agents), empowered by Large Language Models (LLMs), excel in various complex, open-world scenarios such as autonomous driving and robotics. However, their uni…
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
Lezhi Ma, Shangqing Liu, Yi Li +4
Program verification is a formal technique to rigorously ensure the correctness and fault-freeness of software systems. However, constructing comprehensive interprocedural specific…
EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
Qian Zhu, Yuxuan Liu, Ziyuan Zhu +2
Extended Berkeley Packet Filter (eBPF) allows developers to extend Linux kernel functionality without modifying its source code. To ensure system safety, an in-kernel safety checke…
Intention is All You Need: Refining Your Code from Your Intention
Qi Guo, Xiaofei Xie, Shangqing Liu +3
Code refinement aims to enhance existing code by addressing issues, refactoring, and optimizing to improve quality and meet specific requirements. As software projects scale in siz…
SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Lezhi Ma, Shangqing Liu, Lei Bu +3
Large Language models have achieved impressive performance in automated software engineering. Extensive efforts have been made to evaluate the abilities of code LLMs in various asp…
Model-Enhanced LLM-Driven VUI Testing of VPA Apps
Suwan Li, Lei Bu, Guangdong Bai +3
The flourishing ecosystem centered around voice personal assistants (VPA), such as Amazon Alexa, has led to the booming of VPA apps. The largest app market Amazon skills store, for…
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Qi Guo, Xiaohong Li, Xiaofei Xie +6
The rise of code pre-trained models has significantly enhanced various coding tasks, such as code completion, and tools like GitHub Copilot. However, the substantial size of these…
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Lezhi Ma, Shangqing Liu, Yi Li +2
Formal program specifications play a crucial role in various stages of software development. However, manually crafting formal program specifications is rather difficult, making th…