Gregory J. Duck
Scholar

Gregory J. Duck

Google Scholar ID: xS0SZ24AAAAJ
National University of Singapore
systemssecuritybinariessoftware engineeringprogramming languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,133
 
H-index
22
 
i10-index
33
 
Publications
20
 
Co-authors
14
list available
Publications
4 items
When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference
2026
Cited
0
Persistent Iterators with Value Semantics
2026
Cited
0
Large Language Model powered Symbolic Execution
arXiv.org · 2025
Cited
2
Fully Randomized Pointers
arXiv.org · 2024
Cited
0
Co-authors
11 total
Peter Stuckey
Peter Stuckey
Faculty of Information Technology, Monash University
Roland Yap
Roland Yap
National University of Singapore
Xiang Gao
Xiang Gao
Beihang University
Maria Garcia de la Banda
Maria Garcia de la Banda
Faculty of Information Technology, Monash University
Martin Sulzmann
Martin Sulzmann
Professor of Computer Science, Karlsruhe University of Applied Sciences
Guido Tack
Guido Tack
Associate Professor, Monash University
Simon Peyton Jones
Simon Peyton Jones
Epic Games
Lorenzo Cavallaro
Lorenzo Cavallaro
University College London