| Generating programs trivially: Student use of large language models S Prasad, B Greenman, T Nelson, S Krishnamurthi Proceedings of the ACM Conference on Global Computing Education Vol 1, 126-132, 2023 | 16 | 2023 |
| Large-scale intelligent microservices M Hamilton, N Gonsalves, C Lee, A Raman, B Walsh, S Prasad, D Banda, ... 2020 IEEE International Conference on Big Data (Big Data), 298-309, 2020 | 11 | 2020 |
| Forge: A Tool and Language for Teaching Formal Methods T Nelson, B Greenman, S Prasad, T Dyer, E Bove, Q Chen, C Cutting, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 613-641, 2024 | 7 | 2024 |
| Making hay from wheats: A classsourcing method to identify misconceptions S Prasad, B Greenman, T Nelson, J Wrenn, S Krishnamurthi Proceedings of the 22nd Koli Calling International Conference on Computing …, 2022 | 5 | 2022 |
| Misconceptions in finite-trace and infinite-trace linear temporal logic B Greenman, S Prasad, A Di Stasio, S Zhu, G De Giacomo, ... International Symposium on Formal Methods, 579-599, 2024 | 3 | 2024 |
| ContextQ: Generated Questions to Support Meaningful Parent-Child Dialogue While Co-Reading G Dietz Smith, S Prasad, MJ Davidson, L Findlater, RB Shapiro Proceedings of the 23rd Annual ACM Interaction Design and Children …, 2024 | 2 | 2024 |
| Grounded Language Design for Lightweight Diagramming for Formal Methods S Prasad, B Greenman, T Nelson, S Krishnamurthi arXiv preprint arXiv:2412.03310, 2024 | | 2024 |
| Conceptual Mutation Testing for Student Programming Misconceptions S Prasad, B Greenman, T Nelson, S Krishnamurthi arXiv preprint arXiv:2401.00021, 2023 | | 2023 |
| Correctness Certificates for Term Rewriting S Prasad | | 2016 |
| sidBison: A Stepwise Interactive Debugger for Bison S Prasad | | 2016 |