SAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Chandrakana Nandi

Registered user since Thu 1 Oct 2015

Name:Chandrakana Nandi
Bio:

Senior Researcher at Certora

Country:United States
Affiliation:Certora, inc.
Personal website:https://cnandi.com/
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

SPLASH 2021-profile
View general profile