Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. - Andreea Costea; Amy Zhu; Nadia Polikarpova; Ilya Sergey (ESOP, 2020)

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version. - Andreea Costea; Amy Zhu; Nadia Polikarpova; Ilya Sergey (CoRR, 2020)

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material. - Haisen Zhao; Max Willsey; Amy Zhu; Chandrakana Nandi; Zachary Tatlock; Justin Solomon 001; Adriana Schulz (CoRR, 2021)

Rewrite rule inference using equality saturation. - Chandrakana Nandi; Max Willsey; Amy Zhu; Yisu Remy Wang; Brett Saiki; Adam Anderson 004; Adriana Schulz; Dan Grossman; Zachary Tatlock (Proc. ACM Program. Lang., 2021)

Co-Optimization of Design and Fabrication Plans for Carpentry. - Haisen Zhao; Max Willsey; Amy Zhu; Chandrakana Nandi; Zachary Tatlock; Justin Solomon 001; Adriana Schulz (ACM Trans. Graph., 2022)

Exploring Self-Embedded Knitting Programs with Twine. - Amy Zhu; Adriana Schulz; Zachary Tatlock (FARM, 2023)

How Can Large Language Models Help Humans in Design and Manufacturing? - Liane Makatura; Michael Foshey; Bohan Wang; Felix Hähnlein; Pingchuan Ma 002; Bolei Deng; Megan Tjandrasuwita; Andrew Spielberg; Crystal Elaine Owens; Peter Yichen Chen; Allan Zhao; Amy Zhu; et al. (CoRR, 2023)

Equality Saturation Theory Exploration à la Carte. - Anjali Pal; Brett Saiki; Ryan Tjoa; Cynthia Richey; Amy Zhu; Oliver Flatt; Max Willsey; Zachary Tatlock; Chandrakana Nandi (Proc. ACM Program. Lang., 2023)

Computational Illusion Knitting. - Amy Zhu; Yuxuan Mei; Benjamin T. Jones; Zachary Tatlock; Adriana Schulz (ACM Trans. Graph., 2024)