Graeme Gange

Dashed strings for string constraint solving

R Amadini, G Gange, PJ Stuckey

Journal article  |  2020  |  Artificial Intelligence

String processing is ubiquitous across computer science, and arguably more so in web programming — where it is also a critical par..

The Argmax Constraint

Graeme Gange, Peter Stuckey

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

The argmax function returns the index of the (first copy of the) maximum value occuring in a list of values. argmax is important i..

Dashed Strings and the Replace(-all) Constraint

Roberto Amadini, Graeme Gange, Peter J Stuckey

Conference Proceedings  |  2020  |  Lecture Notes in Artificial Intelligence

Dashed strings are a formalism for modelling the domain of string variables when solving combinatorial problems with string constr..

String constraint solving: past, present and future

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Conference Proceedings  |  2020  |  Frontiers in Artificial Intelligence and Applications

String constraint solving is an important emerging field, given the ubiquity of strings over different fields such as formal analy..

Dissecting widening: Separating termination from information

G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2019  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Widening ensures or accelerates convergence of a program analysis, and sometimes contributes a guarantee of soundness that would o..

Compiling CP subproblems to MDDs and d-DNNFs

Diego de Una, Graeme Gange, Peter Schachte, Peter J Stuckey

Journal article  |  2019  |  Constraints

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John P Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article  |  2018  |  Theory and Practice of Logic Programming

Reference Abstract Domains and Applications to String Analysis

Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Journal article  |  2018  |  Fundamenta Informaticae

Abstract interpretation is a well established theory that supports reasoning about the run-time behaviour of programs. It achieves..

Sweep-based propagation for string constraint solving

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Proceedings of the 2018 AAAI Conference on Artificial Intelligence

Solving constraints over strings is an emerging important field. Recently, a Constraint Programming approach based on dashed strin..

Optimal Sankey Diagrams via Integer Programming

David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter Stuckey

Conference Proceedings  |  2018  |  2018 IEEE Pacific Visualization Symposium (PacificVis)