3 papers
cs.SE2026
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
Álvaro Silva, Isabel Amaral, João Pascoal Faria +1
Verification-aware languages, like Dafny, integrate formal specifications directly into source code to enable static correctness checks. However, when verification fails, the feedb…
cs.SE2026
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
Isabel Amaral, Alexandra Mendes, José Campos
In verification-aware languages, such as Dafny, despite their critical role, specifications are as prone to error as implementations. Flaws in specifications can result in formally…
cs.PL2025
Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
Isabella Basso do Amaral, Renato Cordeiro Ferreira, Alfredo Goldman
The Python programming language is best known for its syntax and scientific libraries, but it is also notorious for its slow interpreter. Optimizing critical sections in Python ent…