GREGORY J. DUCK


Δ Info

Gregory J. Duck
National University of Singapore
Office: COM2-02-01
Telephone: (+65) 6516 1181
Email:

Δ Bio

Gregory J. Duck received his BSc (Mathematics) and BEng (Software) from the University of Melbourne in 2002, and his Phd (Computer Science) in 2006, also from the University of Melbourne. From 2005-2009 he was a researcher for National ICT Australia (NICTA) working for the G12 project. For 2009-2010 he worked for Constraint Technologies in Melbourne. From 2011 onwards he works at the National University of Singapore.

Δ Research

My research interests include: systems, security, cryptocurrencies, programming languages, OLDER: program verification, theorem proving, constraint programming, rewrite systems, Constraint Handling Rules, and a whole lot more.

Δ Conferences/Workshops
Δ Projects

Δ Publications

Conference/Journal Publications:

  • Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro, Stack Bounds Protection with Low Fat Pointers, The Network and Distributed System Security Symposium, 2017 (NDSS'2017) [abstract]
  • Gregory J. Duck, Roland H. C. Yap, Heap Bounds Protection with Low Fat Pointers, International Conference on Compiler Construction, 2016 (CC'16) [abstract]
  • Gregory J. Duck, Rémy Haemmerlé and Martin Sulzmann, On Termination, Confluence and Consistent CHR-based Type Inference, The 30th International Conference on Logic Programming, Theory and Practice of Logic Programming, 2014 [abstract]
  • Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh, Constraint-based Program Reasoning with Heaps and Separation, The 19th International Conference on Principles and Practice of Constraint Programming, 2013 [abstract]
  • Gregory J. Duck, Satisfiability Modulo Constraint Handling Rules (Extended Abstract), The 23rd International Joint Conference on Artificial Intelligence, 2013 [abstract]
  • Gregory J. Duck, SMCHR: Satisfiability Modulo Constraint Handling Rules, The 28th International Conference on Logic Programming, Theory and Practice of Logic Programming, 2012. [abstract]
    ★ ICLP 2012 Best Paper Award ★
  • Leslie De Koninck, Gregory J. Duck, and Peter J. Stuckey. Demand-driven normalisation for ACD term rewriting, The 25th International Conference on Logic Programming, 2009.
  • Gregory J. Duck, Peter J. Stuckey, Leslie De Koninck, Cadmium: An Implementation of ACD Term Rewriting, The 24th International Conference on Logic Programming, 2008.
  • Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck, Optimizing compilation of CHR with rule priorities, In Proceedings of the Ninth International Symposium on Functional and Logic Programming, Springer, 2008.
  • Sebastian Brand, Gregory J. Duck, Jakob Puchinger, and Peter J. Stuckey, Flexible, Rule-based Constraint Model Linearisation. PADL'08: 10th International Symposium on Practical Aspects of Declarative Languages, 2008.
  • Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Understanding Functional Dependencies via Constraint Handling Rules. In Journal of Functional Programming 2007.
  • Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann, Observable Confluence for Constraint Handling Rules. The 23rd International Conference on Logic Programming, 2007 (ICLP'07).
  • Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck and Guido Tack. MiniZinc: Towards a Standard CP Modelling Language. The 13th International Conference on Principles and Practice of Constraint Programming, 2007, (CP'2007).
  • Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth, Automatic Implication Checking for CHR Constraints, Electronic Notes in Theoretical Computer Science, 2006
  • Gregory J. Duck, Peter J. Stuckey, Sebastian Brand, ACD Term Rewriting The 22nd International Conference on Logic Programming, 2006 (ICLP'06).
  • Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck, Abstract Interpretation for Constraint Handling Rules, Proceedings of the Seventh ACM SIGPLAN Symposium on the Principles and Practice of Declarative Programming (Felty, A., ed.), pp. 218-229, 2005
  • Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing Compilation of Constraint Handling Rules in HAL. In Special Issue of Theory and Practice of Logic Programming on Constraint Handling Rules 2004.
  • Gregory J. Duck, Maria Garcia de la Banda, Peter J. Stuckey. Compiling Ask Constraints. The 20th International Conference on Logic Programming, 2004 (ICLP'04).
  • Gregory J. Duck, Maria Garcia de la Banda, Peter J. Stuckey. The Refined Operational Semantics of Constraint Handling Rules. The 20th International Conference on Logic Programming, 2004 (ICLP'04).
    ★ ICLP 2014 Test of Time Award (10 Years) ★
  • Gregory J. Duck, Simon Peyton Jones, Peter J. Stuckey, and Martin Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In European Symposium on Programming 2004 (ESOP'04).
  • Gregory J. Duck, Peter J. Stuckey, Maria Garcia de la Banda, and Christian Holzbaur. Extending Arbitrary Solvers with Constraint Handling Rules. In D. Miller, editor, Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, page 79--90. ACM Press, 2003.

Workshops:

Phd Thesis:


© Copyright 2016, all rights reserved