Travelled to:1 × France
1 × Italy
1 × Japan
1 × Spain
1 × Sweden
2 × Portugal
3 × USA
Collaborated with:P.J.Stuckey L.D.Koninck R.H.C.Yap M.Sulzmann M.J.G.d.l.Banda S.Brand ∅ C.Holzbaur R.Haemmerlé T.Schrijvers J.Puchinger S.L.P.Jones
Talks about:constraint (7) rule (7) handl (5) type (4) rewrit (3) term (3) acd (3) confluenc (2) compil (2) infer (2)
Person: Gregory J. Duck
DBLP: Duck:Gregory_J=
Contributed to:
201420122009
20082008
200820072006
2005
200420042003
2016
2018Wrote 15 papers:
- ICLP-J-2014-DuckHS #confluence #consistency #on the #termination #type inference
- On Termination, Confluence and Consistent CHR-based Type Inference (GJD, RH, MS), pp. 619–632.
- ICLP-J-2012-Duck #constraints #named #satisfiability
- SMCHR: Satisfiability modulo constraint handling rules (GJD), pp. 601–618.
- ICLP-2009-KoninckDS #normalisation #term rewriting
- Demand-Driven Normalisation for ACD Term Rewriting (LDK, GJD, PJS), pp. 484–488.
- FLOPS-2008-KoninckSD #compilation #optimisation
- Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.
- ICLP-2008-DuckKS #implementation #named #term rewriting
- Cadmium: An Implementation of ACD Term Rewriting (GJD, LDK, PJS), pp. 531–545.
- PADL-2008-BrandDPS #constraints #flexibility #rule-based
- Flexible, Rule-Based Constraint Model Linearisation (SB, GJD, JP, PJS), pp. 68–83.
- ICLP-2007-DuckSS #confluence #constraints
- Observable Confluence for Constraint Handling Rules (GJD, PJS, MS), pp. 224–239.
- ICLP-2006-DuckSB #term rewriting
- ACD Term Rewriting (GJD, PJS, SB), pp. 117–131.
- PPDP-2005-SchrijversSD #abstract interpretation #constraints
- Abstract interpretation for constraint handling rules (TS, PJS, GJD), pp. 218–229.
- ESOP-2004-DuckPSS #decidability #dependence #functional #type inference
- Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.
- ICLP-2004-DuckBS #compilation #constraints
- Compiling Ask Constraints (GJD, MJGdlB, PJS), pp. 105–119.
- ICLP-2004-DuckSBH #constraints #semantics
- The Refined Operational Semantics of Constraint Handling Rules (GJD, PJS, MJGdlB, CH), pp. 90–104.
- PPDP-2003-DuckSBH #constraints
- Extending arbitrary solvers with constraint handling rules (GJD, PJS, MJGdlB, CH), pp. 79–90.
- CC-2016-DuckY #bound #pointer
- Heap bounds protection with low fat pointers (GJD, RHCY), pp. 132–142.
- PLDI-2018-DuckY #c #c++ #detection #effectiveness #fault #memory management #named #using
- EffectiveSan: type and memory error detection using dynamically typed C/C++ (GJD, RHCY), pp. 181–195.