Gregory J. Duck

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 20

Top Topics

Intrinsic Complexity

Languages From Positive Data

Top Venues

Publications

Gregory J. Duck, Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson
Fully Randomized Pointers. CoRR (2024)
Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
Greybox Fuzzing for Concurrency Testing. ASPLOS (2) (2024)
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
Program Environment Fuzzing. CoRR (2024)
Yuntong Zhang, Ridwan Shariffdeen, Gregory J. Duck, Jiaqi Tan, Abhik Roychoudhury
Program Repair by Fuzzing over Patch and Input Space. CoRR (2023)
Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury
Fast Fuzzing for Memory Errors. CoRR (2022)
Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap
Hardening binaries against more memory errors. EuroSys (2022)
Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan
Extensible Virtual Call Integrity. ESORICS (3) (2022)
Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury
Efficient Greybox Fuzzing to Detect Memory Errors. ASE (2022)
Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury
Program vulnerability repair via inductive inference. ISSTA (2022)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury
Automated patch backporting in Linux (experience paper). ISSTA (2021)
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Xiang Gao, Gregory J. Duck, Abhik Roychoudhury
Scalable Fuzzing of Program Binaries with E9AFL. ASE (2021)
Gregory J. Duck, Xiang Gao, Abhik Roychoudhury
Binary rewriting without control flow recovery. PLDI (2020)
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Shape Neutral Analysis of Graph-based Data-structures. CoRR (2018)
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Shape Neutral Analysis of Graph-based Data-structures. Theory Pract. Log. Program. 18 (3-4) (2018)
Gregory J. Duck, Roland H. C. Yap
EffectiveSan: type and memory error detection using dynamically typed C/C++. PLDI (2018)
Gregory J. Duck, Roland H. C. Yap
An Extended Low Fat Allocator API and Applications. CoRR (2018)
Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro
Stack Bounds Protection with Low Fat Pointers. NDSS (2017)
Gregory J. Duck, Roland H. C. Yap
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++. CoRR (2017)
Gregory J. Duck, Roland H. C. Yap
Heap bounds protection with low fat pointers. CC (2016)
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
On Termination, Confluence and Consistent CHR-based Type Inference. CoRR (2014)
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
On Termination, Confluence and Consistent CHR-based Type Inference. Theory Pract. Log. Program. 14 (4-5) (2014)
Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh
Constraint-Based Program Reasoning with Heaps and Separation. CP (2013)
Gregory J. Duck
SMCHR: Satisfiability modulo constraint handling rules. Theory Pract. Log. Program. 12 (4-5) (2012)
Gregory J. Duck
SMCHR: Satisfiability Modulo Constraint Handling Rules CoRR (2012)
Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey
Demand-Driven Normalisation for ACD Term Rewriting. ICLP (2009)
Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey
Flexible, Rule-Based Constraint Model Linearisation. PADL (2008)
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
Optimizing Compilation of CHR with Rule Priorities. FLOPS (2008)
Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey
Cadmium: An Implementation of ACD Term Rewriting. ICLP (2008)
Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17 (1) (2007)
Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
Observable Confluence for Constraint Handling Rules. ICLP (2007)
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
MiniZinc: Towards a Standard CP Modelling Language. CP (2007)
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
ACD Term Rewriting. ICLP (2006)
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
ACD Term Rewriting CoRR (2006)
Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
Automatic Implication Checking for CHR Constraints. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
Optimizing compilation of constraint handling rules in HAL. Theory Pract. Log. Program. 5 (4-5) (2005)
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
Abstract interpretation for constraint handling rules. PPDP (2005)
Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
Compiling Ask Constraints. ICLP (2004)
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
Optimizing compilation of constraint handling rules in HAL CoRR (2004)
Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
Sound and Decidable Type Inference for Functional Dependencies. ESOP (2004)
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
The Refined Operational Semantics of Constraint Handling Rules. ICLP (2004)
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
Extending arbitrary solvers with constraint handling rules. PPDP (2003)