
Registered user since Fri 11 Jun 2021
Name:Guilherme Espada
Country:Portugal
Affiliation:LASIGE, University of Lisbon
X (Twitter): https://x.com/GuiEspada
GitHub: https://github.com/GUIpsp
Research interests:Static Analysis, Resource Analysis
Contributions
2025
POPL 2025-profile
View general profile
View general profile