Project Proposal: Learning Variable Mappings to Repair Programs
In this position paper, we propose to learn how to map the set of variables between different small imperative programs based on both programs' abstract syntax trees (ASTs) using …
AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
We propose AlloyMax, an extension of Alloy with a capability to express and analyze problems with optimal solutions. AlloyMax introduces (1) a small addition of language constructs …
Changjian Zhang
•
•
1 min read
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 …
SQUARES: A SQL Synthesizer Using Query Reverse Engineering
In this paper, we present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some …
SQUARES: A SQL Synthesizer Using Query Reverse Engineering
MSc Thesis. We propose a novel Enumeration-Based SQL synthesizer SQUARES, that uses a new line representation where we represent each program line with its own subtree.
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.
Encodings for Enumeration-Based Program Synthesis
In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.