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
∙
07/24/2023
Graph Neural Networks For Mapping Variables Between Programs – Extended Version
Automated program analysis is a pivotal research domain in many areas of...
research
∙
05/25/2023
UpMax: User partitioning for MaxSAT
It has been shown that Maximum Satisfiability (MaxSAT) problem instances...
research
∙
06/28/2022
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Due to the vast number of students enrolled in Massive Open Online Cours...
research
∙
06/17/2022
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Due to the vast number of students enrolled in Massive Open Online Cours...
research
∙
04/22/2022
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
In the last decade, a plethora of algorithms for single-objective Boolea...
research
∙
04/14/2022
Exact and approximate determination of the Pareto set using minimal correction subsets
Recently, it has been shown that the enumeration of Minimal Correction S...
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
∙
10/10/2019
Reflections on "Incremental Cardinality Constraints for MaxSAT"
To celebrate the first 25 years of the International Conference on Princ...
research
∙
05/10/2015
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability
The most successful parallel SAT and MaxSAT solvers follow a portfolio a...
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
Incremental Cardinality Constraints for MaxSAT
Maximum Satisfiability (MaxSAT) is an optimization variant of the Boolea...
research
∙
07/26/2012