Welcome to the GitHub organization of the Software Reliability Lab (SR-Lab), a research group focused on methods and techniques for improving the quality and dependability of software systems, emphasising the construction of practical tools that can have societal impact. Our work spans from empirical software engineering methods that can inform practitioners and direct future research, to formal methods that can verify the absence of certain types of bugs.
We work at the intersection of:
- 📐 Programming Languages and Formal Methods
- 🛠 Software Verification and Static Analysis
- 🧪 Empirical Software Engineering
Our research produces both insights and tools—often open-source—that help developers understand and improve the systems they build. We work in domains such as:
- ☁️ Infrastructure as Code (IaC)
- 📱 Android Applications
- 🔐 Ethereum Smart Contracts
- GLITCH: GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.
- CoqPyt: Python client for coq-lsp
- EcoAndroid: A static analysis tool to detect energy-related bugs in Android applications.
- hoogle_plus: Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR).
- SmartBugs: SmartBugs is a Framework to Analyze Ethereum Smart Contracts
👉 Explore all repositories in the organization page »
Our group includes faculty, PhD students, MSc students, and collaborators passionate about software reliability and real-world impact.
See the full team: sr-lab.github.io/#people
We publish at top-tier venues like ICSE, FSE, ASE, ISSTA, ICST, TSE, and ESEM. You can browse our recent publications here:
We're always open to collaboration. If you are a student, researcher, or practitioner interested in:
- Building tools that help developers write better code and produce more rebiable software systems
- Applying formal methods to modern software systems
- Mining and analyzing real-world software artifacts
For opportunities, see our Research Opportunities page.
Feel free to get in touch!
- 🌐 sr-lab.github.io
- 📍 We are currently based in sunny and beautiful Portugal
Unless otherwise noted, our code and datasets are released under open-source licenses (e.g., MIT, Apache 2.0). See individual repositories for details.