Adam Anderson

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Active Databases

Probabilistic Inference

Top Venues

Proc. ACM Program. Lang.

Publications

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)
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI (2020)
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Using E-Graphs for CAD Parameter Inference. CoRR (2019)