Scholar
Ben Greenman
Google Scholar ID: 3A9hNTEAAAAJ
University of Utah
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
709
H-index
14
i10-index
19
Publications
20
Co-authors
9
list available
Publications
6 items
A11yLTLNav: Automatic Detection of Accessibility Navigation Failures
2026
Cited
0
Provably Lossless Acceleration of DNN Mutation Testing via Memoization
2026
Cited
0
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
2025
Cited
0
Chorex: Restartable, Language-Integrated Choreographies
2025
Cited
0
If-T: A Benchmark for Type Narrowing
2025
Cited
0
Toward a Corpus Study of the Dynamic Gradual Type
2025
Cited
0
Co-authors
2 total
Matthias Felleisen
Trustee Professor of Computer Science, Northeastern University
Andrew M. Kent
PhD Candidate, Indiana University
