Skip to content
View pmorvalho's full-sized avatar

Highlights

  • Pro
Block or Report

Block or report pmorvalho

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. ecai23-GNNs-for-mapping-variables-between-programs ecai23-GNNs-for-mapping-variables-between-programs Public

    Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.

    Python

  2. MultIPAs MultIPAs Public

    MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation

    C 3 1

  3. squares-sql/SQUARES squares-sql/SQUARES Public

    A SQL and R Synthesizer Using Query Reverse Engineering

    Python 25 1

  4. C-Pack-IPAs C-Pack-IPAs Public

    C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)

    C 5

  5. forge-lab/upmax forge-lab/upmax Public

    UpMax: User partitioning for MaxSAT

    C++ 1

  6. InvAASTCluster InvAASTCluster Public

    InvAASTCluster: AASTs and Invariant-Based Program Clustering

    C 1