Keeping Safe Rust Safe with Galeed. - Elijah Rivera; Samuel Mergendahl; Howard E. Shrobe; Hamed Okhravi; Nathan Burow (ACSAC, 2021)

Plan Composition Using Higher-Order Functions. - Elijah Rivera; Shriram Krishnamurthi; Robert L. Goldstone (ICER (1), 2022)

Structural versus pipeline composition of higher-order functions (experience report). - Elijah Rivera; Shriram Krishnamurthi (Proc. ACM Program. Lang., 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)

Iterative Student Program Planning using Transformer-Driven Feedback. - Elijah Rivera; Alexander Steinmaurer; Kathi Fisler; Shriram Krishnamurthi (ITiCSE (1), 2024)

Building Community for Graduate Students in CS Education Research. - Tamara Nelson-Fromm; Grace Barkhuff; Jayne Everson; Morgan M. Fong; Elijah Rivera (SIGCSE (2), 2024)

Observations on the Design of Program Planning Notations for Students. - Elijah Rivera; Kathi Fisler; Shriram Krishnamurthi (SIGCSE (1), 2024)

All Scripture is Useful for Teaching: CS Education through a Christian Worldview. - Elijah Rivera; Russ Tuck (SIGCSE (2), 2025)