All Stories

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

    Article • February 2025, ACM (Association for Computing Machinery)

    Elijah Rivera

  2. Iterative Student Program Planning using Transformer-Driven Feedback

    Article • July 2024, ACM (Association for Computing Machinery)

    Elijah Rivera

  3. Building Community for Graduate Students in CS Education Research

    Article • March 2024, ACM (Association for Computing Machinery)

    Elijah Rivera

  4. Observations on the Design of Program Planning Notations for Students

    Article • March 2024, ACM (Association for Computing Machinery)

    Elijah Rivera

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

    Article • Proceedings of the ACM on Programming Languages, August 2022, ACM (Association for Computing Machinery)

    Elijah Rivera

  6. Plan Composition Using Higher-Order Functions

    Article • August 2022, ACM (Association for Computing Machinery)

    Elijah Rivera, Robert Goldstone

  7. Keeping Safe Rust Safe with Galeed

    Article • December 2021, ACM (Association for Computing Machinery)

    Elijah Rivera

  8. Automated, Targeted Testing of Property-Based Testing Predicates

    Article • The Art Science and Engineering of Programming, November 2021, Aspect-Oriented Software Association (AOSA)

    Elijah Rivera