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
Registered user since Thu 5 Mar 2015
Name:
Benjamin Cosman
Affiliation:
University of California at San Diego, USA
Contributions
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
Thu 28 Sep 23:57