UpMax: User partitioning for MaxSAT @ SAT 2023
In this talk I will present a new framework called UpMax that decouples the partitioning procedure from the MaxSAT solving algorithms.
Learning Variable Mappings to Repair and Verify Programs @ CIIRC 2023
In this talk I will propose using graph neural networks (GNNs) to map the set of variables between two programs based on both programs' abstract syntax trees (ASTs).
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation @ FSE 2022
In this talk I will present MultIPAs, a program transformation tool that can augment IPAs benchmarks by (1) applying six syntactic mutations that conserve the program's semantics …
Project Proposal: Learning Variable Mappings to Repair Programs @ AITP 2022
In this talk I propose to learn how to map the set of variables between different small imperative programs based on both programs' abstract syntax trees (ASTs) using graph neural …
Anonymized Abstract Syntax Trees and Invariant-Based Program Clustering @ CIIRC 2022
In this talk I propose a novel approach for program clustering that uses dynamically generated program invariants to cluster semantically equivalent programming assignments.
SQUARES: A SQL Synthesizer Using Query Reverse Engineering @ VLDB 2020
In this talk I present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some …
Encodings for Enumeration-Based Program Synthesis @ CP 2019
In this talk I will present a new compact line-based encoding is proposed that allows a faster enumeration of the program space.