Benjamin Cosman

According to our database, Benjamin Cosman authored at least 10 papers between 2015 and 2024.

Collaborative distances:

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

2024

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

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

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

CoRR, 2023

Efficiency of Learning from Proof Blocks Versus Writing Proofs.

Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2021

PABLO and PYRITE: Helping Novices Debug Python Code Through Data-Driven Fault Localization and Repair.

Benjamin Cosman

PhD thesis, 2021

2020

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

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Type error feedback via analytic program repair.

Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

InFix: Automatically Repairing Novice Program Inputs.

Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2017

Local refinement typing.

Benjamin Cosman, Ranjit Jhala

Proc. ACM Program. Lang., 2017

2016

Refinement types for TypeScript.

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Trust, but Verify: Two-Phase Typing for Dynamic Languages.

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015