Search

Nuno Saavedra

ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
Vibenix: An AI Assistant for Software Packaging with Nix
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Do Experts Agree About Smelly Infrastructure?
CoqPyt: Proof Navigation in Python in the Era of LLMs
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code

Published with Wowchemy — the free, open source website builder that empowers creators.