📄 Paper accepted @ AAAI 2025!! 🎉
I am very happy to share that our paper that combines the strengths of both MaxSAT-based fault localisation and Large Language Models, via zero-shot learning, to enhance automated …
Automated Feedback for Introductory Programming Exercises
Delivering valuable and personalised feedback to students remains one of the greatest challenges in programming education, particularly in courses with large enrollments. Providing …
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases @ FM 2024
In this talk I will introduce a novel fault localization approach for C programs with multiple faults. CFaults leverages Model-Based Diagnosis (MBD) with multiple observations and …
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
This paper introduces a novel fault localization approach for C programs with multiple faults. CFaults leverages Model-Based Diagnosis (MBD) with multiple observations and …
User partitioning for Maximum Satisfiability
The Maximum Satisfiability (MaxSAT) problem is the optimisation variant of the Satisfiability (SAT) problem. Solving MaxSAT efficiently often involves partitioning the set of soft …
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.
UpMax: User partitioning for MaxSAT
This paper proposes a new framework called UpMax that decouples the partitioning procedure from the MaxSAT solving algorithms. As a result, new partitioning procedures can be …
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.