Benjamin Cosman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SIGCSE | Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks. | Seth Poulsen, Hongxuan Chen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman |
| 2024 | SIGCSE | Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems. | Seth Poulsen, Yael Gertner, Hongxuan Chen, Benjamin Cosman, Matthew West, Geoffrey L. Herman |
| 2023 | SIGCSE | Efficiency of Learning from Proof Blocks Versus Writing Proofs. | Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman |
| 2020 | PLDI | Type error feedback via analytic program repair. | Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala |
| 2020 | SIGCSE | PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization. | Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer |
| 2016 | PLDI | Refinement types for TypeScript. | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
| 2015 | ECOOP | Trust, but Verify: Two-Phase Typing for Dynamic Languages. | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |