Gregory J. Duck

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