| 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 | 1202 | 2007 |
| The refined operational semantics of Constraint Handling Rules GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur International Conference on Logic Programming, 90-104, 2004 | 227 | 2004 |
| Heap bounds protection with low fat pointers GJ Duck, RHC Yap Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 158 | 2016 |
| Stack Bounds Protection with Low Fat Pointers. GJ Duck, RHC Yap, L Cavallaro NDSS 17, 1-15, 2017 | 138 | 2017 |
| 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 | 123 | 2018 |
| Binary rewriting without control flow recovery GJ Duck, X Gao, A Roychoudhury Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020 | 107 | 2020 |
| 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 | 104 | 2007 |
| Beyond tests: Program vulnerability repair via crash constraint extraction X Gao, B Wang, GJ Duck, R Ji, Y Xiong, A Roychoudhury ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (2), 1-27, 2021 | 93 | 2021 |
| 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 | 60 | 2005 |
| Observable confluence for constraint handling rules GJ Duck, PJ Stuckey, M Sulzmann Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 53 | 2007 |
| Sound and decidable type inference for functional dependencies GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann Programming Languages and Systems: 13th European Symposium on Programming …, 2004 | 53 | 2004 |
| Abstract interpretation for constraint handling rules T Schrijvers, PJ Stuckey, GJ Duck Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 45* | 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 | 40 | 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 |
| Program vulnerability repair via inductive inference Y Zhang, X Gao, GJ Duck, A Roychoudhury Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 37 | 2022 |
| ACD term rewriting GJ Duck, PJ Stuckey, S Brand International Conference on Logic Programming, 117-131, 2006 | 33 | 2006 |
| Compilation of Constraint Handling Rules GJ Duck University of Melbourne, Department of Computer Science and Software Engineering, 2005 | 33 | 2005 |
| CCHR: the fastest CHR implementation P Wuille, T Schrijvers, B Demoen C. In Djelloul, Duck et al.(2007), 123-137, 2007 | 23 | 2007 |
| Constraint-based program reasoning with heaps and separation GJ Duck, J Jaffar, NCH Koh International Conference on Principles and Practice of Constraint …, 2013 | 22* | 2013 |
| Automated patch backporting in Linux (experience paper) R Shariffdeen, X Gao, GJ Duck, SH Tan, J Lawall, A Roychoudhury Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 21 | 2021 |
Peter StuckeyFaculty of Information Technology, Monash UniversityAdresse e-mail validée de monash.edu