Ben Greenman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. | Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2025 | ECOOP | Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. | Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2024 | ECOOP | Type Tailoring. | Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman |
| 2024 | FM | 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 |
| 2022 | PLDI | Deep and shallow types for gradual languages. | Ben Greenman |
| 2018 | DLS | The behavior of gradual types: a user study. | Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi |
| 2018 | PEPM | On the cost of type-tag soundness. | Ben Greenman, Zeina Migeed |
| 2017 | POPL | Type systems as macros. | Stephen Chang, Alex Knauth, Ben Greenman |
| 2016 | POPL | Is sound gradual typing dead? | Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen |
| 2014 | PLDI | Getting F-bounded polymorphism into shape. | Ben Greenman, Fabian Muehlboeck, Ross Tate |