• Sign in
  • Sign up
conf.researchr.org / Pedro Orvalho
  • ESEC/FSE 2022 profile
  • ICSE 2024 profile
  • SIGCSE Virtual 2024 profile
Pedro Orvalho

Registered user since Mon 24 Oct 2022

Name:Pedro Orvalho
Country:United Kingdom
Affiliation:Department of Engineering Science, University of Oxford
Personal website: https://cs.ox.ac.uk/people/pedro.orvalho/
GitHub: https://github.com/pmorvalho
Research interests:Program Repair, Verification, Automated Reasoning, Formal Methods, Artificial Intelligence

Contributions

2024

SIGCSE Virtual

  • Author of GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education within the Conference-track

APR

  • Author of C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments within the APR 2024-track

2022

ESEC/FSE

  • 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
Share
xSun 13 Jul 19:52
using conf.researchr.org (v1.69.1)
Support page
Sign Up