Synthesizing structured CAD models with equality saturation and inverse transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 31-44, ACM, 2020. [doi]

This author has not been identified. Look up 'Chandrakana Nandi' in GoogleThis author has not been identified. Look up 'Max Willsey' in GoogleThis author has not been identified. Look up 'Adam Anderson' in GoogleThis author has not been identified. Look up 'James R. Wilcox' in GoogleThis author has not been identified. Look up 'Eva Darulova' in GoogleThis author has not been identified. Look up 'Dan Grossman' in GoogleThis author has not been identified. Look up 'Zachary Tatlock' in Google

runs on WebDSL