paper-conference

Are Users More Willing to Use Formally Verified Password Managers?
Formal verification has recently been increasingly used to prove the correctness and security of many applications. It is attractive …
PDF
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Students in computing education increasingly use large language models (LLMs) such as ChatGPT. Yet, the role of LLMs in supporting …
PDF
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Debugging and repairing faults when programs fail to formally verify can be complex and time-consuming. Automated Program Repair (APR) …
PDF Code
What Challenges do Developer Face when using Verification-Aware Languages?
Abstract—Software reliability is critical in ensuring that the digital systems we depend on function correctly. In software …
PDF
Detecting Resource Leaks on Android with Alpakka
Mobile devices have become integral to our everyday lives, yet their utility hinges on their battery life. In Android apps, resource …
PDF Code