Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Benjamin Cosman
conf.researchr.org general profile
ASE 2019 profile
ECOOP 2015 profile
ICFP 2017 profile
PLDI 2016 profile
PLDI 2020 profile
SIGCSE TS 2023 profile
SIGCSE TS 2024 profile
SIGCSE TS 2025 profile
Registered user since Thu 5 Mar 2015
Name:
Benjamin Cosman
Affiliation:
University of California at San Diego, USA
Contributions
2025
SIGCSE TS
Author of Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks within the Papers-track
2024
SIGCSE TS
Author of Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems within the Papers-track
2023
SIGCSE TS
Author of Efficiency of Learning from Proof Blocks Versus Writing Proofs within the Papers-track
2020
PLDI
Author of Type Error Feedback via Analytic Program Repair within the PLDI Research Papers-track
2019
ASE
Author of InFix: Automatically Repairing Novice Program Inputs within the Research Papers-track
2017
ICFP
Author of Local Refinement Typing within the Research Papers-track
2016
PLDI
Author of Refinement Types for TypeScript within the Research Papers-track
2015
ECOOP
Author of Trust, but Verify: Two-Phase Typing for Dynamic Languages within the Research Track-track
Share
x
Tue 3 Dec 18:09