1 citations · 1 across the 8 of their papers we have counts for
10 papers
VerusWeave: A Benchmark for Proof Repair in Concurrent Verus Programs
Pedro Ribeiro, Martim Afonso, André Vasconcelos +1
Concurrent software underpins critical infrastructure, including operating systems and databases, yet thread interactions can have bugs that bypass conventional testing. Verus exte…
Environmental Impact of CI/CD Pipelines
Nuno Saavedra, Alexandra Mendes, João F. Ferreira
CI/CD pipelines are widely used in software development, yet their environmental impact, particularly carbon and water footprints (CWF), remains largely unknown to developers, as C…
Structuring Security: A Survey of Cybersecurity Ontologies, Semantic Log Processing, and LLMs Application
Bruno Lourenço, Pedro Adão, João F. Ferreira +2
This survey investigates how ontologies, semantic log processing, and Large Language Models (LLMs) enhance cybersecurity. Ontologies structure domain knowledge, enabling interopera…
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
Martim Afonso, Nuno Saavedra, Bruno Lourenço +2
Systematic reviews and mapping studies are critical to synthesize research, identify gaps, and guide future work, but are often labor-intensive and time-consuming. Existing tools p…
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
Carolina Carreira, Nuno Saavedra, Alexandra Mendes +1
Infrastructure as Code (IaC) tools have transformed the way IT infrastructure is automated and managed, but their growing adoption has also exposed numerous challenges for practiti…
Are Users More Willing to Use Formally Verified Password Managers?
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
Formal verification has recently been increasingly used to prove the correctness and security of many applications. It is attractive because it can prove the absence of errors with…
A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
Carolina Carreira, Alexandra Mendes, João F. Ferreira +1
Cybersecurity incidents such as data breaches have become increasingly common, affecting millions of users and organizations worldwide. The complexity of cybersecurity threats chal…
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
Infrastructure as Code (IaC) enables scalable and automated IT infrastructure management but is prone to errors that can lead to security vulnerabilities, outages, and data loss. W…
Contract Usage and Evolution in Android Mobile Applications
David R. Ferreira, Alexandra Mendes, João F. Ferreira
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the…
Leveraging Large Language Models to Boost Dafny's Developers Productivity
Álvaro Silva, Alexandra Mendes, João F. Ferreira
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as…