New ISSRE 2026 Paper and Vibenix Preprint

Aug 23, 2026

New paper accepted at ISSRE 2026 and a new Vibenix preprint on software packaging and maintenance with Nix.

We are delighted to share two new research updates from the Software Reliability Lab:

  1. Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
    Accepted at the 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026).
    Authors: Álvaro Silva, Isabel Amaral, João Pascoal Faria, and Alexandra Mendes.

  2. Vibenix: Agentic Software Packaging and Maintenance with Nix
    New preprint under submission, submitted on 20 August 2026. This work extends our LAST-X 2026 paper.
    Authors: Martim Monis, Martin Schwaighofer, Nuno Saavedra, Alexandra Mendes, Rene Mayrhofer, and João F. Ferreira.

Congratulations to all the authors!