Amy Zhu

Amy Zhu is a researcher affiliated with the University of Washington. She actively contributes to the fields of programming languages, formal methods, and embedded systems through publications in conferences like SPLASH, FARM, and POPL.

Research Interests:

• Equality saturation and term rewriting for program optimization.
• Domain-specific language design for embedded systems and textile engineering.
• Automated reasoning in compiler construction and formal verification.

Recent Contributions:

• Published work on modular equality saturation frameworks (SPLASH 2023).
• Explored self-embedded knitting programs via Twine (FARM 2023).
• Developed rewrite rule inference techniques (SPLASH 2021).