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
2024
POPL 2024-profile
View general profile
View general profile