| 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 | 123 | 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 | 53 | 2020 |
| 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 | 39 | 2018 |
| 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 | 38 | 2022 |
| How Statically-Typed Functional Programmers Write Code J Lubin, SE Chasins Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | 19 | 2021 |
| How Statically-Typed Functional Programmers Author Code J Lubin Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing …, 2021 | 4 | 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 | 2 | 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 | | 2024 |
| Forging Smyth: The Implementation of Program Sketching with Live Bidirectional Evaluation J Lubin | | 2020 |
| Searching for Incidental Specifications J Ferguson, K Ye, J Yim, J Lubin Plateau Workshop, 0 | | |
