Keeping safe rust safe with galeed E Rivera, S Mergendahl, H Shrobe, H Okhravi, N Burow Proceedings of the 37th Annual Computer Security Applications Conference …, 2021 | 32 | 2021 |
Plan Composition Using Higher-Order Functions E Rivera, S Krishnamurthi, R Goldstone Proceedings of the 2022 ACM Conference on International Computing Education …, 2022 | 5 | 2022 |
Preserving memory safety in safe rust during interactions with unsafe languages EE Rivera Massachusetts Institute of Technology, 2021 | 5 | 2021 |
Automated, Targeted Testing of Property-Based Testing Predicates T Nelson, E Rivera, S Soucie, T Del Vecchio, J Wrenn, S Krishnamurthi arXiv preprint arXiv:2111.10414, 2021 | 3 | 2021 |
Observations on the Design of Program Planning Notations for Students E Rivera, K Fisler, S Krishnamurthi Proceedings of the 55th ACM Technical Symposium on Computer Science …, 2024 | 1 | 2024 |
Structural versus pipeline composition of higher-order functions (experience report) E Rivera, S Krishnamurthi Proceedings of the ACM on Programming Languages 6 (ICFP), 343-356, 2022 | 1 | 2022 |
Building Community for Graduate Students in CS Education Research T Nelson-Fromm, G Barkhuff, J Everson, MM Fong, E Rivera Proceedings of the 55th ACM Technical Symposium on Computer Science …, 2024 | | 2024 |
Iterative Student Program Planning using Transformer-Driven Feedback E Rivera, A Steinmaurer, K Fisler, S Krishnamurthi | | 2024 |