Small-step live programming by example K Ferdowsifard, A Ordookhanians, H Peleg, S Lerner, N Polikarpova Proceedings of the 33rd Annual ACM Symposium on User Interface Software and …, 2020 | 50 | 2020 |
LooPy: interactive program synthesis with control structures K Ferdowsifard, S Barke, H Peleg, S Lerner, N Polikarpova Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 25 | 2021 |
ColDeco: An end user spreadsheet inspection tool for AI-generated code K Ferdowsi, J Williams, I Drosos, AD Gordon, C Negreanu, N Polikarpova, ... 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2023 | 15 | 2023 |
The usability of advanced type systems: Rust as a case study K Ferdowsi arXiv preprint arXiv:2301.02308, 2023 | 10 | 2023 |
Investigating the impact of using a live programming environment in a CS1 course R Huang, K Ferdowsi, A Selvaraj, AG Soosai Raj, S Lerner Proceedings of the 53rd ACM Technical Symposium on Computer Science …, 2022 | 10 | 2022 |
Validating AI-generated code with live programming K Ferdowsi, R Huang, MB James, N Polikarpova, S Lerner Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems …, 2024 | 8 | 2024 |
Live exploration of AI-generated programs K Ferdowsi, R Huang, MB James, N Polikarpova, S Lerner arXiv preprint arXiv:2306.09541, 2023 | 5 | 2023 |
Towards Human-Centered Types & Type Debugging K Ferdowsi Plateau Workshop, 0 | 1 | |