E-LIB Suche - Ergebnisse für: Cosman, Benjamin

1

Disentangling the Learning Gains from Reading a Book Chapte..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1,

Poulsen, Seth ; Gertner, Yael ; Chen, Hongxuan... - p. 1056-1062 , 2024

Link: https://dl.acm.org/doi/1..

2

Efficiency of Learning from Proof Blocks Versus Writing Pro..:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1,

Poulsen, Seth ; Gertner, Yael ; Cosman, Benjamin.. - p. 472-478 , 2023

Link: https://dl.acm.org/doi/1..

3

Type error feedback via analytic program repair:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Sakkas, Georgios ; Endres, Madeline ; Cosman, Benjamin.. - p. 16-30 , 2020

Link: https://dl.acm.org/doi/1..

4

PABLO : Helping Novices Debug Python Code Through Data-D..:

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

Cosman, Benjamin ; Endres, Madeline ; Sakkas, Georgios... - p. 1047-1053 , 2020

Link: https://dl.acm.org/doi/1..

5

InFix: Automatically Repairing Novice Program Inputs:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Endres, Madeline ; Sakkas, Georgios ; Cosman, Benjamin.. - p. 399-410 , 2019

Link: https://doi.org/10.1109/..

6

InFix : automatically repairing novice program inputs:

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

Endres, Madeline ; Sakkas, Georgios ; Cosman, Benjamin.. - p. 399-410 , 2019

Link: https://dl.acm.org/doi/1..

7

Local refinement typing:

Cosman, Benjamin ; Jhala, Ranjit
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-27 , 2017

Link: https://doi.org/10.1145/..

8

Local refinement typing:

Cosman, Benjamin ; Jhala, Ranjit
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-27 , 2017

Link: https://dl.acm.org/doi/1..

9

Refinement types for TypeScript:

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

Vekris, Panagiotis ; Cosman, Benjamin ; Jhala, Ranjit - p. 310-325 , 2016

Link: https://dl.acm.org/doi/1..

10

Refinement types for TypeScript:

Vekris, Panagiotis ; Cosman, Benjamin ; Jhala, Ranjit
ACM SIGPLAN Notices. 51 (2016) 6 - p. 310-325 , 2016

Link: https://doi.org/10.1145/..

11

Measuring the Impact of Distractors on Student Learning Gai..:

Poulsen, Seth ; Chen, Hongxuan ; Gertner, Yael...
http://arxiv.org/abs/2311.00792. , 2023

Link: http://arxiv.org/abs/231..

12

Efficiency of Learning from Proof Blocks Versus Writing Pro..:

Poulsen, Seth ; Gertner, Yael ; Cosman, Benjamin..
http://arxiv.org/abs/2211.09609. , 2022

Link: http://arxiv.org/abs/221..

13

How Americans View the Opt Out Movement:

Pizmony-Levy, Oren ; Cosman, Benjamin
https://doi.org/10.7916/D8C53Z6K. , 2017

Link: https://doi.org/10.7916/..

14

Local Refinement Typing:

Cosman, Benjamin ; Jhala, Ranjit
http://arxiv.org/abs/1706.08007. , 2017

Link: http://arxiv.org/abs/170..

15

Refinement Types for TypeScript:

Vekris, Panagiotis ; Cosman, Benjamin ; Jhala, Ranjit
http://arxiv.org/abs/1604.02480. , 2016

Link: http://arxiv.org/abs/160..