Getting F-bounded polymorphism into shape. - Ben Greenman; Fabian Muehlboeck; Ross Tate (PLDI, 2014)

Is sound gradual typing dead? - Asumu Takikawa; Daniel Feltey; Ben Greenman; Max S. New; Jan Vitek; Matthias Felleisen (POPL, 2016)

Type systems as macros. - Stephen Chang 001; Alex Knauth; Ben Greenman (POPL, 2017)

Migratory Typing: Ten Years Later. - Sam Tobin-Hochstadt; Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Ben Greenman; Andrew M. Kent; Vincent St-Amour; T. Stephen Strickland; Asumu Takikawa (SNAPL, 2017)

The behavior of gradual types: a user study. - Preston Tunnell Wilson; Ben Greenman; Justin Pombrio; Shriram Krishnamurthi (DLS, 2018)

On the cost of type-tag soundness. - Ben Greenman; Zeina Migeed (PEPM, 2018)

Collapsible contracts: fixing a pathology of gradual typing. - Daniel Feltey; Ben Greenman; Christophe Scholliers; Robert Bruce Findler; Vincent St-Amour (Proc. ACM Program. Lang., 2018)

A spectrum of type soundness and performance. - Ben Greenman; Matthias Felleisen (Proc. ACM Program. Lang., 2018)

How to evaluate the performance of gradual type systems. - Ben Greenman; Asumu Takikawa; Max S. New; Daniel Feltey; Robert Bruce Findler; Jan Vitek; Matthias Felleisen (J. Funct. Program., 2019)

Complete monitors for gradual types. - Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2019)

Deep and shallow types. - Ben Greenman (2020)

How to evaluate blame for gradual types. - Lukas Lazarek; Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2021)

B2T2: Brown Benchmark for Table Types version 0.2. - Kuang-Chen Lu; Ben Greenman; Shriram Krishnamurthi (Zenodo, 2021)

B2T2: Brown Benchmark for Table Types version 1.0. - Kuang-Chen Lu; Ben Greenman; Shriram Krishnamurthi (Zenodo, 2021)

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; John Wrenn; Shriram Krishnamurthi (Koli Calling, 2022)

Deep and shallow types for gradual languages. - Ben Greenman (PLDI, 2022)

A Transient Semantics for Typed Racket. - Ben Greenman; Lukas Lazarek; Christos Dimoulas; Matthias Felleisen (Art Sci. Eng. Program., 2022)

Types for Tables: A Language Design Benchmark. - Kuang-Chen Lu; Ben Greenman; Shriram Krishnamurthi (Art Sci. Eng. Program., 2022)

Accepted Artifact for Gradual Soundness: Lessons from Static Python. - Kuang-Chen Lu; Ben Greenman; Carl Meyer; Dino Viehland; Aniket Panse; Shriram Krishnamurthi (Zenodo, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

GTP Benchmarks for Gradual Typing Performance. - Ben Greenman (ACM-REP, 2023)

Generating Programs Trivially: Student Use of Large Language Models. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CompEd (1), 2023)

Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2023)

Gradual Soundness: Lessons from Static Python. - Kuang-Chen Lu; Ben Greenman; Carl Meyer; Dino Viehland; Aniket Panse; Shriram Krishnamurthi (Art Sci. Eng. Program., 2023)

Typed-Untyped Interactions: A Comparative Analysis. - Ben Greenman; Christos Dimoulas; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 2023)

How to Evaluate Blame for Gradual Types, Part 2. - Lukas Lazarek; Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2023)

Rhombus: A New Spin on Macros without All the Parentheses. - Matthew Flatt; Taylor Allred; Nia Angle; Stephen De Gabrielle; Robert Bruce Findler; Jack Firth; Kiran Gopinathan; Ben Greenman; Siddhartha Kasivajhula; Alex Knauth; Jay A. McCarthy; Sam Phillips; et al. (Proc. ACM Program. Lang., 2023)

How Profilers Can Help Navigate Type Migration. - Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2023)

Artifact: Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Artifact: Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Accepted Artifact for Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Type Tailoring. - Ashton Wiersdorf; Stephen Chang 001; Matthias Felleisen; Ben Greenman (ECOOP, 2024)

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. - Ben Greenman; Siddhartha Prasad; Antonio Di Stasio 001; Shufang Zhu 001; Giuseppe De Giacomo; Shriram Krishnamurthi; Marco Montali; Tim Nelson; Milda Zizyte (FM (1), 2024)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions. - Taylor Allred; Xinyi Li; Ashton Wiersdorf; Ben Greenman; Ganesh Gopalakrishnan (CoRR, 2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CoRR, 2024)

Type Tailoring (Artifact). - Ashton Wiersdorf; Stephen Chang 001; Matthias Felleisen; Ben Greenman (Dagstuhl Artifacts Ser., 2024)

Forge: A Tool and Language for Teaching Formal Methods. - Tim Nelson; Ben Greenman; Siddhartha Prasad; Tristan Dyer; Ethan Bove; Qianfan Chen; Charles Cutting; Thomas Del Vecchio; Sidney Levine; Julianne Rudner; Ben Ryjikov; Alexander Varga; et al. (Proc. ACM Program. Lang., 2024)

Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Art Sci. Eng. Program., 2024)

Conceptual Mutation Testing for Student Programming Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2024)

TrackedFloats. - Taylor Allred; Xinyi Li; Ashton Wiersdorf; Ben Greenman; Ganesh Gopalakrishnan (Zenodo, 2024)

TrackedFloats. - Taylor Allred; Xinyi Li; Ashton Wiersdorf; Ben Greenman; Ganesh Gopalakrishnan (Zenodo, 2024)

A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CAV (4), 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (ECOOP, 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact). - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Dagstuhl Artifacts Ser., 2025)

Toward a Corpus Study of the Dynamic Gradual Type. - Dibri Nsofor; Ben Greenman (CoRR, 2025)

sidprasad/copeanddrag. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (DROPS Artifacts, 2025)