Refinement types for TypeScript P Vekris, B Cosman, R Jhala Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 74 | 2016 |
Type error feedback via analytic program repair G Sakkas, M Endres, B Cosman, W Weimer, R Jhala Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 34 | 2020 |
Local refinement typing B Cosman, R Jhala Proceedings of the ACM on Programming Languages 1 (ICFP), 1-27, 2017 | 17 | 2017 |
Infix: Automatically repairing novice program inputs M Endres, G Sakkas, B Cosman, R Jhala, W Weimer 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 14 | 2019 |
Trust, but verify: Two-phase typing for dynamic languages P Vekris, B Cosman, R Jhala arXiv preprint arXiv:1504.08039, 2015 | 14 | 2015 |
Pablo: Helping novices debug python code through data-driven fault localization B Cosman, M Endres, G Sakkas, L Medvinsky, YY Yang, R Jhala, ... Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 11 | 2020 |
Local refinement typing. PACMPL 1, ICFP (2017), 26: 1–26: 27 B Cosman, R Jhala | 6 | 2017 |
Efficiency of learning from proof blocks versus writing proofs S Poulsen, Y Gertner, B Cosman, M West, GL Herman Proceedings of the 54th ACM Technical Symposium on Computer Science …, 2023 | 3 | 2023 |
Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks S Poulsen, H Chen, Y Gertner, B Cosman, M West, GL Herman arXiv preprint arXiv:2311.00792, 2023 | 1 | 2023 |
PABLO and PYRITE: Helping Novices Debug Python Code Through Data-Driven Fault Localization and Repair B Cosman University of California, San Diego, 2021 | 1 | 2021 |
Disentangling the learning gains from reading a book chapter and completing proof blocks problems S Poulsen, Y Gertner, H Chen, B Cosman, M West, GL Herman Proceedings of the 55th ACM Technical Symposium on Computer Science …, 2024 | | 2024 |
Identifying Student Profiles Related to Success in Discrete Math CS Courses Y Gertner, J Alvarez, B Cosman, JR Amos 2023 ASEE Annual Conference & Exposition, 2023 | | 2023 |
Identifying Student Profiles Related to Success in an Analog Signal Processing Course J Alvarez, JR Amos, Y Gertner, B Cosman 2023 ASEE Annual Conference & Exposition, 2023 | | 2023 |
WORK IN PROGRESS Understanding Student Learning Profiles in Second Year Problem-Solving Engineering Classes Y Gertner, J Alvarez, B Cosman, J Amos 2022 ASEE Annual Conference & Exposition, 2022 | | 2022 |
Refinement Types for TypeScript–Supplemental Material– P Vekris, B Cosman, R Jhala | | |