3 papers
cs.SE2026
From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-Guided Multi-strategy Debate
Jiaqing Wu, Tong Wu, Manqing Zhang +2
Automated Program Repair (APR) aims to resolve software bugs without human intervention, but complex logic errors and silent failures remain challenging. Existing LLM-based APR met…
cs.SE2024
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
Tong Wu, Shale Xiong, Edoardo Manino +2
Realm Management Monitor (RMM) is an essential firmware component within the recent Arm Confidential Computing Architecture (Arm CCA). Previous work applies formal techniques to ve…
cs.LG2023
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)
Tong Wu, Edoardo Manino, Fatimah Aljaafari +2
We describe and evaluate LF-checker, a metaverifier tool based on machine learning. It extracts multiple features of the program under test and predicts the optimal configuration (…