Gregory J. Duck

According to our database, Gregory J. Duck authored at least 39 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Large Language Model assisted Hybrid Fuzzing.

Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury

CoRR, 2024

Fully Randomized Pointers.

Gregory J. Duck, Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson

CoRR, 2024

Program Repair Competition 2024.

Ridwan Shariffdeen, Yannic Noller, Martin Mirchev, Haifeng Ruan, Xiang Gao, Andreea Costea, Gregory J. Duck, Abhik Roychoudhury

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

Program Environment Fuzzing.

Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Greybox Fuzzing for Concurrency Testing.

Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Program Repair by Fuzzing over Patch and Input Space.

Yuntong Zhang, Ridwan Shariffdeen, Gregory J. Duck, Jiaqi Tan, Abhik Roychoudhury

CoRR, 2023

2022

Fast Fuzzing for Memory Errors.

Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury

CoRR, 2022

Efficient Greybox Fuzzing to Detect Memory Errors.

Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Program vulnerability repair via inductive inference.

Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury

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.

Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

Extensible Virtual Call Integrity.

Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.

Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury

ACM Trans. Softw. Eng. Methodol., 2021

Scalable Fuzzing of Program Binaries with E9AFL.

Xiang Gao, Gregory J. Duck, Abhik Roychoudhury

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Automated patch backporting in Linux (experience paper).

Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Binary rewriting without control flow recovery.

Gregory J. Duck, Xiang Gao, Abhik Roychoudhury

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

Shape Neutral Analysis of Graph-based Data-structures.

Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap

Theory Pract. Log. Program., 2018

An Extended Low Fat Allocator API and Applications.

Gregory J. Duck, Roland H. C. Yap

CoRR, 2018

EffectiveSan: type and memory error detection using dynamically typed C/C++.

Gregory J. Duck, Roland H. C. Yap

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Stack Bounds Protection with Low Fat Pointers.

Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016

Heap bounds protection with low fat pointers.

Gregory J. Duck, Roland H. C. Yap

Proceedings of the 25th International Conference on Compiler Construction, 2016

2014

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

Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann

Theory Pract. Log. Program., 2014

2013

Satisfiability Modulo Constraint Handling Rules (Extended Abstract).

Gregory James Duck

Proceedings of the IJCAI 2013, 2013

Constraint-Based Program Reasoning with Heaps and Separation.

Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

SMCHR: Satisfiability modulo constraint handling rules.

Gregory J. Duck

Theory Pract. Log. Program., 2012

2009

Demand-Driven Normalisation for ACD Term Rewriting.

Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Flexible, Rule-Based Constraint Model Linearisation.

Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey

Proceedings of the Practical Aspects of Declarative Languages, 2008

Cadmium: An Implementation of ACD Term Rewriting.

Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey

Proceedings of the Logic Programming, 24th International Conference, 2008

Optimizing Compilation of CHR with Rule Priorities.

Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

Understanding functional dependencies via constraint handling rules.

Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey

J. Funct. Program., 2007

Observable Confluence for Constraint Handling Rules.

Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann

Proceedings of the Logic Programming, 23rd International Conference, 2007

MiniZinc: Towards a Standard CP Modelling Language.

Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

ACD Term Rewriting.

Gregory J. Duck, Peter J. Stuckey, Sebastian Brand

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Optimizing compilation of constraint handling rules in HAL.

Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck

Theory Pract. Log. Program., 2005

Automatic Implication Checking for CHR Constraints.

Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Abstract interpretation for constraint handling rules.

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck

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.

Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur

Proceedings of the Logic Programming, 20th International Conference, 2004

Compiling Ask Constraints.

Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey

Proceedings of the Logic Programming, 20th International Conference, 2004

Sound and Decidable Type Inference for Functional Dependencies.

Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann

Proceedings of the Programming Languages and Systems, 2004

2003

Extending arbitrary solvers with constraint handling rules.

Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003