Program Year:
1
University:
University of California, Berkeley
Field of Study:
Computer Science-Programming Languages
Advisor:
Sarah Chasins
Degree(s):
B.S. Computer Science, University of Washington, 2024
Publications
Accepted to PLDI '26- Justin Lubin, Marlena Preigh, Max Willsey, Sarah E. Chasins, "Navigating AND-OR Graph Modifications to Debug Failing Proofs"
Submitted to ASPLOS '27- Amy Zhu, Marlena Preigh, Mackenzie Leake, Adriana Schulz, Maaz Ahmad, Zachary Tatlock, "A Scheduling DSL for Machine Knitting"
"How to Knit Objects Weird", PLSE Kickoff 2024
Awards
University of Washington Purple and Gold Scholarship 2019 - 2023
University of Washington Dean's List 2019 - 2024
Club 101 Scholar Athlete 2024
PAC-12 Academic Honor Roll 2020 - 2024
US Track and Field and Cross Country Coaches Association All-Academic Team 2020 - 2024