Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Chandrakana Nandi

Registered user since Thu 1 Oct 2015

Name:Chandrakana Nandi
Country:United States
Affiliation:Certora, inc.
Personal website:https://cnandi.com/
Research interests:programming languages, compilers, computational geometry, fabrication, security


SPLASH 2021 Rewrite Rule Inference Using Equality Saturation
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Show activities from other conferences

Using general profile