Elijah Rivera

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Comprehensive Reference

Electrical Engineering

Graduate Students

Training Program

Top Venues

Proc. ACM Program. Lang.

Publications

Tamara Nelson-Fromm, Grace Barkhuff, Jayne Everson, Morgan M. Fong, Elijah Rivera
Building Community for Graduate Students in CS Education Research. SIGCSE (2) (2024)
Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi
Observations on the Design of Program Planning Notations for Students. SIGCSE (1) (2024)
Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi
Iterative Student Program Planning using Transformer-Driven Feedback. ITiCSE (1) (2024)
Elijah Rivera, Shriram Krishnamurthi
Structural versus pipeline composition of higher-order functions (experience report). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. Art Sci. Eng. Program. 6 (2) (2022)
Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone
Plan Composition Using Higher-Order Functions. ICER (1) (2022)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. CoRR (2021)
Elijah Rivera, Samuel Mergendahl, Howard E. Shrobe, Hamed Okhravi, Nathan Burow
Keeping Safe Rust Safe with Galeed. ACSAC (2021)