Gregory Duck

Gregory Duck

National University of Singapore - Queenstown / Singapore
Others
AD Scientific Index ID: 335531
Universiti Nasional Singapura
person_outline Gregory Duck's MOST POPULAR ARTICLES
1-) MiniZinc: Towards a standard CP modelling languageN Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G TackInternational Conference on Principles and Practice of Constraint …, 20079552007
2-) The refined operational semantics of Constraint Handling RulesGJ Duck, PJ Stuckey, MG Banda, C HolzbaurInternational Conference on Logic Programming, 90-104, 20042242004
3-) Heap bounds protection with low fat pointersGJ Duck, RHC YapProceedings of the 25th International Conference on Compiler Construction …, 20161172016
4-) Stack Bounds Protection with Low Fat Pointers.GJ Duck, RHC Yap, L CavallaroNDSS 17, 1-15, 20171302017
5-) EffectiveSan: type and memory error detection using dynamically typed C/C++GJ Duck, RHC YapProceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 20181152018