| Sketch-n-sketch: Output-directed programming for SVG B Hempel, J Lubin, R Chugh Proceedings of the 32nd Annual ACM Symposium on User Interface Software and …, 2019 | 126 | 2019 |
| Program Sketching with Live Bidirectional Evaluation J Lubin, N Collins, C Omar, R Chugh Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 55 | 2020 |
| Exploring the learnability of program synthesizers by novice programmers D Jayagopal, J Lubin, SE Chasins Proceedings of the 35th Annual ACM Symposium on User Interface Software and …, 2022 | 45 | 2022 |
| Deuce: A Lightweight User Interface for Structured Editing B Hempel, J Lubin, G Lu, R Chugh Proceedings of the 40th International Conference on Software Engineering …, 2018 | 40 | 2018 |
| How Statically-Typed Functional Programmers Write Code J Lubin, SE Chasins Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | 22 | 2021 |
| How Statically-Typed Functional Programmers Author Code J Lubin Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing …, 2021 | 5 | 2021 |
| Type-Directed Program Transformations for the Working Functional Programmer J Lubin, R Chugh 10th Workshop on Evaluation and Usability of Programming Languages and Tools …, 2020 | 3 | 2020 |
| Approximating Polymorphic Effects with Capabilities J Lubin | 1* | |
| Equivalence by Canonicalization for Synthesis-Backed Refactoring J Lubin, J Ferguson, K Ye, J Yim, SE Chasins Proceedings of the ACM on Programming Languages 8 (PLDI), 2024 | | 2024 |
| Forging Smyth: The Implementation of Program Sketching with Live Bidirectional Evaluation J Lubin | | 2020 |
| OASIcs, Vol. 76, PLATEAU 2019, Complete Volume}} S Chasins, EL Glassman, J Sunshine, RL Hao, EL Glassman, ... 10th Workshop on Evaluation and Usability of Programming Languages and Tools …, 2019 | | 2019 |
| Searching for Incidental Specifications J Ferguson, K Ye, J Yim, J Lubin Plateau Workshop, 0 | | |