All Stories

  1. Building Community for Graduate Students in CS Education Research

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

    Elijah Rivera

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

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

    Elijah Rivera

  3. 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

  4. Plan Composition Using Higher-Order Functions

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

    Elijah Rivera, Robert Goldstone

  5. Keeping Safe Rust Safe with Galeed

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

    Elijah Rivera

  6. 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