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