Gregory J. Duck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
14
Active years
2003–2024
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Greybox Fuzzing for Concurrency Testing. | Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury |
| 2024 | CCS | Program Environment Fuzzing. | Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury |
| 2022 | ESORICS | Extensible Virtual Call Integrity. | Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan |
| 2022 | EuroSys | Hardening binaries against more memory errors. | Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap |
| 2022 | ISSTA | Program vulnerability repair via inductive inference. | Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury |
| 2021 | ISSTA | Automated patch backporting in Linux (experience paper). | Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury |
| 2020 | PLDI | Binary rewriting without control flow recovery. | Gregory J. Duck, Xiang Gao, Abhik Roychoudhury |
| 2018 | PLDI | EffectiveSan: type and memory error detection using dynamically typed C/C++. | Gregory J. Duck, Roland H. C. Yap |
| 2017 | NDSS | Stack Bounds Protection with Low Fat Pointers. | Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro |
| 2016 | CC | Heap bounds protection with low fat pointers. | Gregory J. Duck, Roland H. C. Yap |
| 2013 | CP | Constraint-Based Program Reasoning with Heaps and Separation. | Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh |
| 2009 | ICLP | Demand-Driven Normalisation for ACD Term Rewriting. | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
| 2008 | FLOPS | Optimizing Compilation of CHR with Rule Priorities. | Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck |
| 2008 | ICLP | Cadmium: An Implementation of ACD Term Rewriting. | Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
| 2008 | PADL | Flexible, Rule-Based Constraint Model Linearisation. | Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
| 2007 | CP | MiniZinc: Towards a Standard CP Modelling Language. | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
| 2007 | ICLP | Observable Confluence for Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
| 2006 | ICLP | ACD Term Rewriting. | Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
| 2005 | PPDP | Abstract interpretation for constraint handling rules. | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
| 2004 | ESOP | Sound and Decidable Type Inference for Functional Dependencies. | Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann |
| 2004 | ICLP | Compiling Ask Constraints. | Gregory J. Duck, Maria J. Garca de la Banda, Peter J. Stuckey |
| 2004 | ICLP | The Refined Operational Semantics of Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2003 | PPDP | Extending arbitrary solvers with constraint handling rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |