Elijah Rivera

According to our database, Elijah Rivera authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

All Scripture is Useful for Teaching: CS Education through a Christian Worldview.

Elijah Rivera, Russ Tuck

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, 2025

2024

Observations on the Design of Program Planning Notations for Students.

Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Building Community for Graduate Students in CS Education Research.

Tamara Nelson-Fromm, Grace Barkhuff, Jayne Everson, Morgan M. Fong, Elijah Rivera

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Iterative Student Program Planning using Transformer-Driven Feedback.

Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

2022

Automated, Targeted Testing of Property-Based Testing Predicates.

Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi

Art Sci. Eng. Program., 2022

Structural versus pipeline composition of higher-order functions (experience report).

Elijah Rivera, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2022

Plan Composition Using Higher-Order Functions.

Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone

Proceedings of the ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event, Switzerland, August 7, 2022

2021

Keeping Safe Rust Safe with Galeed.

Elijah Rivera, Samuel Mergendahl, Howard E. Shrobe, Hamed Okhravi, Nathan Burow

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021