1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2025
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
Shunyu Liu, Guangdong Bai, Mark Utting +1
Automated Program Repair (APR) has emerged as a promising paradigm for reducing debugging time and improving the overall efficiency of software development. Recent advances in Larg…
cs.LO2022★ 1 cited
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)
Mark Utting, Brae J. Webb, Ian J. Hayes
We want to verify the correctness of optimization phases in the GraalVM compiler, which consist of many thousands of lines of complex Java code performing sophisticated graph trans…
cs.LO2021★ 1 cited
Verification of a Smart Contract for a Simple Casino
Mark Utting, Liam Kent
We describe the verification of an existing smart contract for a simple casino application, using the Whiley specification and programming language, with a fully automated verifica…