| 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 | 1208 | 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 | 233 | 2004 |
| Heap bounds protection with low fat pointers GJ Duck, RHC Yap Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 156 | 2016 |
| Stack Bounds Protection with Low Fat Pointers. GJ Duck, RHC Yap, L Cavallaro NDSS 17, 1-15, 2017 | 134 | 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 | 119 | 2018 |
| 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 | 105 | 2007 |
| Binary rewriting without control flow recovery GJ Duck, X Gao, A Roychoudhury Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020 | 103 | 2020 |
| 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 | 95 | 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 | 62 | 2005 |
| Observable confluence for constraint handling rules GJ Duck, PJ Stuckey, M Sulzmann International Conference on Logic Programming, 224-239, 2007 | 57 | 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 | 49* | 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 | 44 | 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 | 41 | 2006 |
| Compilation of Constraint Handling Rules GJ Duck University of Melbourne, Department of Computer Science and Software Engineering, 2005 | 41 | 2005 |
| 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 | 39 | 2022 |
| ACD term rewriting GJ Duck, PJ Stuckey, S Brand International Conference on Logic Programming, 117-131, 2006 | 37 | 2006 |
| CCHR: the fastest CHR Implementation, in C P Wuille, T Schrijvers, B Demoen Proceedings of the 4th Workshop on Constraint Handling Rules, 123-137, 2007 | 29 | 2007 |
| Optimizing compilation of CHR with rule priorities L De Koninck, PJ Stuckey, GJ Duck Functional and Logic Programming: 9th International Symposium, FLOPS 2008 …, 2008 | 22* | 2008 |
| Flexible, rule-based constraint model linearisation S Brand, GJ Duck, J Puchinger, PJ Stuckey Practical Aspects of Declarative Languages: 10th International Symposium …, 2008 | 22 | 2008 |
Peter StuckeyFaculty of Information Technology, Monash UniversityПотвърден имейл адрес: monash.edu