Ben Greenman

49 papers A* 4A 2C 2Journal 34Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Navigating Mixed-Typed Migration with Profilers.
ACM Trans. Program. Lang. Syst.
Nathaniel Hejduk, Ben Greenman, Matthias Felleisen, Christos Dimoulas
2026 J jnl
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers.
Proc. ACM Program. Lang.
Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
2025 — conf
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic.
CAV (4)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 J jnl
Chorex: Restartable, Language-Integrated Choreographies.
CoRR
Ashton Wiersdorf, Ben Greenman
2025 J jnl
Chorex: Restartable, Language-Integrated Choreographies.
Art Sci. Eng. Program.
Ashton Wiersdorf, Ben Greenman
2025 J jnl
If-T: A Benchmark for Type Narrowing.
CoRR
Hanwen Guo, Ben Greenman
2025 J jnl
If-T: A Benchmark for Type Narrowing.
Art Sci. Eng. Program.
Hanwen Guo, Ben Greenman
2025 J jnl
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact).
Dagstuhl Artifacts Ser.
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 A conf
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design.
ECOOP
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 J jnl
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers.
CoRR
Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
2025 J jnl
Toward a Corpus Study of the Dynamic Gradual Type.
CoRR
Dibri Nsofor, Ben Greenman
2024 J jnl
Conceptual Mutation Testing for Student Programming Misconceptions.
CoRR
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 J jnl
Conceptual Mutation Testing for Student Programming Misconceptions.
Art Sci. Eng. Program.
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 J jnl
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions.
CoRR
Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan
2024 J jnl
Forge: A Tool and Language for Teaching Formal Methods.
Proc. ACM Program. Lang.
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, Andrew Wagner, Luke West, Shriram Krishnamurthi
2024 J jnl
Grounded Language Design for Lightweight Diagramming for Formal Methods.
CoRR
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 — conf
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.
FM (1)
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
2024 J jnl
Privacy-Respecting Type Error Telemetry at Scale.
CoRR
Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
2024 J jnl
Privacy-Respecting Type Error Telemetry at Scale.
Art Sci. Eng. Program.
Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
2024 J jnl
Type Tailoring (Artifact).
Dagstuhl Artifacts Ser.
Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman
2024 A conf
Type Tailoring.
ECOOP
Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman
2023 — conf
GTP Benchmarks for Gradual Typing Performance.
ACM-REP
Ben Greenman
2023 — conf
Generating Programs Trivially: Student Use of Large Language Models.
CompEd (1)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2023 J jnl
Gradual Soundness: Lessons from Static Python.
Art Sci. Eng. Program.
Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi
2023 J jnl
How Profilers Can Help Navigate Type Migration.
Proc. ACM Program. Lang.
Ben Greenman, Matthias Felleisen, Christos Dimoulas
2023 J jnl
How to Evaluate Blame for Gradual Types, Part 2.
Proc. ACM Program. Lang.
Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
2023 J jnl
Little Tricky Logic: Misconceptions in the Understanding of LTL.
Art Sci. Eng. Program.
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
2023 J jnl
Rhombus: A New Spin on Macros without All the Parentheses.
Proc. ACM Program. Lang.
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, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
2023 J jnl
Typed-Untyped Interactions: A Comparative Analysis.
ACM Trans. Program. Lang. Syst.
Ben Greenman, Christos Dimoulas, Matthias Felleisen
2022 J jnl
A Transient Semantics for Typed Racket.
Art Sci. Eng. Program.
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
2022 A* conf
Deep and shallow types for gradual languages.
PLDI
Ben Greenman
2022 J jnl
Gradual Soundness: Lessons from Static Python.
CoRR
Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi
2022 J jnl
Little Tricky Logic: Misconceptions in the Understanding of LTL.
CoRR
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
2022 — conf
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.
Koli Calling
Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi
2022 J jnl
Types for Tables: A Language Design Benchmark.
Art Sci. Eng. Program.
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
2021 J jnl
A Transient Semantics for Typed Racket.
CoRR
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
2021 J jnl
How to evaluate blame for gradual types.
Proc. ACM Program. Lang.
Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
2021 J jnl
Types for Tables: A Language Design Benchmark.
CoRR
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
2020 — —
Deep and shallow types.
Ben Greenman
2019 J jnl
Complete monitors for gradual types.
Proc. ACM Program. Lang.
Ben Greenman, Matthias Felleisen, Christos Dimoulas
2019 J jnl
How to evaluate the performance of gradual type systems.
J. Funct. Program.
Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
2018 J jnl
A spectrum of type soundness and performance.
Proc. ACM Program. Lang.
Ben Greenman, Matthias Felleisen
2018 J jnl
Collapsible contracts: fixing a pathology of gradual typing.
Proc. ACM Program. Lang.
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour
2018 C conf
On the cost of type-tag soundness.
PEPM
Ben Greenman, Zeina Migeed
2018 C conf
The behavior of gradual types: a user study.
DLS
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi
2017 — conf
Migratory Typing: Ten Years Later.
SNAPL
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
2017 A* conf
Type systems as macros.
POPL
Stephen Chang, Alex Knauth, Ben Greenman
2016 A* conf
Is sound gradual typing dead?
POPL
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
2014 A* conf
Getting F-bounded polymorphism into shape.
PLDI
Ben Greenman, Fabian Muehlboeck, Ross Tate