Gregory J. Duck

Orcid: 0000-0002-0837-9671

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Program Repair by Fuzzing over Patch and Input Space.
CoRR, 2023

2022
Fast Fuzzing for Memory Errors.
CoRR, 2022

Efficient Greybox Fuzzing to Detect Memory Errors.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Program vulnerability repair via inductive inference.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Hardening binaries against more memory errors.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

Extensible Virtual Call Integrity.
Proceedings of the Computer Security - ESORICS 2022, 2022

2021
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.
ACM Trans. Softw. Eng. Methodol., 2021

Scalable Fuzzing of Program Binaries with E9AFL.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Automated patch backporting in Linux (experience paper).
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020
Binary rewriting without control flow recovery.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018
Shape Neutral Analysis of Graph-based Data-structures.
Theory Pract. Log. Program., 2018

An Extended Low Fat Allocator API and Applications.
CoRR, 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.
Theory Pract. Log. Program., 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.
Theory Pract. Log. Program., 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
ACD Term Rewriting.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
Optimizing compilation of constraint handling rules in HAL.
Theory Pract. Log. Program., 2005

Automatic Implication Checking for CHR Constraints.
Proceedings of the 6th International Workshop on Rule-Based Programming, 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...