Amy Zhu

According to our database, Amy Zhu authored at least 8 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

How Can Large Language Models Help Humans in Design and Manufacturing?

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

CoRR, 2023

Exploring Self-Embedded Knitting Programs with Twine.

Amy Zhu, Adriana Schulz, Zachary Tatlock

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, 2023

2022

Co-Optimization of Design and Fabrication Plans for Carpentry.

Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz

ACM Trans. Graph., 2022

2021

Rewrite rule inference using equality saturation.

Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2021

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material.

Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz

CoRR, 2021

2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey

CoRR, 2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey

Proceedings of the Programming Languages and Systems, 2020