![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Gregory J. Duck
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c26]Dylan Wolff
, Zheng Shi
, Gregory J. Duck
, Umang Mathur
, Abhik Roychoudhury
:
Greybox Fuzzing for Concurrency Testing. ASPLOS (2) 2024: 482-498 - [i11]Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury:
Program Environment Fuzzing. CoRR abs/2404.13951 (2024) - [i10]Gregory J. Duck, Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson:
Fully Randomized Pointers. CoRR abs/2405.12513 (2024) - 2023
- [i9]Yuntong Zhang, Ridwan Shariffdeen, Gregory J. Duck, Jiaqi Tan, Abhik Roychoudhury:
Program Repair by Fuzzing over Patch and Input Space. CoRR abs/2308.00666 (2023) - 2022
- [c25]Yuancheng Jiang
, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan:
Extensible Virtual Call Integrity. ESORICS (3) 2022: 723-739 - [c24]Gregory J. Duck
, Yuntong Zhang
, Roland H. C. Yap:
Hardening binaries against more memory errors. EuroSys 2022: 117-131 - [c23]Yuntong Zhang
, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury:
Program vulnerability repair via inductive inference. ISSTA 2022: 691-702 - [c22]Jinsheng Ba
, Gregory J. Duck
, Abhik Roychoudhury
:
Efficient Greybox Fuzzing to Detect Memory Errors. ASE 2022: 37:1-37:12 - [i8]Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury:
Fast Fuzzing for Memory Errors. CoRR abs/2204.02773 (2022) - 2021
- [j6]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): 14:1-14:27 (2021) - [c21]Ridwan Shariffdeen
, Xiang Gao, Gregory J. Duck
, Shin Hwei Tan
, Julia Lawall, Abhik Roychoudhury
:
Automated patch backporting in Linux (experience paper). ISSTA 2021: 633-645 - [c20]Xiang Gao, Gregory J. Duck
, Abhik Roychoudhury:
Scalable Fuzzing of Program Binaries with E9AFL. ASE 2021: 1247-1251 - 2020
- [c19]Gregory J. Duck
, Xiang Gao, Abhik Roychoudhury:
Binary rewriting without control flow recovery. PLDI 2020: 151-163
2010 – 2019
- 2018
- [j5]Gregory J. Duck
, Joxan Jaffar, Roland H. C. Yap:
Shape Neutral Analysis of Graph-based Data-structures. Theory Pract. Log. Program. 18(3-4): 470-483 (2018) - [c18]Gregory J. Duck
, Roland H. C. Yap:
EffectiveSan: type and memory error detection using dynamically typed C/C++. PLDI 2018: 181-195 - [i7]Gregory J. Duck, Roland H. C. Yap:
An Extended Low Fat Allocator API and Applications. CoRR abs/1804.04812 (2018) - [i6]Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap:
Shape Neutral Analysis of Graph-based Data-structures. CoRR abs/1804.09352 (2018) - 2017
- [c17]Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro:
Stack Bounds Protection with Low Fat Pointers. NDSS 2017 - [i5]Gregory J. Duck, Roland H. C. Yap:
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++. CoRR abs/1710.06125 (2017) - 2016
- [c16]Gregory J. Duck
, Roland H. C. Yap:
Heap bounds protection with low fat pointers. CC 2016: 132-142 - 2014
- [j4]Gregory J. Duck
, Rémy Haemmerlé, Martin Sulzmann:
On Termination, Confluence and Consistent CHR-based Type Inference. Theory Pract. Log. Program. 14(4-5): 619-632 (2014) - [i4]Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann:
On Termination, Confluence and Consistent CHR-based Type Inference. CoRR abs/1405.3393 (2014) - 2013
- [c15]Gregory J. Duck
, Joxan Jaffar, Nicolas C. H. Koh:
Constraint-Based Program Reasoning with Heaps and Separation. CP 2013: 282-298 - [c14]Gregory James Duck:
Satisfiability Modulo Constraint Handling Rules (Extended Abstract). IJCAI 2013: 2997-3001 - 2012
- [j3]Gregory J. Duck
:
SMCHR: Satisfiability modulo constraint handling rules. Theory Pract. Log. Program. 12(4-5): 601-618 (2012) - [i3]Gregory J. Duck:
SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR abs/1210.5307 (2012)
2000 – 2009
- 2009
- [c13]Leslie De Koninck, Gregory J. Duck
, Peter J. Stuckey:
Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488 - 2008
- [c12]Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
:
Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47 - [c11]Gregory J. Duck
, Leslie De Koninck, Peter J. Stuckey:
Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545 - [c10]Sebastian Brand, Gregory J. Duck, Jakob Puchinger
, Peter J. Stuckey:
Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83 - 2007
- [j2]Martin Sulzmann, Gregory J. Duck
, Simon L. Peyton Jones, Peter J. Stuckey:
Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17(1): 83-129 (2007) - [c9]Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck
, Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543 - [c8]Gregory J. Duck
, Peter J. Stuckey, Martin Sulzmann:
Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239 - 2006
- [c7]Gregory J. Duck
, Peter J. Stuckey, Sebastian Brand:
ACD Term Rewriting. ICLP 2006: 117-131 - [i2]Gregory J. Duck, Peter J. Stuckey, Sebastian Brand:
ACD Term Rewriting. CoRR abs/cs/0608016 (2006) - 2005
- [j1]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): 503-531 (2005) - [c6]Tom Schrijvers
, Peter J. Stuckey, Gregory J. Duck
:
Abstract interpretation for constraint handling rules. PPDP 2005: 218-229 - [c5]Tom Schrijvers
, Bart Demoen, Gregory J. Duck
, Peter J. Stuckey, Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints. RULE@RDP 2005: 93-111 - 2004
- [c4]Gregory J. Duck
, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann:
Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63 - [c3]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: 90-104 - [c2]Gregory J. Duck
, Maria J. García de la Banda, Peter J. Stuckey:
Compiling Ask Constraints. ICLP 2004: 105-119 - [i1]Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL. CoRR cs.PL/0408025 (2004) - 2003
- [c1]Gregory J. Duck
, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur:
Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-06 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint