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

Registered user since Thu 1 Oct 2015

Name:Chandrakana Nandi

Senior Researcher at Certora

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


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