Ben Greenman Source Confirmed

Affiliation confirmed via AI analysis of OpenAlex, ORCID, and web sources.

Assistant Professor

John Brown University

faculty

13 h-index 61 pubs 427 cited

Research Areas

Software Engineering Research Formal Methods in Verification Logic, programming, and type systems Parallel Computing and Optimization Techniques Model-Driven Software Engineering Techniques

Links

ORCID

Is this your profile? Verify and claim your profile

OverviewAI-generated summary

Dr. Ben Greenman is an Assistant Professor at John Brown University, with prior experience as a postdoctoral fellow at Brown University and faculty at the University of Utah. His research encompasses software engineering, formal methods in verification, and the interplay of logic, programming, and type systems. He also explores parallel computing and optimization techniques alongside model-driven software engineering. His work includes investigations into the misconceptions surrounding Linear Temporal Logic (LTL) and the implications of large language models on student-generated programs. Greenman's scholarship also tackles the challenges of gradual typing, blame assignment, and interactions between typed and untyped code. A recent contribution is the development of Forge, a tool and language designed for teaching formal methods.

Metrics

  • h-index: 13
  • Publications: 61
  • Citations: 427

Selected Publications

  • Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2025) DOI
  • Artifact for "Navigating Mixed-Typed Migration with Profilers" (2025) DOI
  • Privacy-Respecting Type Error Telemetry at Scale (2024) DOI
  • Artifact: How Profilers Can Help Navigate Type Migration (2023) DOI
  • Artifact: How Profilers Can Help Navigate Type Migration (2023) DOI
  • Artifact for How Profilers Can Help Navigate Type Migration (2023) DOI
  • Conceptual Mutation Testing for Student Programming Misconceptions (2023) DOI
  • Artifact for "Rhombus: A New Spin on Macros without All the Parentheses" (2023) DOI
  • How to Evaluate Blame for Gradual Types, Part 2 (2023) DOI
  • GTP Benchmarks for Gradual Typing Performance (2023) DOI
  • Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI

Collaborators

Researchers in the database who share publications

Shriram Krishnamurthi John Brown University 18 shared publications Tim Nelson John Brown University 14 shared publications Matthias Felleisen John Brown University 11 shared publications Sam Saarinen John Brown University 7 shared publications Lukas Lazarek John Brown University 4 shared publications John Wrenn John Brown University 1 shared publication

Similar Researchers

Based on overlapping research topics

Matthias Felleisen John Brown University
Software Engineering Research Formal Methods in Verification Logic, programming, and type systems
Strong match
Aditi Barua University of Arkansas at Little Rock
Software Engineering Research Formal Methods in Verification Logic, programming, and type systems
Strong match
Albert L. Baker University of Arkansas at Little Rock
Software Engineering Research Formal Methods in Verification Logic, programming, and type systems
Strong match
ZhuoHan Li John Brown University
Software Engineering Research Logic, programming, and type systems Parallel Computing and Optimization Techniques
Good match
Shriram Krishnamurthi John Brown University
Software Engineering Research Logic, programming, and type systems Parallel Computing and Optimization Techniques
Good match
Michael Lowry University of Arkansas for Medical Sciences
Software Engineering Research Formal Methods in Verification Logic, programming, and type systems
Good match