Chandrakana Nandi - SPLASH 2021

Registered user since Thu 1 Oct 2015

Name:Chandrakana Nandi

Bio:

Senior Researcher at Certora

Country:United States

Affiliation:Certora, inc.

Research interests:programming languages, compilers, computational geometry, fabrication, security

Contributions

SPLASH 2021	Session Chair of Security - mirror (part of OOPSLA) Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Show activities from other conferences