conf.researchr.org / Pedro Orvalho

Registered user since Mon 24 Oct 2022

Name:Pedro Orvalho
Country:Portugal
Affiliation:INESC-ID, Instituto Superior Técnico, University of Lisbon
Personal website:https://arsr.inesc-id.pt/~pmorvalho
GitHub:https://github.com/pmorvalho

Contributions

ESEC/FSE 2022 Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the ESEC/FSE 2021-track
Author of MultIPAs : Applying Program Transformations to Introductory Programming Assignments for Data Augmentation within the Demonstrations-track