Graeme Gange
TitleCited byYear
SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments
Y Zhao, RN Calheiros, G Gange, K Ramamohanarao, R Buyya
Parallel Processing (ICPP), 2015 44th International Conference on, 510-519, 2015
332015
MDD propagators with explanation
G Gange, PJ Stuckey, R Szymanek
Constraints 16 (4), 407-429, 2011
292011
Abstract interpretation over non-lattice abstract domains
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 6-24, 2013
222013
High-quality ultra-compact grid layout of grouped networks
V Yoghourdjian, T Dwyer, G Gange, S Kieffer, K Klein, K Marriott
IEEE transactions on visualization and computer graphics 22 (1), 339-348, 2016
212016
Fast set bounds propagation using a bdd-sat hybrid
G Gange, PJ Stuckey, V Lagoon
Journal of Artificial Intelligence Research 38 (1), 307-338, 2010
212010
Synthesizing Optimal Switching Lattices
G Gange, H Søndergaard, PJ Stuckey
ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (1), 6, 2014
202014
Explaining propagators for edge-valued decision diagrams
G Gange, PJ Stuckey, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 2013
192013
Failure tabled constraint logic programming by interpolation
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 593-607, 2013
172013
Unbounded model-checking with interpolation for regular language constraints
G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte
International Conference on Tools and Algorithms for the Construction and …, 2013
162013
Optimal k-level planarization and crossing minimization
G Gange, PJ Stuckey, K Marriott
International Symposium on Graph Drawing, 238-249, 2010
162010
Horn clauses as an intermediate representation for program analysis and transformation
G Gange, JA Navas, P Schachte, H SØNDERGAARD, PJ Stuckey
Theory and Practice of Logic Programming 15 (4-5), 526-542, 2015
152015
Exploiting Sparsity in Difference-Bound Matrices
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 189-211, 2016
142016
Combining String Abstract Domains for JavaScript Analysis: An Evaluation
R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
132017
An Abstract Domain of Uninterpreted Functions
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Conference on Verification, Model Checking, and Abstract …, 2016
122016
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (1), 1, 2015
112015
Steiner Tree Problems with Side Constraints Using Constraint Programming.
D de Uña, G Gange, P Schachte, PJ Stuckey
AAAI, 3383-3389, 2016
92016
Fast set bounds propagation using BDDs
G Gange, V Lagoon, PJ Stuckey
Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on …, 2008
92008
Optimal guillotine layout
G Gange, K Marriott, P Stuckey
Proceedings of the 2012 ACM symposium on Document engineering, 13-22, 2012
82012
An iterative approach to precondition inference using constrained Horn clauses
B Kafle, JP Gallagher, G Gange, P Schachte, H Sondergaard, PJ Stuckey
arXiv preprint arXiv:1804.05989, 2018
72018
A Novel Approach to String Constraint Solving
R Amadini, G Gange, PJ Stuckey, G Tack
International Conference on Principles and Practice of Constraint …, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20