Ben Greenman

According to our database, Ben Greenman authored at least 43 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Conceptual Mutation Testing for Student Programming Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2024

Privacy-Respecting Type Error Telemetry at Scale.

Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah

Art Sci. Eng. Program., 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, Andrew Wagner, Luke West, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2024

Type Tailoring (Artifact).

Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman

Dagstuhl Artifacts Ser., 2024

Grounded Language Design for Lightweight Diagramming for Formal Methods.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

CoRR, 2024

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions.

Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan

CoRR, 2024

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.

Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte

Proceedings of the Formal Methods - 26th International Symposium, 2024

Type Tailoring.

Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Accepted Artifact for Privacy-Respecting Type Error Telemetry at Scale.

Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah

Dataset, December, 2023

Artifact: Privacy-Respecting Type Error Telemetry at Scale.

Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah

Dataset, December, 2023

Artifact: Privacy-Respecting Type Error Telemetry at Scale.

Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah

Dataset, December, 2023

How Profilers Can Help Navigate Type Migration.

Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., October, 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, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., October, 2023

How to Evaluate Blame for Gradual Types, Part 2.

Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., August, 2023

Typed-Untyped Interactions: A Comparative Analysis.

Ben Greenman, Christos Dimoulas, Matthias Felleisen

ACM Trans. Program. Lang. Syst., March, 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

Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2023

Generating Programs Trivially: Student Use of Large Language Models.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Proceedings of the ACM Conference on Global Computing Education Vol 1, 2023

GTP Benchmarks for Gradual Typing Performance.

Ben Greenman

Proceedings of the 2023 ACM Conference on Reproducibility and Replicability, 2023

2022

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, September, 2022

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, September, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Accepted Artifact for Gradual Soundness: Lessons from Static Python.

Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi

Dataset, May, 2022

Types for Tables: A Language Design Benchmark.

Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi

Art Sci. Eng. Program., 2022

A Transient Semantics for Typed Racket.

Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen

Art Sci. Eng. Program., 2022

Deep and shallow types for gradual languages.

Ben Greenman

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

2021

B2T2: Brown Benchmark for Table Types version 1.0.

Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi

Dataset, September, 2021

B2T2: Brown Benchmark for Table Types version 0.2.

Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi

Dataset, September, 2021

How to evaluate blame for gradual types.

Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., 2021

2020

Deep and shallow types.

Ben Greenman

PhD thesis, 2020

2019

Complete monitors for gradual types.

Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., 2019

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

2018

A spectrum of type soundness and performance.

Ben Greenman, Matthias Felleisen

Proc. ACM Program. Lang., 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

On the cost of type-tag soundness.

Ben Greenman, Zeina Migeed

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

The behavior of gradual types: a user study.

Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

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

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Type systems as macros.

Stephen Chang, Alex Knauth, Ben Greenman

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2014

Getting F-bounded polymorphism into shape.

Ben Greenman, Fabian Muehlboeck, Ross Tate

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014