Amy Zhu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 10

Top Topics

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Graph.

Publications

Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Equality Saturation Theory Exploration à la Carte. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
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
How Can Large Language Models Help Humans in Design and Manufacturing? CoRR (2023)
Amy Zhu, Adriana Schulz, Zachary Tatlock
Exploring Self-Embedded Knitting Programs with Twine. FARM (2023)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry. ACM Trans. Graph. 41 (3) (2022)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material. CoRR (2021)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite Rule Inference Using Equality Saturation. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version. CoRR (2020)
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. ESOP (2020)