Concepedia

Gregory J. Duck

GJ

Statistics

Publications

18

Citations

636

H-Index

13

Active since

2003

Affiliations

National University of Singapore(Current)

The University of Melbourne

University of Vienna

Gregory J. Duck is an author at National University of Singapore specializing in computer science, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisSoftware EngineeringFormal VerificationComputer EngineeringSoftware TestingAutomated Reasoning

Publications per year

2003–2024

18

Publications

18

Heap bounds protection with low fat pointers

Gregory J. Duck, Roland H. C. Yap · 2016 · 105 citations

Engineering, Compiler Technology, Low Fat Pointers +20

Stack Bounds Protection with Low Fat Pointers

Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro · 2017 · 79 citations · Full text

Understanding functional dependencies via constraint handling rules

Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones et al. · Journal of Functional Programming · 2006 · 75 citations · Full text

Engineering, Type Theory, Constraints +20

Binary rewriting without control flow recovery

Gregory J. Duck, Xiang Gao, Abhik Roychoudhury · 2020 · 68 citations

Software Maintenance, Engineering, Software Engineering +24

Xiang Gao, Bo Wang, Gregory J. Duck et al. · ACM Transactions on Software Engineering and Methodology · 2021 · 54 citations · Full text

Engineering, Software Systems, Verification +20

1–5 of 18