Gregory J. Duck

According to our database1, Gregory J. Duck authored at least 23 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Shape Neutral Analysis of Graph-based Data-structures.
TPLP, 2018

EffectiveSan: type and memory error detection using dynamically typed C/C++.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Stack Bounds Protection with Low Fat Pointers.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016
Heap bounds protection with low fat pointers.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2014
On Termination, Confluence and Consistent CHR-based Type Inference.
TPLP, 2014

2013
Satisfiability Modulo Constraint Handling Rules (Extended Abstract).
Proceedings of the IJCAI 2013, 2013

Constraint-Based Program Reasoning with Heaps and Separation.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
SMCHR: Satisfiability modulo constraint handling rules.
TPLP, 2012

2009
Demand-Driven Normalisation for ACD Term Rewriting.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Flexible, Rule-Based Constraint Model Linearisation.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Cadmium: An Implementation of ACD Term Rewriting.
Proceedings of the Logic Programming, 24th International Conference, 2008

Optimizing Compilation of CHR with Rule Priorities.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007
Understanding functional dependencies via constraint handling rules.
J. Funct. Program., 2007

Observable Confluence for Constraint Handling Rules.
Proceedings of the Logic Programming, 23rd International Conference, 2007

MiniZinc: Towards a Standard CP Modelling Language.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Automatic Implication Checking for CHR Constraints.
Electr. Notes Theor. Comput. Sci., 2006

ACD Term Rewriting.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
Optimizing compilation of constraint handling rules in HAL.
TPLP, 2005

Abstract interpretation for constraint handling rules.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004
The Refined Operational Semantics of Constraint Handling Rules.
Proceedings of the Logic Programming, 20th International Conference, 2004

Compiling Ask Constraints.
Proceedings of the Logic Programming, 20th International Conference, 2004

Sound and Decidable Type Inference for Functional Dependencies.
Proceedings of the Programming Languages and Systems, 2004

2003
Extending arbitrary solvers with constraint handling rules.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003


  Loading...