Benjamin Cosman

15 papers A* 3A 2Journal 6Unranked 3

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