paper-conference

CoqPyt: Proof Navigation in Python in the Era of LLMs
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive …
PDF Code Video
How are Contracts Used in Android Mobile Applications?
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and …
PDF
Leveraging Large Language Models to Boost Dafny's Developers Productivity
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the …
PDF
Patient-centric health data sovereignty: an approach using proxy re-encryption
The exponential growth in the digitisation of services implies the handling and storage of large volumes of data. Businesses and …
PDF DOI
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
This paper presents GLITCH, a new technology-agnostic framework that enables automated polyglot code smell detection for Infrastructure …
PDF Code