Photo of Graeme Gange
 

View Scopus Profile

Graeme Gange

Dr

 https://orcid.org/0000-0002-1354-431X
20082023

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference Paper
2019

Constraint programming for dynamic symbolic execution of JavaScript

Amadini, R., Andrlon, M., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science ; vol. 11494 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Dissecting widening: separating termination from information

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Programming Languages and Systems : 17th Asian Symposium, APLAS 2019 Nusa Dua, Bali, Indonesia, December 1–4, 2019 Proceedings. Lin, A. W. (ed.). Cham Switzerland: Springer, p. 95-114 20 p. (Lecture Notes in Computer Science; vol. 11893 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Lazy CBS: implict Conflict-Based Search using Lazy Clause Generation

Gange, G., Harabor, D. & Stuckey, P. J., 5 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. Benton, J., Lipovetzky, N., Onaindia, E., E. Smith, D. & Srivastava, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 29. p. 155-162 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
2018

A fast and scalable algorithm for scheduling large numbers of devices under real-time pricing

He, S., Wallace, M., Gange, G., Liebman, A. & Wilson, C., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 649-666 18 p. (Lecture Notes in Computer Science ; vol. 11008).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

1 Citation (Scopus)

Breaking symmetries with lex implications

Codish, M., Ehlers, T., Gange, G., Itzhakov, A. & Stuckey, P. J., 2018, Functional and Logic Programming: 14th International Symposium, FLOPS 2018 Nagoya, Japan, May 9–11, 2018 Proceedings. Gallagher, J. P. & Sulzmann, M. (eds.). Cham Switzerland: Springer, p. 182-197 16 p. (Lecture Notes in Computer Science ; vol. 10818 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Machine Learning and Constraint Programming for Relational-to-Ontology schema mapping

De Uña, D., Rümmele, N., Gange, G., Schachte, P. & Stuckey, P. J., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1277-1283 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
3 Citations (Scopus)

Optimal Sankey Diagrams via Integer Programming

Zarate, D. C., Bodic, P. L., Dwyer, T., Gange, G. & Stuckey, P., 2018, Proceedings - 2018 IEEE Pacific Visualization Symposium, PacificVis 2018: 10–13 April 2018 Kobe, Japan. Bruckner, S., Koyamada, K. & Lee, B. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 135-139 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2 Citations (Scopus)

Propagating lex, find and replace with dashed strings

Amadini, R., Gange, G. & Stuckey, P. J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018 Delft, The Netherlands, June 26–29, 2018 Proceedings. van Hoeve, W-J. (ed.). Cham Switzerland: Springer, p. 18-34 17 p. (Lecture Notes in Computer Science ; vol. 10848 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2 Citations (Scopus)

Propagating regular membership with dashed strings

Amadini, R., Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 13-29 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

1 Citation (Scopus)

Sequential precede chain for value symmetry elimination

Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 144-159 16 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Sweep-based propagation for string constraint solving

Amadini, R., Gange, G. & Stuckey, P. J., 2018, The Thirty-Second AAAI Conference on Artificial Intelligence. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6557-6564 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
3 Citations (Scopus)
2017

A benders decomposition approach to deciding modular linear integer arithmetic

Kafle, B., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Gaspers, S. & Walsh, T. (eds.). Cham Switzerland: Springer, p. 380-397 18 p. (Lecture Notes in Computer Science ; vol. 10491 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

1 Citation (Scopus)

A novel approach to string constraint solving

Amadini, R., Gange, G., Stuckey, P. J. & Tack, G., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

5 Citations (Scopus)

Automatic logic-based benders decomposition with minizinc

Davies, T. O., Gange, G. & Stuckey, P. J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17): San Francisco, California, USA — February 04 - 09, 2017. Singh, S. & Markovitch, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 787-793 7 p. 1642

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)

Combining string abstract domains for JavaScript analysis: an evaluation

Amadini, R., Jordan, A., Gange, G., Gauthier, F., Schachte, P., Søndergaard, H., Stuckey, P. J. & Zhang, C., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 Uppsala, Sweden, April 22–29, 2017 Proceedings, Part I. Legay, A. & Margaria, T. (eds.). Berlin Germany: Springer, p. 41-57 17 p. (Lecture Notes in Computer Science ; vol. 10205 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

9 Citations (Scopus)

Fixing the state budget: approximation of regular languages with small DFAs

Gange, G., Ganty, P. & Stuckey, P. J., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017 Pune, India, October 3–6, 2017 Proceedings. D’Souza, D. & Narayan Kumar, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 10482 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)

Minimizing landscape resistance for habitat conservation

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2017, Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017 Padua, Italy, June 5–8, 2017 Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham Switzerland: Springer, p. 113-130 18 p. (Lecture Notes in Computer Science ; vol. 10335 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2016

A bounded path propagator on directed graphs

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 189-206 18 p. (Lecture Notes in Computer Science ; vol. 9892 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

An abstract domain of uninterpreted functions

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2016, Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016 St. Petersburg, FL, USA, January 17–19, 2016 Proceedings. Jobstmann, B. & M. Leino, K. R. (eds.). Berlin Germany: Springer, p. 85-103 19 p. (Lecture Notes in Computer Science ; vol. 9583).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

5 Citations (Scopus)

Breaking symmetries in graphs: the nauty way

Codish, M., Gange, G., Itzhakov, A. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 157-172 16 p. (Lecture Notes in Computer Science ; vol. 9892 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)

Constraint propagation and explanation over novel types by abstract compilation

Gange, G. & Stuckey, P. J., Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA. Carro, M., King, A., Saeedloei, N. & De Vos, M. (eds.). Wadern Germany: Schloss Dagstuhl, 14 p. 13. (OpenAccess Series in Informatics; vol. 52).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

Exploiting sparsity in difference-bound matrices

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2016, Static Analysis: 23rd International Symposium, SAS 2016 Edinburgh, UK, September 8–10, 2016 Proceedings. Rival, X. (ed.). Berlin Germany: Springer, p. 189-211 23 p. (Lecture Notes in Computer Science ; vol. 9837 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

10 Citations (Scopus)

Lagrangian decomposition via sub-problem search

Chu, G., Gange, G. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 65-80 16 p. (Lecture Notes in Computer Science ; vol. 9676).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2 Citations (Scopus)

On CNF encodings of decision diagrams

Abío, I., Gange, G., Mayer-Eichberger, V. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 1-17 17 p. (Lecture Notes in Computer Science ; vol. 9676).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

4 Citations (Scopus)

Steiner tree problems with side constraints using constraint programming

De Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI'16 ): February 12–17, 2016 Phoenix, Arizona, USA. Schuurmans, D. & Wellman, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 3383-3389 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
5 Citations (Scopus)

Weighted spanning tree constraint with explanations

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 98-107 10 p. (Lecture Notes in Computer Science ; vol. 9676).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)
2015

Analyzing array manipulating programs by program transformation

Cornish, J. R. M., Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9–11, 2014 Revised Selected Papers. Proietti, M. & Seki, H. (eds.). Cham Switzerland : Springer, p. 3-20 18 p. (Lecture Notes in Computer Science ; vol. 8981).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2 Citations (Scopus)

A tool for intersecting context-free grammars and its applications

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2015, NASA Formal Methods: 7th International Symposium, NFM 2015 Pasadena, CA, USA, April 27–29, 2015 Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham Switzerland: Springer, p. 422-428 7 p. (Lecture Notes in Computer Science ; vol. 9058).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2 Citations (Scopus)

SLA-based resource scheduling for Big Data Analytics as a service in Cloud computing environments

Zhao, Y., Calheiros, R. N., Gange, G., Ramamohanarao, K. & Buyya, R., 2015, Proceedings - 2015 44th International Annual Conference on Parallel Processing, The 44th Annual Conference, ICPP 2015. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 510-519 10 p. 7349606

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

25 Citations (Scopus)
2013

Abstract interpretation over non-lattice abstract domains

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 26 Sep 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. Springer, p. 6-24 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

11 Citations (Scopus)

Explaining propagators for edge-valued decision diagrams

Gange, G., Stuckey, P. J. & Van Hentenryck, P., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 340-355 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

9 Citations (Scopus)

Solving difference constraints over modular arithmetic

Gange, G., Søndergaard, H., Stuckey, P. J. & Schachte, P., 15 Jul 2013, CADE 2013 - 24th International Conference on Automated Deduction, Proceedings. Springer, p. 215-230 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7898 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

4 Citations (Scopus)

Unbounded model-checking with interpolation for regular language constraints

Gange, G., Navas, J. A., Stuckey, P. J., Søndergaard, H. & Schachte, P., 5 Mar 2013, Tools and Algorithms for the Construction and Analysis of Systems - 19th Int. Conf., TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. Springer, p. 277-291 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

12 Citations (Scopus)
2012

Explaining propagators for s-DNNF circuits

Gange, G. & Stuckey, P. J., 29 May 2012, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 9th International Conference, CPAIOR 2012, Proceedings. Springer, p. 195-210 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7298 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2 Citations (Scopus)

Optimal guillotine layout

Gange, G., Marriott, K. G. & Stuckey, P. J., 2012, Proceedings of the 2012 ACM Symposium on Document Engineering. Schmitz, P. (ed.). New York NY USA: Association for Computing Machinery (ACM), p. 13 - 22 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

7 Citations (Scopus)
2011

Optimal automatic table layout

Gange, G., Marriott, K. G., Moulder, P. & Stuckey, P. J., 2011, Proceedings of the 11th ACM Symposium on Document Engineering. Tompa, F. W. (ed.). New York NY USA: Association for Computing Machinery (ACM), p. 23 - 31 9 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)

Optimal k-level planarization and crossing minimization

Gange, G., Stuckey, P. J. & Marriott, K. G., 2011, Proceedings of the 18th International Symposium on Graph Drawing. Brandes, U. & Cornelsen, S. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 238 - 249 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

12 Citations (Scopus)
2008

Fast set bounds propagation using BDDs

Gange, G., Lagoon, V. & Stuckey, P. J., 1 Jan 2008, Frontiers in Artificial Intelligence and Applications. IOS Press, p. 505-509 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 178).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)

Smooth linear approximation of non-overlap constraints

Gange, G., Marriott, K. G. & Stuckey, P. J., 2008, Proceedings of the 5th International Conference on Diagrammatic Representation and Interface (Diagrams 2008). Stapleton, G., Howse, J. & Lee, J. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5223. p. 45 - 59 15 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)