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

EGRAPHS 2022 Committee Member in Program Committee within the EGRAPHS 2022-track
PLDI 2022 Session Chair of Rewriting (part of SIGPLAN Track)
Session Chair of Numbers (part of PLDI)
Author of (POPL 2021) egg: Fast and Extensible Equality Saturation within the SIGPLAN Track-track
Committee Member in SRC Reviewers within the SRC-track
Committee Member in PLDI within the PLDI-track
SPLASH 2021 Session Chair of Security - mirror (part of OOPSLA)
Author of Rewrite Rule Inference Using Equality Saturation within the Posters-track
Author of Rewrite Rule Inference Using Equality Saturation within the OOPSLA-track
Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the SIGPLAN Papers-track
POPL 2021 Author of egg: Fast and Extensible Equality Saturation within the POPL-track
SPLASH 2022 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PLMW@PLDI 2020 Panelist of Panel: Surviving Grad School within the PLMW@PLDI 2020-track
PLDI 2020 Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
ICFP 2018 Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track
MAPL 2017 Author of Debugging Probabilistic Programs within the MAPL 2017-track
PPS 2017 Author of Reasoning about inference in probabilistic programs within the PPS-track
POPL 2016 Author of Correctness and Security for Home Automation within the SRC-track