Scholar

Ben Greenman

Google Scholar ID: 3A9hNTEAAAAJ

University of Utah

Programming Languages

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

709

H-index

14

i10-index

19

Publications

20

Co-authors

9

list available

Contact

No contact links provided.

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

Resume (English only)

Co-authors

9 total

Matthias Felleisen

Trustee Professor of Computer Science, Northeastern University