Chandrakana Nandi

Registered user since Thu 1 Oct 2015

Name:Chandrakana Nandi
Bio:

Senior Researcher at Certora

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

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2023 Student Research Competition Co-Chair in Organizing Committee
Student Research Competition Co-Chair in Chairs within the Student Research Competition-track
ECOOP and ISSTA 2023 Student Research Competition Co-Chair in Chairs within the Student Research Competition-track
ISSTA 2023 Student Research Competition Co-Chair in Posters within the Student Research Competition-track
PC Member in Technical Papers within the Technical Papers-track
Student Research Competition Co-Chair in Organizing Committee
PLDI 2023 Student Research Competition Co-Chair in SRC Reviewers within the SRC-track
Student Research Competition Co-Chair in Organizing Committee
EGRAPHS 2023 Committee Member in Program Committee within the EGRAPHS 2023-track
POPL 2023 Author of babble: Learning Better Abstractions with E-Graphs and Anti-unification 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
EGRAPHS 2022 Session Chair of Applications (part of 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
PLDI 2020 Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
PLMW@PLDI 2020 Panelist of Panel: Surviving Grad School within the PLMW@PLDI 2020-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