A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair

A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model

Automated Program Repair of Dafny Programs: Repairing Arithmetic Programs

Automatic Bug Prioritization of SmartBugs Reports using Machine Learning

Extending the Concert Framework to Verify Solana Programs

Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control

GLITCH: Polyglot Code Smell Detection for Infrastructure as Code

Reasoning About Persistent and Concurrent Data Structures: Evaluating the Persistent Owicki-Gries Program Logic Through the Verification of a Persistent Queue

Persistence of Passwords in Bitwarden's Browser Extension: Unnecessary Retention and Solutions

Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables

Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework

A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts

Development of a Multi-Platform Whiteboard Application

Extending EcoAndroid with Automated Detection of Resource Leaks

Formal Verification of Password Generation Algorithms used in Password Managers

Migrating Smart Contracts Across Heterogeneous Blockchains

On Usable Security and Verified Password Managers

SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords

Verification of Auction-Based Smart Contracts using the ConCert Framework

Qualichain