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, constraint programming, functional programming, rewrite systems, Constraint Handling Rules (CHR), and a whole lot more.

Δ Conferences/Workshops

I am involved in the following conferences/workshops:

Δ Projects

Δ Publications

Conference/Journal Publications:

  • Gregory J. Duck, Joxan Jaffar, and Roland H. C. Yap, Shape Neutral Analysis of Graph-based Data-structures, International Conference on Logic Programming (ICLP), Theory and Practice of Logic Programming (TPLP), 2018, [accepted] [abstract]
  • Gregory J. Duck, Roland H. C. Yap, EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++, Programming Language Design and Implementation (PLDI), 2018, [accepted] [abstract]
  • Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro, Stack Bounds Protection with Low Fat Pointers, Network and Distributed System Security Symposium (NDSS), 2017 [github] [abstract]
  • Gregory J. Duck, Roland H. C. Yap, Heap Bounds Protection with Low Fat Pointers, Compiler Construction (CC), 2016 [github] [abstract]
  • Gregory J. Duck, Rémy Haemmerlé and Martin Sulzmann, On Termination, Confluence and Consistent CHR-based Type Inference, International Conference on Logic Programming (ICLP), Theory and Practice of Logic Programming (TPLP), 2014 [abstract]
  • Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh, Constraint-based Program Reasoning with Heaps and Separation, Constraint Programming (CP), 2013 [github] [abstract]
  • Gregory J. Duck, Satisfiability Modulo Constraint Handling Rules (Extended Abstract), International Joint Conference on Artificial Intelligence (IJCAI), 2013 [github] [abstract]
  • Gregory J. Duck, SMCHR: Satisfiability Modulo Constraint Handling Rules, International Conference on Logic Programming (ICLP), Theory and Practice of Logic Programming (TPLP), 2012. [github] [abstract]
    ★ ICLP 2012 Best Paper Award ★
  • Leslie De Koninck, Gregory J. Duck, and Peter J. Stuckey. Demand-driven normalisation for ACD term rewriting, International Conference on Logic Programming (ICLP), 2009.
  • Gregory J. Duck, Peter J. Stuckey, Leslie De Koninck, Cadmium: An Implementation of ACD Term Rewriting, International Conference on Logic Programming (ICLP), 2008.
  • Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck, Optimizing compilation of CHR with rule priorities, Symposium on Functional and Logic Programming (FLOPS), 2008.
  • Sebastian Brand, Gregory J. Duck, Jakob Puchinger, and Peter J. Stuckey, Flexible, Rule-based Constraint Model Linearisation, Practical Aspects of Declarative Languages (PADL), 2008.
  • Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Understanding Functional Dependencies via Constraint Handling Rules, Journal of Functional Programming, 2007.
  • Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann, Observable Confluence for Constraint Handling Rules, International Conference on Logic Programming (ICLP), 2007.
  • Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck and Guido Tack. MiniZinc: Towards a Standard CP Modelling Language, Constraint Programming (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, International Conference on Logic Programming (ICLP), 2006.
  • Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck, Abstract Interpretation for Constraint Handling Rules, Principles and Practice of Declarative Programming (PPDP), 2005
  • Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing Compilation of Constraint Handling Rules in HAL, 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, International Conference on Logic Programming (ICLP), 2004.
  • Gregory J. Duck, Peter J. Stuckey, Maria Garcia de la Banda, Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules, International Conference on Logic Programming (ICLP), 2004.
    ★ 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, European Symposium on Programming (ESOP), 2004.
  • Gregory J. Duck, Peter J. Stuckey, Maria Garcia de la Banda, and Christian Holzbaur. Extending Arbitrary Solvers with Constraint Handling Rules, Principles and Practice of Declarative Programming (PPDP), 2003.

Workshops/Reports:

Phd Thesis:


© Copyright 2018, all rights reserved