Scholar
Ben Greenman
Google Scholar ID: 3A9hNTEAAAAJ
University of Utah
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
496
H-index
14
i10-index
19
Publications
20
Co-authors
9
list available
Contact
CV
Open ↗
GitHub
Open ↗
Publications
4 items
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)
Academic Achievements
Academic achievements such as publications, awards, etc., are not clearly provided.
Research Experience
Research experience information is not clearly provided.
Education
Educational background information is not clearly provided.
Background
Research interests, professional field, and personal introduction are not clearly provided.
Miscellany
Personal interests include learning LTL (Linear Temporal Logic), possibly enjoys coding and teaching.
Co-authors
9 total
Matthias Felleisen
Trustee Professor of Computer Science, Northeastern University
Co-author 2
Co-author 3
Co-author 4
Co-author 5
Co-author 6
Co-author 7
Co-author 8