paper-conference

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Type-directed component-based program synthesis is the task of automatically building a function with applications of available …
PDF Code Source Document
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code

Infrastructure as Code (IaC) is the process of managing IT infrastructure via programmable configuration files (also called IaC …

PDF Dataset
Extending EcoAndroid with Automated Detection of Resource Leaks
When developing mobile applications, developers often have to decide when to acquire and when to release resources. This leads to …
PDF
Exploring Automatic Specification Repair in Dafny Programs
Formal verification has become increasingly crucial in ensuring the accurate and secure functioning of modern software systems. Given a …
PDF DOI
Verified password generation from password composition policies
Password managers (PMs) are important tools that enable the use of stronger passwords, freeing users from the cognitive burden of …
PDF Code