research
∙
08/28/2023
MELT: Mining Effective Lightweight Transformations from Pull Requests
Software developers often struggle to update APIs, leading to manual, ti...
share
research
∙
05/25/2023
UpMax: User partitioning for MaxSAT
It has been shown that Maximum Satisfiability (MaxSAT) problem instances...
research
∙
03/09/2022
CUBES: A Parallel Synthesizer for SQL Using Examples
In recent years, more and more people see their work depend on data mani...
research
∙
02/12/2021
SOAR: A Synthesis Approach for Data Science API Refactoring
With the growth of the open-source data science community, both the numb...
research
∙
12/28/2020
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Form validators based on regular expressions are often used on digital f...
research
∙
10/15/2020
Program Equivalence for Assisted Grading of Functional Programs (Extended Version)
In courses that involve programming assignments, giving meaningful feedb...
research
∙
10/10/2019
Reflections on "Incremental Cardinality Constraints for MaxSAT"
To celebrate the first 25 years of the International Conference on Princ...
research
∙
06/19/2018
Approximation Strategies for Incomplete MaxSAT
Incomplete MaxSAT solving aims to quickly find a solution that attempts ...
research
∙
11/21/2017
Program Synthesis using Conflict-Driven Learning
We propose a new conflict-driven program synthesis technique that is cap...
research
∙
06/26/2017
Relating Complexity-theoretic Parameters with SAT Solver Performance
Over the years complexity theorists have proposed many structural parame...
research
∙
05/10/2015
Exploiting Resolution-based Representations for MaxSAT Solving
Most recent MaxSAT algorithms rely on a succession of calls to a SAT sol...
research
∙
08/20/2014