| MiniZinc: Towards a standard CP modelling language N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack International Conference on Principles and Practice of Constraint …, 2007 | 889 | 2007 |
| The refined operational semantics of Constraint Handling Rules GJ Duck, PJ Stuckey, MG Banda, C Holzbaur International Conference on Logic Programming, 90-104, 2004 | 220 | 2004 |
| Heap bounds protection with low fat pointers GJ Duck, RHC Yap Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 105 | 2016 |
| Understanding functional dependencies via constraint handling rules M Sulzmann, GJ Duck, S Peyton-Jones, PJ Stuckey Journal of functional programming 17 (1), 83-129, 2007 | 102 | 2007 |
| Stack object protection with low fat pointers G Duck, R Yap, L Cavallaro NDSS Symposium 2017, 2017 | 82 | 2017 |
| Observable confluence for constraint handling rules GJ Duck, PJ Stuckey, M Sulzmann International Conference on Logic Programming, 224-239, 2007 | 56 | 2007 |
| Optimizing compilation of constraint handling rules in HAL C Holzbaur, MG De La Banda, PJ Stuckey, GJ Duck Theory and Practice of Logic Programming 5 (4-5), 503-531, 2005 | 56 | 2005 |
| Sound and decidable type inference for functional dependencies GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann European Symposium on Programming, 49-63, 2004 | 51 | 2004 |
| EffectiveSan: type and memory error detection using dynamically typed C/C++ GJ Duck, RHC Yap Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 49 | 2018 |
| Abstract interpretation for constraint handling rules T Schrijvers, PJ Stuckey, GJ Duck Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 47* | 2005 |
| Extending arbitrary solvers with constraint handling rules GJ Duck, PJ Stuckey, M Garcia de la Banda, C Holzbaur Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 41 | 2003 |
| Automatic implication checking for CHR constraints T Schrijvers, B Demoen, G Duck, P Stuckey, T Frühwirth Electronic notes in theoretical computer science 147 (1), 93-111, 2006 | 39 | 2006 |
| ACD term rewriting GJ Duck, PJ Stuckey, S Brand International Conference on Logic Programming, 117-131, 2006 | 38 | 2006 |
| Compilation of Constraint Handling Rules GJ Duck University of Melbourne, Department of Computer Science and Software Engineering, 2005 | 37 | 2005 |
| Optimizing compilation of CHR with rule priorities LD Koninck, PJ Stuckey, GJ Duck International Symposium on Functional and Logic Programming, 32-47, 2008 | 22* | 2008 |
| Constraint-based program reasoning with heaps and separation GJ Duck, J Jaffar, NCH Koh International Conference on Principles and Practice of Constraint …, 2013 | 21* | 2013 |
| Binary rewriting without control flow recovery GJ Duck, X Gao, A Roychoudhury Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 20 | 2020 |
| Flexible, rule-based constraint model linearisation S Brand, GJ Duck, J Puchinger, PJ Stuckey International Symposium on Practical Aspects of Declarative Languages, 68-83, 2008 | 20 | 2008 |
| SMCHR: Satisfiability modulo constraint handling rules GJ Duck Theory and Practice of Logic Programming 12 (4-5), 601-618, 2012 | 16 | 2012 |
| Cadmium: An implementation of ACD term rewriting GJ Duck, LD Koninck, PJ Stuckey International Conference on Logic Programming, 531-545, 2008 | 16 | 2008 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
