Подписаться
Gregory J. Duck
Gregory J. Duck
National University of Singapore
Подтвержден адрес электронной почты в домене comp.nus.edu.sg - Главная страница
Название
Процитировано
Процитировано
Год
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
11812007
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
2272004
Heap bounds protection with low fat pointers
GJ Duck, RHC Yap
Proceedings of the 25th International Conference on Compiler Construction …, 2016
1522016
Stack Bounds Protection with Low Fat Pointers.
GJ Duck, RHC Yap, L Cavallaro
NDSS 17, 1-15, 2017
1312017
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
1172018
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
1032007
Binary rewriting without control flow recovery
GJ Duck, X Gao, A Roychoudhury
Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020
912020
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
832021
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
602005
Observable confluence for constraint handling rules
GJ Duck, PJ Stuckey, M Sulzmann
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
532007
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
532004
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
402003
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
392006
ACD term rewriting
GJ Duck, PJ Stuckey, S Brand
International Conference on Logic Programming, 117-131, 2006
332006
Compilation of Constraint Handling Rules
GJ Duck
University of Melbourne, Department of Computer Science and Software Engineering, 2005
332005
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
292022
CCHR: the fastest CHR implementation
P Wuille, T Schrijvers, B Demoen
C. In Djelloul, Duck et al.(2007), 123-137, 2007
232007
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
Flexible, rule-based constraint model linearisation
S Brand, GJ Duck, J Puchinger, PJ Stuckey
Practical Aspects of Declarative Languages: 10th International Symposium …, 2008
212008
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20