Amy Zhu

11 papers A 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Computational Illusion Knitting.
ACM Trans. Graph.
Amy Zhu, Yuxuan Mei, Benjamin T. Jones, Zachary Tatlock, Adriana Schulz
2023 J jnl
Equality Saturation Theory Exploration à la Carte.
Proc. ACM Program. Lang.
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
2023 — conf
Exploring Self-Embedded Knitting Programs with Twine.
FARM
Amy Zhu, Adriana Schulz, Zachary Tatlock
2023 J jnl
How Can Large Language Models Help Humans in Design and Manufacturing?
CoRR
Liane Makatura, Michael Foshey, Bohan Wang, Felix Hähnlein, Pingchuan Ma, Bolei Deng, Megan Tjandrasuwita, Andrew Spielberg, Crystal Elaine Owens, Peter Yichen Chen, Allan Zhao, Amy Zhu, Wil J. Norton, Edward Gu, Joshua Jacob, Yifei Li, Adriana Schulz, Wojciech Matusik
2022 J jnl
Co-Optimization of Design and Fabrication Plans for Carpentry.
ACM Trans. Graph.
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
2021 J jnl
Co-Optimization of Design and Fabrication Plans for Carpentry.
CoRR
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
2021 J jnl
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material.
CoRR
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
2021 J jnl
Rewrite Rule Inference Using Equality Saturation.
CoRR
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
2021 J jnl
Rewrite rule inference using equality saturation.
Proc. ACM Program. Lang.
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
2020 J jnl
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.
CoRR
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
2020 A conf
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
ESOP
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey