Benjamin Cosman

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 13

Top Topics

Open Environments

Collaborative Concept Mapping

Fault Localization

Top Venues

Proc. ACM Program. Lang.

Publications

Seth Poulsen, Yael Gertner, Hongxuan Chen, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems. SIGCSE (1) (2024)
Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Efficiency of Learning from Proof Blocks Versus Writing Proofs. SIGCSE (1) (2023)
Seth Poulsen, Hongxuan Chen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks. CoRR (2023)
Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Efficiency of Learning from Proof Blocks Versus Writing Proofs. CoRR (2022)
Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala
Type error feedback via analytic program repair. PLDI (2020)
Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer
PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization. SIGCSE (2020)
Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer
InFix: Automatically Repairing Novice Program Inputs. ASE (2019)
Benjamin Cosman, Ranjit Jhala
Local Refinement Typing. CoRR (2017)
Benjamin Cosman, Ranjit Jhala
Local refinement typing. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Refinement types for TypeScript. PLDI (2016)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Refinement Types for TypeScript. CoRR (2016)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Trust, but Verify: Two-Phase Typing for Dynamic Languages. ECOOP (2015)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Trust, but Verify: Two-Phase Typing for Dynamic Languages. CoRR (2015)