Marilyn Rego

Marilyn Rego

she/her

Ph.D. student in Computer Science and Engineering at the University of Michigan.

About

Hi, I’m Marilyn! I’m a Ph.D. student in CSE at the University of Michigan, advised by Muhammad Shahbaz. I work on computer systems and networking: building distributed systems that run large models across geographically distributed data centers, with a focus on network-efficient communication, heterogeneous computing, and hardware–software co-design.

Previously, I did my B.S. in Computer Science at Purdue and interned at Adobe as a Research Scientist/Engineer. Here’s my CV.

Outside of research, I enjoy traveling, trying new food, and painting!.

News

  1. Sep 2026

    Paper at ISSRE ’26 on LLM-generated VeriFast specifications.

  2. Aug 2026

    Paper at NAIC @ SIGCOMM ’26 on learned activation compression.

  3. Aug 2026

    Won the Robustness category at the Adobe Research Code Quality Jam.

  4. May 2026

    Joined Adobe as a Research Scientist/Engineer Intern.

  5. May 2026

    Presented a poster on mrLLM at NSDI ’26, with a student grant.

  6. Apr 2026

    Elected to Tau Beta Pi, University of Michigan chapter.

Show older newsHide older news
  1. Sep 2025

    Talk and poster on SpliDT at SRC TECHCON ’25.

  2. Aug 2025

    Started my Ph.D. at Michigan as a Rackham Fellow and SRC Research Scholar.

  3. May 2025

    Graduated from Purdue with a B.S. in Computer Science.

  4. Apr 2025

    Received a USENIX NSDI ’25 Student Grant.

  5. Apr 2025

    Paper at FORGE ’25 on GPT-4o for VeriFast specifications.

Honors & Awards

  • Adobe Research Code Quality Jam – Robustness Category Winner, 2026
  • Elected Member, Tau Beta Pi Engineering Honor Society (University of Michigan chapter), 2026
  • USENIX NSDI Student Grant Awards, 2025 and 2026
  • First-Year CSE PhD Rackham Fellowship, 2025
  • Purdue College of Science Dean’s List and Semester Honors, 2021–2025

Service

  • Judge, University of Michigan Undergraduate Research Symposium, 2026