5 citations · 6 across the 11 of their papers we have counts for
4 papers · 1 filter
ProofPulse: Interactive Proof Coverage Analysis for Dafny
Álvaro F. Silva, Ruben Martins, Alexandra Mendes
Deductive verification ensures that an implementation satisfies its specification, but successful verification does not guarantee the quality of the specification. As such, weak sp…
Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques
William Klieber, David Svoboda, Lori Flynn +1
Static analysis is widely used for finding security weaknesses in source code before deployment, but it often produces far more alerts than analysts can review. We study how well l…
Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability
Shirley Yu, Ruben Martins
Program verification is crucial for software correctness, but producing fully verified programs remains difficult in practice. This paper studies whether implementation structure a…
SPELL: Synthesis of Programmatic Edits using LLMs
Daniel Ramos, Catarina Gamboa, Inês Lynce +3
Library migration is a common but error-prone task in software development. Developers may need to replace one library with another due to reasons like changing requirements or lic…