| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 17-mar-2025 | 27-nov-2024 | Evolution-aware static analysis of software product lines | Worm, Bruno Matissek | Alves, Vander Ramos | - |
| 24-nov-2025 | 26-mar-2025 | A framework of memoization and variational lift using interpreters | Vieira, Tayná Larissa Fischer | Alves, Vander Ramos | - |